kqr

6 ms·

31.
by kqr 1mo ago
This all rests on the assumption that design errors are independent beween LLM-generated programs for the same specification. That's not true for humans (Knight and Leveson, 1986) and I highly doubt it's any more true for robots.
32.
by kqr 2mo ago
> A weird poorly specified format that is only fully editable from one editor. While this has been true historically, the Org maintainers are moving away from that approach. The example that comes to mind is that parsing and interpretati
33.
by kqr 2mo ago
The problem with the wheel is not inventing it so much as finding ways to use it. Aside from capstans and pulleys, the wheel is mostly only useful in combination with good infrastructure or complicated machinery.
34.
by kqr 2mo ago
> PageRank doesn't work today That's silly to say when it can be fruitfully applied in so many situations. Any time you have noisy and sparse pairwise comparisons, you can think of them as one of the sides of the pair vouching
35.
by kqr 2mo ago
> One of the basic rules of thumb in typography is that, when writing a piece of text, you should choose one typeface and stick to it. Likewise, a splash of colour may grab the reader's attention, but it will inevitably decrease the
36.
by kqr 2mo ago
But on the other hand table are represented with trees![1] [1]: https://en.wikipedia.org/wiki/B-tree#B-tree_usage_in_databas...
37.
by kqr 2mo ago
Right! As I was reading I was thinking of ways to evolve this, and one idea kept coming back: What if we don't store compiled code in the SQLite database, but something primitive like s-expressions representing code? Then we could upda
38.
by kqr 2mo ago
> One of my favourite ways to develop apps is to use Lua - for everything. Construct an efficient core application framework, then embed the Lua VM in it, and then do all program logic and control flow in Lua, then put the Lua bytecode i
39.
Robot Comment Classifier(entropicthoughts.com)
2 points by kqr 2mo ago|0 comments
40.
by kqr 2mo ago
Oh, and I forgot and now it's too late to edit my comment. 6400 has a bunch of nice divisors too. A half-turn is 3200 mils, a quarter is 1600, a quarter of a quarter is 400, etc. A sixth of a turn is nearly 1000 mils. A tenth is obviou
41.
by kqr 2mo ago
It's also useful for sighting distances when the width or height of something is known. A knuckle on your outstretched arm is roughly 30 mils, so you cover the thing with your hand, count knuckles, multiply by 30, then divide the size
42.
by kqr 2mo ago
I think your last sentence is getting close to the truth. You're no longer the audience for those descriptions. Other robots are. I'm not saying that's good or bad because I don't know, but I think that's the idea o
43.
by kqr 2mo ago
Code-generating robots are pretty bad at property-based testing, in my experience. They can do it but they still need a lot of hand-holding. They often regress to writing a mirror implementation as the oracle and trying to enumerate a fixed
44.
Haskell: Origins, Evolution, and Future [video](youtube.com)
4 points by kqr 2mo ago|0 comments
45.
ECS Lua(nidorx.github.io)
4 points by kqr 2mo ago|0 comments
46.
by kqr 2mo ago
I also write a lot about things I learn and not always fully understand yet. My secret worry is that one of my readers will meet me in person and quiz me verbally on the subjects of one of my articles. I would end up sounding really dumb co
47.
The Mischief Haskell ECS Game Engine(hackage-content.haskell.org)
4 points by kqr 2mo ago|0 comments
48.
by kqr 2mo ago
A lot of the software I really admired in the early 2000s was developed by single persons using Delphi. It seems to me like there is (was?) something promoted by a Delphi environment that is rare to find elsewhere, that lets people (a) quic
49.
by kqr 2mo ago
You probably know it, but Boyd did not at all suggest speed beats quality. If anything, his realisation was the opposite: the US aircraft had a more open canopy and thus improved quality of observation, and that was what won despite the sup
50.
Agentic test processes, LLM benchmarks, and other notes(danluu.com)
2 points by kqr 2mo ago|0 comments
51.
The Deslop Stack Fallacy: Why Style Rules Hurt Thinking Quality(kondasamy.com)
2 points by kqr 2mo ago|0 comments
52.
Should You Marry Her?(acotra.substack.com)
5 points by kqr 2mo ago|0 comments
53.
Norway's first adventure games (2025)(spillhistorie.no)
3 points by kqr 2mo ago|0 comments
54.
by kqr 3mo ago
I find the recommendation in favour of discrete categories over numeric probability for confidence level intriguing, because it goes against the grain of all advice I've read for humans interested in forecasting. The easiest argument i
55.
by kqr 3mo ago
This was RyanAir's CEO. https://www.theguardian.com/business/2012/feb/28/ryanair-sta...
56.
Poison Song Teaser (2025)(tamriel-rebuilt.org)
1 points by kqr 3mo ago|0 comments
57.
by kqr 3mo ago
> On one particular Friday afternoon, he stated a conjecture that he hoped was true, and invited us to try to help him prove or disprove it. This kind of professor/researcher/teacher needs more praise. One of the first engineer
58.
by kqr 3mo ago
I agree. I didn't mean to imply the article should have stated that. I just wanted to add to the article with additional context that's hopefully helpful to some HN readers.
59.
by kqr 3mo ago
The article doesn't really state why one would do this, so here's my reason: I'm the sort of person who likes to challenge myself to geometrical problems, but I'm not good enough at it to do any higher maths. Flight simu
60.
by kqr 3mo ago
I was thinking of the British Empire. Their naval technology was superior enough to overpower the distance term. I was under the impression the Dutch didn't really wage interstate war in the same sense, but rather that a bunch of param

More ›