HNHacker News
TopNewBestAskShowJobs

f0e4c2f7

2,111 karma · joined June 28, 2021

f0e4c2f7 at gmail dot com
submissionscomments
f0e4c2f7··on AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Start here: https://github.com/bendlang/bend
f0e4c2f7··on Backdoor in Claude Code for VS Code extension on the Cursor Marketplace
All these security issues have made me want to build more of my own slimmed down tools. It would be great if there were better ways to use claude code with my own minimal harness and still have access to the pro plan.
f0e4c2f7··on The Goose Programming Language
> Since 2023, everything learned in Year X was 99% useless in year X+1.

Personally I disagree with this. I've been using LLMs the last few years and learning a lot about techniques for getting value out of them. Even though they weren't very good for a while they seemed worth learning to me because the rate of improvement was so fast. We've now reached a point where if you know how to use them right you can get lots of value out of them.

I really don't mean to be rude here but consider perhaps the reason why you're having trouble seeing why they're valuable is because you haven't used them enough in the last few years or kept up with the developments closely enough. Maybe I'm wrong. But consider it's possible you are too.

> This has also been said every other month since 2023.

I'm sure others have said that but my perspective has been that the models are not quite good enough yet, for a while but that the trajectory is so crazy that it made sense to make the bet and invest lots of time into learning how to use them on the assumption that they would soon be good.

Even now I would say they have a long way to go. What is hard but possible today will be easy tomorrow. But quite a lot is now possible with the right techniques. Crazy things.

f0e4c2f7··on The Goose Programming Language
By requiring the LLM to prove your requirements true mathematcially.

https://github.com/bendlang/bend

f0e4c2f7··on The Goose Programming Language
The tools have a learning curve. You can get extreme amounts of value out of them but you have to learn how to use them. Many tools are this way.

It might make sense to learn now, before everyone expects that you be an expert with this tool in order to do your job. On the other hand perhaps they will be easier to learn if you wait.

There is an incredible amount of nuance to be had in using LLMs and we reached the stage, probably only in the last few weeks where all the pieces have fallen into place such that if you are skilled at using the LLMs just about all of the previous problems with them can now be easily mitigated. If you learn how. There is a lot to learn.

f0e4c2f7··on Maxwell: A new kind of model that sits between code and hardware
For the first thing you're talking about check out bend.

https://github.com/bendlang/bend

f0e4c2f7··on Bend – a language that blocks AI mistakes via proof and runs on GPUs
This is actually the typical case when new projects drop on HN. Dropbox is the canonical example.

You gotta not take it personal. Announcing on HN is a gauntlet. People can be a bit prickly. Just a bit though. You get lots of good feedback too.

f0e4c2f7··on Bend 2 and the Vibe-Coding Trap
It's amusing to me this entire article is centered around brow beating this and other hypothetical software authors for starting things without doing a small amount of research first to understand the very basics of what they're getting into.

If the author of the article had done just a small amount of research about bend or it's author before writing the article they would have known pretty quickly what they were saying was incorrect.

I think the larger pattern here is that nuance is one of the most valuable commodities in the AI era. If you're hand waving stuff away without even missing , you're going to miss a lot of stuff in this cycle.

This article reminds me a lot of the famous hacker news Dropbox comment.

f0e4c2f7··on Show HN: Kinesis – Control your Mac with the Meta Neural Band
Very interesting. So how open is the neural band to hack on? Do you expect this to be something to get patched out eventually if you update? Seems like a really cool platform to develop against outside of the intended ecosystem.
f0e4c2f7··on Fuck it, make it anyway
Ahhhh yeah totally get that. Changes things considerably.
f0e4c2f7··on Fuck it, make it anyway
Have you considered setting up an agent environment like codex and having it work making on Android version for you? I know you said it's a very complex app and that probably makes it seem like it wouldn't be able to, but LLMs are really good when they have a very clearly defined end state to work toward, like an existing iOS app with code, screenshots etc.

I bet if you set Astra codex against this task on the $100 plan it would have it done at a speed that would shock you. Potentially even by the end of the day and mostly uninterrupted.

The SOTA models can reverse engineer whole codebases even from assembly now. If you have to specify with words what you want to do it's still hard but if you have a codebase to work from, you can pretty much arbitrarily convert apps and games into other languages / platforms now as if by transitive property.

f0e4c2f7··on Fuck it, make it anyway
I related a lot to the feelings in this article but over the past year I've come to a different conclusion than the author. In the end of the article he says that there are 3 paths available to him, but I believe there is an additional path to consider.

You can use the AI tools but still program by hand every day for practice and fun. Programming becomes deliberate practice to keep your skills and mind sharp. Like going to the gym, but for your brain. You can use the LLMs to push and challenge yourself, setting more aggressive and ambitious goals than you might have in the old days for learning.

I used to think of software dev like climbing a mountain. Hard, and I loved it. I loved it because of the difficulty. That was the most fun part. Getting to the top, the summit. That was incidental to me. I wouldn't even defend that as a good thing. Certainly not good engineering. It was just what I liked. Any good engineering was incidental to how fun the hard parts of the puzzle were.

Then LLMs came along and I thought "this is like a helicopter. You can go straight up to the top in a few minutes." While very practical, it also led to the feelings the author described. After months of handwringing and using the tools, having existential crises - I've arrived at a new conclusion:

It's not a helicopter. It's a jetpack. And it's still hard to use if you push it to it's absolute limit. Knowing just the right spot to grab the rock as you fly by. Taking as much risk as possible, but not too much. Pushing both the jet pack (or perhaps it's an iron man suit now with latest models) and the rock climbing knowledge as far as they will go. Screwing up, falling off the wall, and learning.

And with this jetpack you can get to places you never could have climbed to without it. Not just the top. Weird, interesting spots on the mountain.

That perspective, which I've taken to over the last month or two has helped me find the fun again. The existential crises have ended and I'm back to feeling about software dev the way I felt a few years ago. Boundless joy and excitement. Probably more now.

f0e4c2f7··on Intellectual Fly Is Open (2025)
This feels like satire / parody. Praising LinkedIn. The text itself containing multiple LLM tells, especially in the parts complaining most about LLM writing.

Maybe not. Could just be kind of accidentally ironic with the author picking up LLM quirks from using them a lot.

Funny in either case.

f0e4c2f7··on METR Report on OpenAI / Hugging Face Hacking Incident
I read this whole thing a couple days ago. Really long but super interesting. Worth reading imo.

A lot of handwringing about the security implications but I think the accomplishments of the swarm itself are the most interesting. Next rung up on the ladder of abstraction I suspect.

f0e4c2f7··on Twitter Viewer – View Twitter Without Account
Having the same issue. I think they might have turned it off. Was looking forward to using this.
f0e4c2f7··on GPT-5.4
Lots of services have no desire to ever expose an API. This approach lets you step right over that.

If an API is exposed you can just have the LLM write something against that.

f0e4c2f7··on Show HN: Klaw.sh – Kubernetes for AI agents
Ha! This is great. I've been waiting for someone to make this.

Giving an LLM a computer makes it way more powerful, giving it a kubernetes cluster should extend that power much further and naturally fits well with the way LLMs work.

I think this abstraction can scale for a good long while. Past this what do you give the agent? Control of a whole Data Center I guess.

I'm not sure if it will replace openclaw all together since kubernetes is kind of niche and scary to a lot of people. But I bet for the most sophisticated builders this will become quite popular, and who knows maybe far beyond that cohort too.

Congrats on the launch!

f0e4c2f7··on Show HN: Autism Simulator
I don't like the premise of this game. If you're autistic, don't mask. Live authentically as yourself and find people who love you for who you are.

You'll annoy the hell out of some people, and thats fine. They can find other people to spend time with.

You can probably find a good community where you are, and if not just move to SF which is something like the autism homeland. Being autistic there is valorized and even imitated in sort of amusing ways.

Masking is a kind of hell, living someone else's life. Unmasking and living as yourself feels scary at first but the people who will love you that way can only find you if you live that way.

f0e4c2f7··on Show HN: I built library management app for those who outgrew spreadsheets
This looks cool and I wish you luck but I'd probably never use something closed source for this.

Been on the lookout for an open source version but they all seem kind of unessecarily bulky or otherwise poorly maintained.

Would be interested in suggestions anyone has for whole apps or libs that work well when glued together for this purpose.

f0e4c2f7··on I've acquired a new superpower
Front page of HN. Funny to imagine thousands of people sitting in the office crossing their eyes at their computer screen right now.
f0e4c2f7··on Cyphernetes: A Query Language for Kubernetes
There is a funny parallel I see with Kubernetes that I also saw a lot with Linux in the early years. There are thousands of packages and tools you can install on Linux (think phpmyadmin for example) and new users sometimes go wild installing every single package they read about.

After a while, the more mature Linux engineers start going the other way. Ripping out as much as possible. Stripping down to the leanest build they can, for performance but also to reduce attack surface and overall complexity.

Very similar dynamic with k8s. Early days are often about scooping up every CNCF project like you're on a shopping spree. Eventually people get to shipping slim clusters running and 30mb containers with alpine or nix. Using it essentially as open source clustering for Linux.

f0e4c2f7··on Is It Time to Step Away from Coding After 10 Years?
Sounds like management and mentoring might be a satisfying diversion at this point in your life.
f0e4c2f7··on Linux from Scratch
For sure. It's been amazing honestly and I feel like it has really accelerated my learning. Enough that I'm trying to get really serious about making the most out of this new leverage seemingly out of nowhere.

I use it a lot for mapping out of the initial concepts but I find one of the best use cases is after understanding the basics, explaining where I need to learn more and asking for a book recommendation. The quality of my reading list has gone up 10x this way and I find myself working through multiple books a week.

Great for code too obviously, though still feels like early days there to me.

f0e4c2f7··on Linux from Scratch
Building using LFS has been on my list of "I really should probably do that just to learn" for about 20 years now. I'll get around to it! This year I'm finally learning Lisp (and really enjoying it).
f0e4c2f7··on I made a game you can play without anyone knowing (no visuals/sound)
Really cool idea. Novel, I imagine a lot of people would play this. I would suggest a social media campaign with short form videos. Seems like something that has the potential to go viral or at least make a lot of money.
f0e4c2f7··on Mira Murati leaves OpenAI
There is one clear answer in my opinion:

There is a secondary market for OpenAI stock.

It's not a public market so nobody knows how much you're making if you sell, but if you look at current valuations it must be a lot.

In that context, it would be quite hard not to leave and sell or stay and sell. What if oai loses the lead? What if open source wins? Keeping the stock seems like the actual hard thing to me and I expect to see many others leave (like early googlers or Facebook employees)

Sure it's worth more if you hang on to it, but many think "how many hundreds of M's do I actually need? Better to derisk and sell"

f0e4c2f7··on Ask HN: What books should I read to improve as a software engineer?
I'm a big fan of the reading list and structure of teachyourselfcs.com
f0e4c2f7··on Ask HN: Best way to optimize career for money in IT?
Fortunately big tech jobs are available in EU too. Highest salaries might trickier without moving to US, shouldn't be too hard to transfer to US once you get a job at one if you want to. Making quite a high salary without moving is possible too (though still need to be a in a major metro that has big tech companies.)
f0e4c2f7··on Ask HN: Best way to optimize career for money in IT?
This is fairly straightforward imo. Most money is in big tech. Look at levels.fyi to get an idea of the roadmap.

Big tech hires mostly off leetcodes. There are other factors too.

Your journey begins with practicing leetcodes and reading all the books on teachyourselfcs.com

Study dilligently. Watch YouTube courses too but this should be considered supplemental.

Apply for big tech jobs. This will probably take several trys, especially in this market. Just keep applying and studying.

Once you're at a big tech company keep studying, learn from the smartest people you meet, and ship a lot. After a promotion or two apply to Meta (or someone else if they're paying more on levels.fyi at that point, but Meta pays especially well)

Start giving presentations at conferences. At higher levels in big tech this is encouraged and sometimes even expected as part of promo packets. Also practice your writing. Starting on writing a technical book on a subject your an expert in by this time would be good.

Keep shipping, keep learning, keep getting promoted. Once you're on that track you're well on your way to $1M/yr TC.

f0e4c2f7··on How to keep up with AI/ML as a full stack dev?
I'm not sure why but it seems like most of the high quality AI content is on twitter. On average seems to be around ~4 months ahead of HN on AI dev approaches.

I would suggest following / reading people who talk about using Claude 3.5 sonnet.

Lots of people developing whole apps using 3.5 sonnet and sometimes cursor or another editor integration. The models are getting quite good now at writing code once you learn how to use them right and don't use the incorrect LLMs (a problem I often see in places other than twitter unfortunately.) They seem to get better almost weekly now too. Just yesterday Anthropic released an update where you can now store your entire codebase to call as part of the prompt at 90% token discount. Should make an already very good model much better.

Gumroad's CEO has also made some good YouTube content describing a lot of these techniques, but they're livestreams so there is a lot of dead air.

https://www.youtube.com/watch?v=1CC88QGQiEA

https://www.youtube.com/watch?v=mY6oV7tZUi0

Page 1 of 25Next →