deterministic

5 ms·

31.
by deterministic 22d ago
I judge articles by the value delivered. Not the writing style. And this article is very much high value compared with the a-simple-idea-explained-with-a-wall-of-text low value/noise most HN stuff has become.
32.
by deterministic 22d ago
What an excellent read. This is why I read HN. Thanks!
33.
by deterministic 22d ago
The moderator is basically the equivalent of the environmental evaluator in a genetic/survival of the fittest algorithm. So of course the moderator will shape the outcome. No surprise there.
34.
by deterministic 23d ago
Not my experience at all. Quite the opposite. At my workplace we use AI to improve code quality and software design every day, far more than we used to, because AI makes it fast and easy.
35.
by deterministic 23d ago
I’m not convinced code reviews add much value, unless most of your co-workers are less capable and you’re trying to improve overall quality. That said, I get a lot of value from talking to experienced developers before writing any code.
36.
Huawei Became China's Nvidia [video](youtube.com)
1 points by deterministic 24d ago|0 comments
37.
by deterministic 25d ago
> I've also tried to understand the code that AI writes, but it's often insane and untangling it would slow me down I hear that a lot, but it is very different from my experience using Claude Code every day. The code it generat
38.
by deterministic 25d ago
> and so has the output quality Not my experience at all. The quality has gone up dramatically . Because we also use LLMs to make large scale refactorings that cleans up the code and use it to find lots of bugs that would otherwise ha
39.
by deterministic 25d ago
I would cry a lot. I love my Claude Code :) But other than that nothing really.
40.
by deterministic 25d ago
I can't remember what I wrote yesterday. So it forced me from an early age to not write spaghetti code. Which is a real advantage it turns out when working on large projects. And an even bigger advantage when using LLM's to code.
41.
by deterministic 25d ago
The platforms unfortunately have zero incentives to help you manage your addictions to the "wrong" things. Quite the opposite. The same way bakeries and cafes have zero incentives to not be your local sugar addiction dealer.
42.
by deterministic 28d ago
Marx was extremely simple minded when it came to human nature. That’s the problem with all utopian ideas and all idealistic philosophers and economists: the assumption is always that humans will behave in some idealised way. While in realit
43.
by deterministic 28d ago
Not at all. High level objectives from above are transformed and interpreted and subdivided by lower levels into actual planning and execution. Also, a corporation is infinitely more simple to manage than a whole country.
44.
by deterministic 1mo ago
Non-paywall link?
45.
by deterministic 1mo ago
You are absolutely spot on. I’ve worked on a number of game development teams, and it was always clear to me that the game was created by the whole team . Great gameplay ideas came from programmers, artists, designers, marketing people, te
46.
by deterministic 1mo ago
Please write an article about this.
47.
by deterministic 1mo ago
The trick is to start with the smallest possible implementation of a spec and proving it correct. You then add a more advanced and faster implementation and prove that the 2nd implementation implements the 1st. Etc. etc. It's called r
48.
by deterministic 1mo ago
Completely and 100% utterly wrong. LEAN is a functional programming language with a type system strong enough to express cutting-edge mathematics and proving it correct. And yes it also has DSL's built on top of it optimised for doin
49.
by deterministic 1mo ago
LEAN is exactly an expressive type system. Nothing more. The amazing thing is that the type system is so powerful that you can express cutting-edge mathematics with it and prove it correct. In other words, proving something is essential
50.
by deterministic 1mo ago
I was fully prepared to hate this article, given the long list of previous “I have no clue how formal proof tools work, yet have strong opinions about how useless they are” articles. Instead, I was pleasantly surprised by how balanced it wa
51.
by deterministic 1mo ago
> In the future AI code inevitably will embody most good software engineering practices That is not inevitable. It's a big maybe . Today's leading-edge AIs are still far from being good software architects. I constantly have t
52.
by deterministic 1mo ago
My experience as well! My memory is terrible. I often can't remember what I worked on last week. But I've always done well academically and at work because I'm good at deriving solutions from a few core principles and underst
53.
by deterministic 1mo ago
I’ve managed large software teams for 10+ years and also worked as an individual developer. In my experience, most middle managers, probably 90%, have no clue how to manage software developers. It’s not that hard to manage teams IMHO, but
54.
by deterministic 1mo ago
> most people don't realize how good LLMs are at 3D these days It seems to work well generating static 3D models. However typically with way too many triangles and no skeleton unless it is a human. That's my experience anyway.
55.
by deterministic 1mo ago
Amazing hackers are everywhere. Not just in the (tiny) Lisp community. Unless you think that the inventors of C, C++, Unix, Linux etc. were not amazing hackers?
56.
by deterministic 1mo ago
My experience: C++ is an ideal language for AI-assisted software engineering. It just works beautifully with Claude Code.
57.
by deterministic 1mo ago
> Lisp was the original language of AI Ahhh so that's why the AI winter happened? Wrong programming language? /s
58.
by deterministic 1mo ago
I know a lot of amazing developers, but they never claim to be “elite” or make similar nonsense claims. They let their work speak for itself.
59.
by deterministic 1mo ago
Game designers in the games industry use Lua (and other script languages) all the time without being programmers. That doesn't mean that those languages are more "elite" than others. Also, I taught myself machine code program
60.
by deterministic 1mo ago
It seems to happen a lot with Lisp enthusiasts for some reason, usually without any evidence to back it up. It always makes me laugh because the real world runs on C/C++, not Lisp. So perhaps by “elite” they mean something other than b

More ›