deterministic

15 ms·

121.
by deterministic 3mo ago
Cherry-picking individual technologies (such as jet engines) doesn't really say much. You could argue that companies like ASML and Rolls-Royce (jet engines) are evidence that Europe knows how to innovate and the US doesn't. That A
122.
by deterministic 3mo ago
Check out seL4 and CompCert for real-world examples of complex software proven correct and used in industry.
123.
by deterministic 3mo ago
Maybe you could have generated random test input, generated the trees, and then converted the trees back to the input, checking if they match?
124.
by deterministic 3mo ago
30+ years of experience here writing everything from JIT high-performance compilers to professional game engines to mission critical biz servers: Claude Code is excellent at writing (C++) code. Especially multi-threading code. However I sti
125.
by deterministic 3mo ago
I am really curious about this because my experience is completely different. Can you elaborate a bit more on how you use LLM's for coding? Are you doing one-shot coding? Vibe coding (not looking at code)? Small focused one-step-at-a-t
126.
by deterministic 3mo ago
I agree. Claude Code (for example) writes excellent code as long as the prompt is focused and clear.
127.
by deterministic 3mo ago
Not my experience at all (30+ years of experience as a professional software developer). I currently work on a very large (multi-million lines) C++ code base and use Claude Code for the following: 1. I run Claude Code in the background find
128.
by deterministic 3mo ago
The public school system in most countries has been spectacularly successful. In fact, much of the West's success is built on it. Having said that, people are different. They have different IQs, interests, abilities, motivation, and le
129.
by deterministic 3mo ago
It's amazing how badly written most manuals are.
130.
by deterministic 3mo ago
Communism is authoritarian left. None of the AI's match that.
131.
by deterministic 3mo ago
Non-paywall version?
132.
by deterministic 3mo ago
It turned out in practice that a Lisp Machine was basically a Lisp interpreter implemented in hardware. A better and much more pragmatic solution was to compile Lisp to efficient machine code and then run it on any traditional CPU. Which is
133.
by deterministic 3mo ago
That is a very unusual experience and not at all what happens in general. Quite the opposite. The more skilled you are, the more effective you can apply AI to solve problems. I suspect your company is destined to hit a maintenance/AI s
134.
by deterministic 3mo ago
I can't remember where I read the statistics. But apparently helping with safe drugs/housing removed 80% of homeless from the streets. However there were still 20% that couldn't be helped no matter what they did. That is of c
135.
by deterministic 3mo ago
> money doesn’t buy happiness Not true. Money does buy happiness up to a point. Going from sleeping in the streets to having a place to stay, food, security, and medical services makes a big happiness difference. However once the bas
136.
by deterministic 3mo ago
A friend of mine is an artist working in the games industry. So far nobody has been fired. They all simply started using AI to be more productive. They care more about doing their job well than some artistic ideal that only works in practic
137.
Mental Illness Does Not Cause Homelessness(truths-and-loves.ghost.io)
10 points by deterministic 3mo ago|2 comments
138.
by deterministic 3mo ago
> we invented microservices and started treating those as a silver bullet Is that actually a thing? All projects I have worked on for 30+ years were monoliths doing just fine thank you very much. However colleagues are fighting daily bat
139.
by deterministic 3mo ago
Non paywall version?
140.
by deterministic 3mo ago
I completely agree. The #1 thing you need as a game designer is taste. AI's doesn't have that. It will happily take your low-quality-seen-many-times-before game design idea and generate code for a low-quality-seen-many-times-befor
141.
by deterministic 3mo ago
> people who want something from me but don't offer anything in return I see that as an opportunity to negotiate something in return from them. And if they refuse I simply move on.
142.
by deterministic 3mo ago
For the last 10+ years I have routinely auto generated 90+% of the code needed for my work using a custom code generator. Only the biz logic had to be coded by hand. That doesn't make me a super star or whatever. Just more efficient.
143.
by deterministic 3mo ago
> a 1000-page proof with no possibility of transmission Have you actually looked at LEAN proofs? They are typically split into small bite size definitions and proofs, making it easy to dive in where you want, and skip what you don't
144.
by deterministic 3mo ago
I usually run Claude in the background doing less interesting stuff while focusing on what is most important. And I don't constantly check Claude progress. So I can easily stay in focused flow while getting the benefits of Claude.
145.
by deterministic 3mo ago
You control how fast you work and what you tell your manager(s) about how long the work will take. You need to learn to manage your manager(s). Google it.
146.
by deterministic 3mo ago
I call BS on this. For a LLM to recursively improve itself it would need to (small step) improve the training data and/or (big step) come up with fundamentally new architectures superior to transformers. The small step improvements mig
147.
by deterministic 3mo ago
I have used custom code generators for years, generating 90+% of the code needed to write a typical biz application. Claude Code is useful and I use it every day. But it still hasn't beaten the productivity of my code generator.
148.
by deterministic 3mo ago
Something I recently realized: You can think of a view as a function that computes an output table from N input tables. Kinda like how Excel works but with tables instead of cells. That is extremely powerful.
149.
by deterministic 4mo ago
Impressive work. It's nice to see LEAN being used for real-world algorithms.
150.
by deterministic 4mo ago
https://news.ycombinator.com/item?id=45769161

More ›