jaen

8 ms·

121.
by jaen 7mo ago
A substanceless, shallow article - repeating truisms, offering nothing novel - that's actually an ad / SEO spam for "xfive AI Lab". Can be expressed as one sentence: "we [will] supplement ourselves with AI since hum
122.
by jaen 7mo ago
Note that Ising computers are quite special-purpose machines and can't (easily) solve general purpose computing problems. The most known/hyped of them a couple of years ago was the D-Wave "quantum computer". The machines
123.
by jaen 7mo ago
Probably because it seems AI-generated, and suggesting dev.to is in line with that - that place is actually an absolute cesspit of slop (SNR 1:100), as far as I have seen.
124.
by jaen 7mo ago
Really, how hard is it to follow HN guidelines and : a) not imagine straw-man arguments and not imagine more (or less) than what was said b) refrain from snarky and false ad hominems None of what you said in no way conflicts with what I sai
125.
by jaen 8mo ago
Uh, to explain what? You probably read something into what I said while I was being very literal. If you train an LLM on mostly false statements, it will generate both known and novel falsehoods. Same for truth. An LLM has no intrinsic co
126.
by jaen 8mo ago
Huh, interesting... why have both React components and Mustache-style templates in the same framework? They perform the same function? What's the use case for mixing them?
127.
by jaen 8mo ago
Not exactly a counterpoint , since nobody argued that LLMs can not produce "original" code from specs at all - just that this particular exercise was not clean room. (although for SAKO [1], it's an average 1960 programming l
128.
by jaen 8mo ago
That's just because true statements are more likely to occur in their training corpus.
129.
by jaen 8mo ago
I mean, for an article that's titled "clean room", that would be the first thing to do, not as a "maybe follow up in the future"... (I do think the article could have stood on its own without mentioning anything
130.
by jaen 8mo ago
The paper does make this distinction under the "Concurrent Versions" property. Allowing concurrent versions though opens you up to either really insidious runtime bugs or impossible-to-solve static type errors. This happens eg. wh
131.
by jaen 8mo ago
There isn't any attempt to falsify the "clean room" claim in the article - a rational approach would be to not provide any documents about the Z80 and the Spectrum, and just ask it to one-shot an emulator and compare the ou
132.
by jaen 8mo ago
This is roughly the same problem as syntactical macros in non-Lisp syntax languages. There needs to be a way to indicate a "hole" (metavariable/unquote) in the syntax tree, and depending on the complexity of the language&#x
133.
by jaen 8mo ago
Did you even read my comment with any thought?! This is like an AI-generated response that didn't understand what I was actually saying. > I'd encourage you to check the source I couldn't have written my comment without
134.
by jaen 8mo ago
You used LLMs to generate code to beat ARC-AGI "without using LLMs"... Uhh, okay then. LLMs generating code to solve ARC-AGI is literally what they do these days, so as far as I see, basically this entire exercise is equivalent to
135.
by jaen 8mo ago
Don't bother engaging with grandparent, LLM-generated comment which is a regurgitation of what bigyabai said upthread.
136.
by jaen 8mo ago
With the small graph in the post, finding the solution by searching backwards from "finished" graphs (ie. single-city) using dynamic programming should be simpler than beam search and guaranteed optimal.
137.
by jaen 8mo ago
You're getting more and more irrational. > it's OK for you to insult a person. I made an analogy which just means that it's hard to understand what the different styles and paradigms are when those are the things you const
138.
by jaen 8mo ago
Reminds me a bit of the fish anecdote told by DFW... they've only swam in water their entire life, so they don't even understand what water is. Here are the mixed paradigms/styles in these Python snippets: - Statements vs. ex
139.
by jaen 8mo ago
Complexity-wise, this version is more complicated (mixing different styles and paradigms) and it's barely less tokens. Lines of code don't matter anyway, cognitive load does. Even though I barely know Raku (but I do have experienc
140.
by jaen 8mo ago
but... 1. Synchronizing on trivial properties (otherwise you couldn't use `public` anyway!) is an anti-pattern, as it's a too fine-grained unit of concurrency and invites race conditions. 2. Can't proxy without rewriting byte
141.
by jaen 8mo ago
LLM-generated code probably, which human uses em-dashes and Unicode arrows for boilerplate file header comments? LLMs, on the other hand, very often do. https://github.com/CrimsonDemon567PC/Mantis/blob/d7c8a79
142.
by jaen 8mo ago
I'm very curious about what you consider a real "design" then?! The Windows NT kernel had a better design than most contemporary and succeeding operating systems (including the various Unixes, Linux, BSD, plan9 etc.). Moder
143.
by jaen 8mo ago
Note that declaring no aliasing is probably unsafe for concurrent or moving garbage collectors, as then the C compiler can conveniently "forget" to either store or load values to the shadow stack at some points... (though it is fi
144.
by jaen 9mo ago
`Readonly<T>` in TypeScript is almost useless, unsound and completely unsafe (as are most other things in TypeScript), and in no way equivalent to the Rust affine type system. In particular, Readonly only prevents writing to the imme
145.
by jaen 11mo ago
These links are all mostly unmaintained AI-generated random MCP servers. Could have put in a bit more effort than copy-pasting search results... To talk about where it's _actually_ at: Agentic IDEs have LSP support built in, which is b
146.
by jaen 1y ago
90% of it flew over my head, but since we are mostly practical engineers here, one question of course presented itself: Is this a physically realizable mode of computation? (ie. what's the physical equivalent of a "geometric comp
147.
by jaen 1y ago
Error handling patterns very much depend on the domain with possibly completely opposite recommendations, and any principles should specify in which domain it is a good approach. Pure and deterministic algorithms can have the luxury of havi
148.
by jaen 1y ago
The solution to LLM slop in general is certainly almost nothing like what is proposed here, that's just buzzword bingo in the Python ecosystem (and it sounds like an AI hallucination). What you (and most vibe coders) are missing is jus
149.
by jaen 1y ago
That summary is partially inaccurate and looks like AI-generated (lots of pointless "following" sentences).
150.
by jaen 2y ago
No. Taking the value of a single character is a correct perfect hash function, assuming there exists a position for the input string set where all characters differ.

More ›