Can 3100 links be legendary? I feel like there can be at most 310 legendary links
HN user
bckr
anthony at robo-rx dot com
happy to chat about crazy futuristic ideas, things you're writing, software engineering, music etc
Yes, agentic coding is machine learning. Not because of the underlying language models, but because it is gradient descent, where the test harness provides a gradient for the agent to traverse.
Most people don’t know about that because they live in an information bubble handcrafted by the oligarchs.
Yes and Pythonic is the Pythonic word for idiomatic
Engineer? Wow, that’s high falutin. Sanitation Technician is as high as I got.
I suggest you encoding your invariants in the harness. Architectural invariants that can be mechanically checked, including which modules are approved, which dependencies, etc.
VC startup world is not about intelligence. It’s about impressing investors.
What models have you tried? Gemini 3.1 pro has vision capable of reading my sloppy diaries from 10 years ago, down to small glyphs and doodles.
Wow. That sure is something.
Yes. It’s astonishing how I see individuals with these enormous egos centered on their intellectual, technical achievements, who have such egregious blindspots surrounding their own unethical attitudes and behavior.
Sirs, please turn the apparatus upon itself. Question yourself as a part of a larger system. What is your function among members of your own species? How can you falsify your hypotheses on this subject? Please don’t be so incurious.
Where I made up my mind is during “dance party” where the boys have faces and the girl has a dancing woman for a head.
Overall the idea is creative, but also not at all what I hoped. Was hoping for diagrams of actors in the systems sense.
Cursor is declining
Yep. I switched to Zed over the weekend and I’m very happy so far. It’s snappy.
“Listen” is being used in a non-literal way here, with the meaning “to accept as true”.
We could all chip in
We set up something with a registry of AgentCards and a messaging system with SSE streaming—then we realized we didn’t need an agent on the other side so now we have this weird hybrid pattern.
So, no.
I’m in the first weeks of designing nub: Not Unix, Basically. The motto is “general-purpose, provably correct software, for everyone”. The idea is to build, on top of seL4, a software stack that builds compile time capability guarantees and other high-assurance primitives into every piece of software by default.
“nub” is a good name because it can also be read as “noob”, which I am, when it comes to PL, type systems, and OS design. But I’m loving the deep connections that I am learning to draw across subjects like computability theory, functional programming, and brass-tacks software development.
For example, I find myself understanding the purpose of the borrow checker in Rust (“to make race conditions impossible” is my understanding: feel free to correct me / add color).
No website or GitHub repo yet. I’m brushing up on classical logic and learning Idris. Installed QEMU today.
Still haven’t succeeded! I’m on my 8th business since being a teenager. I have lost quite a bit of money. I’ve earned some through consulting. I think for those of use for whom it doesn’t come easy or natural (and maybe, for everyone) you have to identify as an entrepreneur—wanting and even trying isn’t enough. Then let go of all outcomes. Then just move forward every day.
But I haven’t succeeded yet, so I might not be giving the best advice!
Oh yeah, he’s the one who said glue people are useless
When you have everything but can’t even keep your hands to yourself. Shameful.
I think it’s worth having a tiny model that can convert a short sentence into a structured tool call. Now you can add an orchestration layer and you have separation of concerns. That orchestration layer can be a mixture of deterministic and probabilistic systems. Break the foundation model into several single use tools, please!
yes. But also some stuff will be amazing.
Are you part of a union? How can we get the tech industry unionized?
I think it’s ALL getting commoditized. The winners here are engineers (who are onboard with the agentic surge) and, hopefully, users who get more and better software.
“Put that **** directly into my veins”, as they say
Look, we’ve had nukes for almost 100 years now. Do you really think our ancient alien zookeepers are gonna let us wipe with AI? Semi /j
not a very helpful response tbh
Labor organization yes! I don't quite know how to achieve it. I also worry that my desire to become a manager is in direct conflict with my desire to contribute to labor organization.
On a separate note, I have the intensification problem in my personal work as well. I sit down to study, but, first, let me just ask Claude to do some research in the background... Oh, and how is my Cursor doing on the dashboard? Ah, right, studying... Oh, Claude is done...
The average person sees some headlines and gets a vague awareness that the guy is some kind of super genius who is single handedly changing the world.
The average person who has an opinion on musk has roughly the same long term memory consolidation pattern as the average person in general.
Conveniently, about the amount of time it takes for the average person to forget and/or rematerialize in a new parallel dimension
and wait for the caller to speak first
You know why this is, right? Most phone calls these days are spam or otherwise annoyances. Many are literally just seeing if a person picks up. They’re listening to see if you’re a real human being.
The phone system is FUBAR.