good things take time go | zig | rust Looking for opportunities in Distributed Systems and Databases git: https://xitter.cf/t.co/E22e9rNh8H
Joined November 2024
- Tweets1.5K
- Following103
- Followers113
- Likes4.1K
Pinned Tweet
Introducing:
Model Based Testing in Zig, A Preview of the Quint-Connect port written in the amazing @ziglang
Watch as we find an invariant violation in realtime with some visualizations and @quint_lang magic!
All of this as just a step in `build.zig`
amgh retweeted
Pain is information
As a child, you touched something hot, and it burned you. That pain gave you a piece of information: be careful touching hot things.
When you sign up to run a marathon, you are signing up for pain. But whether or not you keep running is up to you. In Haruki Murakami’s words “pain is inevitable but suffering is optional”. You can choose pain without choosing suffering.
Pain is information, and information is painful. Rewiring your brain is not a frictionless process. Some knowledge can only be discovered the hard way.
The sooner you can convert pain into knowledge, the sooner you can experience the next useful pain. Don’t put yourself through the same pain too many times. To access new information you must experience new pains.
They say “knowledge is power”. If pain is information, then pain can be converted to power. To do so, you must learn to control your suffering, accept that scars are beautiful.
If you felt pain, ask what information it gave you. If that information was useful, seek the next pain. You are learning.
ALT As a child, you touched something hot, and it burned you. That pain gave you a piece of information: be careful touching hot things. When you sign up to run a marathon, you are signing up for pain. But whether or not you keep running is up to you. In Haruki Murakami’s words “pain is inevitable but suffering is optional”. You can choose pain without choosing suffering. Pain is information, and information is painful. Rewiring your brain is not a frictionless process. Some knowledge can only be discovered the hard way. The sooner you can convert pain into knowledge, the sooner you can experience the next useful pain. Don’t put yourself through the same pain too many times. To access new information you must experience new pains. They say “knowledge is power”. If pain is information, then pain can be converted to power. To do so, you must learn to control your suffering, accept that scars are beautiful. If you felt pain, ask what information it gave you. You are learning.
amgh retweeted
Oh, to be clear, I will very happily keep making videos long past when LLMs can generate clear explainers. I hope people have found value in my videos because they explain things clearly, but that's not even the highest-order bit for what makes a video land, in my opinion.
AI didn't render engineering obsolete, it shifted the moat. Everything is now downstream of the skill "asking the right questions"
amgh retweeted
The critical thing here is that AI, in its current form, can't give you solid foundations. So far all interesting non-slop success stories with AI that I've seen is where all the strong core was already in-place, and AI was following the patterns without being able to screw much.
Which, I want to stress it, doesn't mean that AI can't help you with optimization work. It's just when you optimize a turd you'll get optimized turd, and if you don't know what you're doing you won't even know that you have a turd.
when I started writing my engine, my expectation was that it would take 4 to 5 years to get it to a level where everybody could use it.
instead it took 18 months, and that's because I only even started using AI code in July, after Fable 5.
the actual core runtime of a game engine (the part that actually matters), can be written by hand by an experience programmers in a couple of months give or take.
the problem is the sheer amount of glue code you have to write to make it usable: editor code, serialization code, supporting different graphics features per platform, refactoring systems to make sure everything works together without impacting performance, the list goes on.
that kind of code is neither fun to write nor an exercise in technical thinking, and it made up 70% of the work before.
now we have automation for a big part of it. not for the thinking part imo (Fable knows every trick in the book but it seems to struggle with deciding what to do with it), but for the manual work that came after it.
this will simultaneously unlock incredible progress, and incredible disruption. programming doesn't look the same, jobs don't look the same, running a company doesn't look the same. we will have to figure out the new normal in the upcoming years.
do I miss writing code? every day. I went through rough times this year trying to come to terms with this new reality. part of me wants it back, the other part is excited about what the future will look like.
amgh retweeted
I'd like to make software that advances the state of the art and improves the lives of millions around the world :)
amgh retweeted
This is just clankerslop, e.g. no constraints that weren’t expressed to the clanker with automated verification that those constraints are solved for. To form the full set of such constraints, you’d need to exhaustively imagine the program and rigorously build the set of constraints for all program behavior, implicit and explicit. That assumes they are even testable via automated verification systems, which is not true for many things, especially UI, workflow, and psychology related.
amgh retweeted
Are you becoming a master craftsperson?
Growing in understanding, putting in the hard work to hone your skill, day in day out, becoming the best you can be?
It’s fine to answer no, but a few years of working at your craft (with intention) will compound.
amgh retweeted
The thing I learned this year is that when engineers say they like working on “hard problems”, they actually don't. What they like is puzzle solving, and having a repertoire of patterns that they can pattern match onto traditionally hard problems, usually involving databases or something with scale, etc. And they know that the industry used to pay you a lot for how deep and broad this repertoire was. Unfortunately, in 2026, well, you have a cheat code machine that has infinite breadth and depth for pattern matching. So the question is, do you actually like hard problems? Because there are now hard problems that are a complection of engineering, product, society, culture, politics, and they are fairly intractable, probably unsolvable! Because if you do want to work on those actually hard problems, there is so much money that people will pay you for it. But you’ll have to face that truth about yourself first.
My thoughts on AI and learning new things from first principles. This is my own comment on a PR for my project - a sqlite database clone in Zig from scratch.
too much AI hype, the only drawback i have faced is that I need a faster IO bandwidth on my brain to understand more things at a much faster speed.
I'd be unstoppable.
Like i want to build my own language, a database, a GUI and also contribute to 15 different oss projects.
amgh retweeted
Drop the ego and then curiosity, exploration, and discovery emerge. The best part of technology.
"What if?"
It's better now than ever before.
back to X and this is what i come across. Anyway, this applies for generic software. Not the software that is foundational like databases, compilers, infra software, mission critical software, etc.
only applies to CLI tools, web dev, saas and the like.
X i.e. this platform is dogshit. People dont believe in reading books, strangers dunk on each other, engineers shame each other, language wars are being held every single day.
i came here looking for a job.
i dont think it is worth it anymore.
deleting the account today.