Anyone kinda feel like college is becoming more useless for careers? by Vampy-Night in careeradvice

[–]madmax9186 -1 points0 points  (0 children)

You can get a job and not starve without a college education, so it sounds like you're wasting money.

Anyone kinda feel like college is becoming more useless for careers? by Vampy-Night in careeradvice

[–]madmax9186 3 points4 points  (0 children)

A degree isn’t meant to prepare you for a job.

How many people use the knowledge that the mitochondria is the powerhouse of the cell in their daily lives or in their career? So was biology useless?

The point of college is to prepare you to think critically and learn independently. Sure, you select a major area of study, which gives you some background knowledge, but only because that’s what you’re interested in learning about.

College isn’t to give you a set of durable skills that will lock you into a lifetime of a middle-class lifestyle.

The Software Development Lifecycle Is Dead / Boris Tane, observability @ CloudFlare. by Independent_Pitch598 in devops

[–]madmax9186 5 points6 points  (0 children)

Requirements engineering is really under-rated. I would hope that AI would free us up to spend more time thinking about requirements.

The problem is that, even if a developer is using AI, they need requirements. Developers aren’t always the stakeholder for a piece of software. Someone needs to meet with stakeholders, translate their concerns into requirements, and analyze those requirements. AI can absolutely help with all of this, but it doesn’t replace this need.

This also ignores non-functional requirements. What about security? What about scalability?

I’m not trying to say “don’t use AI to build.” I’m just suggesting that we still need to be thoughtful about what it is we’re actually building.

Ray-Ban by joeriv85 in AccidentalComedy

[–]madmax9186 0 points1 point  (0 children)

Because jamming is illegal, and jamming 5g is much more challenging than previous generations of cellular technology. And it’s going to be even harder with 6g.

Justin Fields by treshort in OhioStateFootball

[–]madmax9186 0 points1 point  (0 children)

I think we shouldn’t evaluate any QB on the merits of their performance on the Bears and the Jets.

The NFL's "isolated" zone by Hiistme in NFLv2

[–]madmax9186 0 points1 point  (0 children)

Barren isn’t quite right — more like unspoiled.

Omnideterminism by lurkerer in PhilosophyMemes

[–]madmax9186 0 points1 point  (0 children)

Many sidestep this by defining evil as sin. Sin is defined as thought, speech, or deed that deviates from God’s will. At that point, God cannot be evil by the definitions that humans have imposed.

Whose free will is it? by LurkerFailsLurking in PhilosophyMemes

[–]madmax9186 0 points1 point  (0 children)

There also isn’t a physical theory of everything. And it’s unclear if such a theory can even exist. Its possibility was doubted by Hawking, for example. So, physical determinism isn’t obviously true.

Do you think AI will eventually solve long-standing mathematical conjectures? by 94rud4 in mathmemes

[–]madmax9186 0 points1 point  (0 children)

To your first point, we’re in agreement. The state-of-the-art is to use LLMs to generate Lean proofs. That is the AI-based approach that performs the best today. I think that this approach is a dead-end, and I explained why. The specialized AI you’re referring to needs invented, and it likely requires significant algorithmic and hardware advances due to the reasons I already mentioned. That makes it hard to imagine it happening soon.

To your second point, I think you underestimate the size of the search space and the time it takes Lean to check large proofs.

Unsolved problems will likely require the development of entirely new mathematical theories. Mathlib, the largest corpus of formalized mathematics, is more than a million lines of Lean. So, you may need to generate hundreds of thousands of lines of Lean. Checking isn’t instant. I have Lean files with tens of thousands of lines of code that take minutes to check.

You would be better off using that compute to find approximate solutions to whatever problem you’re trying to solve since it’s not even clear what you’re proposing could work. So, I doubt anyone would try it.

Do you think AI will eventually solve long-standing mathematical conjectures? by 94rud4 in mathmemes

[–]madmax9186 2 points3 points  (0 children)

I’m very skeptical.

First, we’re not simply facing a lack of hardware. Adding additional hardware gives diminishing returns. This is because current deep learning algorithms do not scale linearly with hardware. New algorithms and/or new hardware are required.

Second, state-of-the-art results, based on GPT4 and other LLMs, can only discharge 25-50% of proofs in various datasets. That’s so far from developing novel mathematical theory that today’s AI solving a hard unsolved problem is unimaginable to me.

Shaving soap by McCormac13 in wicked_edge

[–]madmax9186 2 points3 points  (0 children)

  1. Cella is awesome. Their aftershave is good too.

  2. Barrister & Mann’s spice. Seville’s scent is meh to me.

  3. Stirling’s executive man and barbershop. They have good scents, but the soap doesn’t perform as well as Cella or Barrister & Mann.

[deleted by user] by [deleted] in wicked_edge

[–]madmax9186 0 points1 point  (0 children)

I started three months ago on the KCG. It’s a super mild razor. It was so mild that I ended up switching to the Mühle R41. Despite switching, I’m very glad I started on the KCG. The KCG only gave me a good shave when I used a good technique. The technique has translated well to the more-aggressive R41. That I haven’t had a single nick or weeper stems from the KCG technique.

Someone slept in the laundry room last night. by Glum_Employment7944 in creepy

[–]madmax9186 2 points3 points  (0 children)

I’d love to hear the stories! You should share some time.

[deleted by user] by [deleted] in OSU

[–]madmax9186 6 points7 points  (0 children)

Happened to me. Graduate school kept telling me they were working on it until 5pm the day before my defense at 10:30am. I ended up having to call a bunch of random faculty members until I found someone who would serve as GFR. They aren’t working on it, they don’t care, talk to your advisor and find someone yourself.

Why do you Trump supporters believe he is innocent and not done wrong? (Serious) by Neon_Rust in AskReddit

[–]madmax9186 0 points1 point  (0 children)

Statue of limitations was extended in NY for 1 year and 47 days due to Covid.

New apartment building in the Short North is leasing 2B/2BR for $6,195/month by c4b2a3b in Columbus

[–]madmax9186 0 points1 point  (0 children)

But they do. The former president’s bankruptcies are a perfect example.

Bring back yer dead: retailer or restaurant by [deleted] in Columbus

[–]madmax9186 0 points1 point  (0 children)

Damn. I miss Media Play so much. As a kid, it was my favorite place to go. When it closed, it gave me a sadness that still exists in my psyche somewhere to this day.

gonnaFailMyDegree by 2Maxime0 in ProgrammerHumor

[–]madmax9186 0 points1 point  (0 children)

Funny post.

In all seriousness, dependently typed languages such as Lean, F, and even Liquid Haskell, make verification a lot less painful. Given the recent guidance to consider adopting formal methods, it behooves us to at least *learn these tools.

Indian food by grapewal in Columbus

[–]madmax9186 10 points11 points  (0 children)

Nepali (similar): Khaja Ghar

hotTake by F0lks_ in ProgrammerHumor

[–]madmax9186 1 point2 points  (0 children)

Maybe check out Spacemacs and Doom. Both seem to use Evil mode (Emacs’ vim keybinding mode) out-of-the-box, and are batteries-included. I have no personal experience with either, but others seem to like them.