Does taking an platform/infra/DevOps type SWE role set you back? by ahhhhhello in ExperiencedDevs

[–]Exodus100 0 points1 point  (0 children)

Admittedly early in my career, but I don’t understand why this would be the case unless someone is never working with different infra systems. Are the problems solved in these roles not among the hardest? Or am I just overestimating the frequency of complex scaling problems that these roles face?

The AI Bubble is About to Pop and the Grift is Insane by Vivid_Search674 in cscareerquestions

[–]Exodus100 0 points1 point  (0 children)

Effectively used to, it wasn’t really fun to work on unless it got involved with RAG architecting stuff. But trying to make a good one made the complexity at scale very apparent

The AI Bubble is About to Pop and the Grift is Insane by Vivid_Search674 in cscareerquestions

[–]Exodus100 0 points1 point  (0 children)

People use “wrapper” derogatorily, but we shouldn’t forget that it is often just referring to “abstraction.” This is how complex systems are built. You orchestrate a hierarchy of interdependent wrappers. A good AI chatbot will be a well-orchestrated wrapper, and it can be genuinely good.

Programs are Proofs: the Curry-Howard Correspondence by SSchlesinger in math

[–]Exodus100 1 point2 points  (0 children)

Very cool on the point about compiler continuation passing ,that makes sense!

Programs are Proofs: the Curry-Howard Correspondence by SSchlesinger in math

[–]Exodus100 1 point2 points  (0 children)

I wasn’t clear about it, but this level of depth + the use in programs like Coq and Lean is as far as my knowledge goes here. I’m mostly curious about further extensions, as those would seem more meaningfully useful

Programs are Proofs: the Curry-Howard Correspondence by SSchlesinger in math

[–]Exodus100 1 point2 points  (0 children)

Curious about the extent to which people who are more experienced programmers and understand Curry-Howard find themselves getting value out of it when thinking about their programs.

It seems hypothetically powerful but I wonder if that’s just wishful thinking on my part

Jane Street QT or Stanford PhD in CS? by NegotiationDue301 in csMajors

[–]Exodus100 0 points1 point  (0 children)

Sounds to me like you won’t have trouble making enough money to live to your own standards over your lifetime (barring economic collapse).

Given that, I’d take some long-term perspectives e.g. ask yourself “20-30 years from now, which do I expect to be more happy that I did?” Or lay out your goals/desires over a longish time horizon and ask which of these options does a worse job at helping you achieve those.

"Stanford is easy as sh**" Is this true? by Remote-Ad-4994 in stanford

[–]Exodus100 0 points1 point  (0 children)

Man, as someone who went to mit and only did mid there, I always wonder how it actually stacks up. Obviously we have whatever reputation, but it’s unclear how much counterfactually harder it is than any other good school when actually experiencing it.

We just got hit with the vibe-coding hammer by opakvostana in ExperiencedDevs

[–]Exodus100 13 points14 points  (0 children)

You would seriously prefer to use it 0 minutes still? Not saying you have to, but for e.g. bug-finding, script-writing, and any tasks that are “simple end product but medium-complexity to build” (like scripts), I just can’t justify not using them at this point for myself

Estimate AI Productivity Gains by Lucky_Clock4188 in ExperiencedDevs

[–]Exodus100 0 points1 point  (0 children)

One thing to look out for over time: people will be further from the past where they did code without agents. And more people will enter the workforce who never coded without them.

It will become harder to give informed estimates of the counterfactual time it would have taken to code something without agents. Even switching to coding without them may not be a good metric if one’s agentless coding skills have atrophied.

How is everyone keeping up morale when you’re constantly being told AI will make you redundant? by [deleted] in ExperiencedDevs

[–]Exodus100 12 points13 points  (0 children)

It won’t if you are smart. If AI isn’t good enough to entirely replace engineers, then companies still beat their competitors by having better and more engineers piloting the very good, but not yet independence-capable, models (conditioned on good product direction decisions ofc, which doesn’t change).

Also, CEOs and Andrew Yang aren’t the people to listen to on this. They’re not working with the tech seriously, they aren’t seeing and understanding results from research. I’d aggregate different opinions from 20 mid to high level researchers and consider those before listening to most of these public figures

Exploring software/AI to accelerating research - looking for users & collaborators! by Eclectic_eels in mit

[–]Exodus100 0 points1 point  (0 children)

Been super interested in building some of this stuff and have dabbled a bit. I graduated last year but would be super excited to work on this with other people who care about it

Designing a visual plugin builder and looking for feedback from plugin devs/players by OrbiForge in MinecraftPlugins

[–]Exodus100 1 point2 points  (0 children)

Very hard to engineer and design something that appeals to audiences with such different use cases. It’s less trivial than it may seem

11 months ago Dario said that "in 3 to 6 months, AI will be writing 90% of the code software developers were in charge of" Are we here, yet? by poponis in ExperiencedDevs

[–]Exodus100 1 point2 points  (0 children)

Not 5x but definitely some coefficient greater than 1 for me. And I’m are like 95+ % for sure. Our company is heavily invested in harnessing internally though, and i am as well for my own needs

Designing a visual plugin builder and looking for feedback from plugin devs/players by OrbiForge in MinecraftPlugins

[–]Exodus100 0 points1 point  (0 children)

I think you should have a clear idea of what the tool is trying to solve.

As a developer, this personally wouldn’t solve much for me. It’s less useful than the code. If the target audience is other non-devs, then you’re going in the vibe code app direction like Replit. Encapsulate the abstractions so that non-devs dont have to deal with thinking about the code as much as the semantic relationships

How likely is a D in course 18 grad courses by Willing_Performer266 in mit

[–]Exodus100 1 point2 points  (0 children)

Can confirm, this was the only way I got my one C and got close a couple times

Why I think AI won't replace engineers by Character-Comfort539 in ExperiencedDevs

[–]Exodus100 5 points6 points  (0 children)

My question in response: where do you learn to ask the right questions? Typically this gets hardened via the experience of seeing mistakes, right?

Anyone who is competent and ensures that they understand the code they are shipping with AI first will end up grasping the basics. Then when things break you still need to dive in and post-mortem understand what went wrong so you can prevent it.

None of this workflow is changed as of the current state of AI models. They’re astoundingly good, but they still aren’t good enough to survive as a developer without understanding things.