gobdovan

8 ms·

121.
by gobdovan 5mo ago
This blog is one of the most confused and inaccurate collection of writing that I recurrently find on HN. The account spams a deeply flawed blog post about 'Category theory illustrated' (also referenced from this article) where it
122.
by gobdovan 5mo ago
You can also pin a pawn to a queen, but the pawn can still legally move.
123.
by gobdovan 5mo ago
I think it's trying to be like a code-first/API alternative to Tmux. So instead of: ``` tmux new-session -d -s a tmux send-keys -t a 'npm test' Enter sleep 2 tmux capture-pane -p -t a ``` you'd do someth
124.
by gobdovan 5mo ago
By the same logic, would you say that the fact that there's only one mainstream Rust is testament to the simplicity of implementing a macro-heavy, borrow checked language without breaking safety, performance and expressiveness?
125.
by gobdovan 5mo ago
AI is pretty decent at writing TLA+ specs, but the specs are often bloated, and AI misses the simpler system. If you try to write TLA+ with LLMs and they produce a 500 LoC monstrosity with very abbreviated names, consider that this is not
126.
by gobdovan 5mo ago
I'm not blind but I sometimes I can't process where things are, even if in front of me. Would be cool to just point to a messy table and see where the keys are. If they offer this as some Vision/Core ML feature, I'd impl
127.
by gobdovan 5mo ago
Mount it on a needle/skewer, it should let you capture it in one pass.
128.
by gobdovan 5mo ago
Gaussian splat casualty. The bottom looks like partially missing from the reconstruction.
129.
by gobdovan 5mo ago
Sorry if I fell for Poe's law, but just for clarity, the strawberry's rotten underside is most likely missing splats in the rendering.
130.
by gobdovan 5mo ago
General programming [0], static analysis [1], RDF triple stores [2], authorization systems [3], incremental computation [4] [5], graph DBs [6]. But it is kind of hard to define Datalog exactly, since it is an entire family of technologies b
131.
by gobdovan 5mo ago
Datalog is not a subset of Prolog. It looks that way because both are based on Horn clause logic, while Prolog is more expressive. This loops Prolog, but terminates in Datalog: p :- p. p. ?- p. This is because the underlying mechanism is co
132.
by gobdovan 5mo ago
Yeah, that's part of it. But I'd argue that once you look at a city, you look at constructions administratively designed by men, with their preference for hierarchies. Try to hierarchically describe to someone instructions to pick
133.
by gobdovan 5mo ago
Do you think it will be the case for the Claude Code/Codex tokens as well? I think those are heavily subsidized, but they're the only ones I find real value in.
134.
by gobdovan 5mo ago
Exactly :) It is terminating due to the LFP semantics I was pointing out, it's more akin to SQL than to Prolog. The article doesn't even show the usage of the Prolog cut (`!`). And yet Prolog can express all examples in the articl
135.
by gobdovan 5mo ago
All examples shown in the article can be ran with Datalog too (with stratified negation and arithmetic comparison), which has a clearer execution model and looks almost identical to Prolog. Prolog underneath is doing backtracking, while Dat
136.
by gobdovan 5mo ago
You're overfitting on the filesystem example. My point is model lock-in. Once a system commits to one hierarchy, it becomes very hard to introduce another authoritative model. Not only you cannot have alternative models with equal auth
137.
by gobdovan 5mo ago
I have a deep distrust of hierarchies, because they keep you trapped into a single model that keeps extending its authority, usuall without anyone explicitly deciding that it should do so. For example, the file system: once it was deemed hi
138.
by gobdovan 5mo ago
Yeah, they should mark the Greek alphabet as a mandatory prerequisite for college math. It had an unreasonable effect on how quickly I was processing notation-heavy math after learning some Greek for going on a trip over there.
139.
by gobdovan 5mo ago
Technically, every adaptation is evolutionary history, but not every evolutionary historical pattern is an adaptation. The distinction is very sharp and clear: adaptation is not a mere property discovered in the organism, but an exciting po
140.
by gobdovan 5mo ago
It doesn't really require all people to tell the truth. If the bug hunter is acting in good faith, they can communicate how much scrutiny they think their report deserves, which may reduce maintainer frustration. If the bug hunter is a
141.
by gobdovan 5mo ago
I think a lot of this is exposing a change in assumed context, but it seems better to adapt to the new trends than discontinue security programs. AI lets good-faith bug hunters look through more repos they are not deeply familiar with. They
142.
by gobdovan 5mo ago
What program was this? It sounds much closer to what I wish my CS degree had been. In my CS program, the courses I actually enjoyed were the math-heavy, but always optional, like computability/decidability/complexity, cryptography
143.
by gobdovan 5mo ago
I do not think I had a single university course that was not ultimately assessed through supervised written tests. That matters, because homework was never a reliable anti-cheating mechanism. Even before AI, you could just pay someone smart
144.
by gobdovan 5mo ago
From the paper, Elevator currently supports only single-threaded binaries, does not support binaries using exception handling, has unsupported x64 extensions, and does not support self-modifying or JIT-compiled code. Slack is Electorn based
145.
by gobdovan 5mo ago
This is how I always imagined FE development would work once ChatGPT 3 came out. Then Cursor appeared and seeing how successful they were with just a chat and a few tool calls, I thought I was over-complicating things. Anyway, I built a pro
146.
by gobdovan 5mo ago
Better advice isn't 'do what the locals do' or 'avoid what the locals do'. It's to actually talk to people, both locals and other travelers, instead of treating either group as a script to copy from a distance.
147.
by gobdovan 5mo ago
Thanks for the link, will take a look. Yes, I did the project because I went on a side-quest while working on an article about all the ways we know how to compute (so basically the same theme of understanding computation).
148.
by gobdovan 5mo ago
In Tanzania specifically, the $100s were fine. The weird pricing seemed driven partly by perception. It was usually street vendors who would say $1 bills were worth 2000 shillings (~84 cents), while the larger banknotes were fine. Other ven
149.
by gobdovan 5mo ago
That's the desired outcome of competition but the effects can go all over the place and the second-order effects in fragile towns can matter more than the price drop. As an extreme example, some people may lose their jobs, local spendi
150.
by gobdovan 5mo ago
A lot of those projects are not companies selling software. They're effectively public infrastructure projects, often governed by non-profit foundations or community institutions. Also, many of them predate hyperscalers and developed g

More ›