2,301 karma · joined November 15, 2024
^ this is important.
Otherwise you may very well be missing anything really surprising or novel.
See for example https://www.programmablemutter.com/p/after-software-eats-the... , an experience report of NotebookLM where
> It was remarkable to see how many errors could be stuffed into 5 minutes of vacuous conversation. What was even more striking was that the errors systematically pointed in a particular direction. In every instance, the model took an argument that was at least notionally surprising, and yanked it hard in the direction of banality.
And the abstract concepts of Abstract Wikipedia are human-defined, top-down ways of carving the world into distinct categories which make some kind of logical sense, whereas LLM's work bottom-up and create overlapping, non-hierarchical, probabilistic networks of connections with nearly no imposed structure except the principle that you shall know a token by the company it keeps.
But you can type them both out with keys on a keyboard so in that sense I guess they're not that different.
Haha that's like John Wilkins' "Real Character, and a Philosophical Language"
https://en.wikipedia.org/wiki/La_Ricerca_della_Lingua_Perfet... is a great intro to the weird and wonderful world of abstract/universal/ideal/a priori languages.
So distributed systems tend to converge towards being more and more mystifying? Cf. the mythical mammoth:
> Show me your flowcharts and conceal your tables, and I shall continue to be mystified. Show me your tables, and I won’t usually need your flowcharts; they’ll be obvious.
while on my system, /usr/bin/pandoc takes 199M; not bad.
(I guess one could call projects like https://en.wikipedia.org/wiki/Project_Cybersyn an "application" of its ideas, though cut off before one could see the results.)
But the point from the original comic version kind of makes it seem like specs are useless, which I don't believe is true. Just like reimplementations can be useful (directly so for property testing or golden testing, but also for learning what things worked and what didn't), a specification can be useful even though it is informal or incomplete in that it guides the real implementation. (Like "plan mode", for you vibers.)
I'm sure they've already received offers from investors who wish to build the next torment nexus.
Btw, is this representation the reason why OCaml's ints are not as big as C ints?
Also interesting that the Haskell pointer tagging you link to[0] was done the way it was to avoid CPU branch misprediction, and that the old way which it replaced was "the source of half of the branch misprediction events". I wonder how "branch prediction friendly" current Haskell is.
And for some reason, most of the screenshots on that page are in super low res, e.g. I see https://www.gnu.org/software/emacs/tour/images/gnus-small.pn... instead of https://www.gnu.org/software/emacs/tour/images/gnus.png , I really don't see why they'd want to make it look even worse.
And then on the other hand you have people like Nicolas Rougier https://www.reddit.com/media?url=https%3A%2F%2Fi.redd.it%2Fp... or Álvaro Ramírez https://xenodium.com/awesome-emacs-on-macos who show how great it can really look.
[0] https://dataframe.readthedocs.io/en/latest/exploratory_data_...
Still, the reason for choosing a language for whatever are always more social and path-dependent than technical (reason 1: initial developer of whatever really likes the language, reason 2: language is seen as hip within some crowd, reason 3 (later in the game): management feels language is safe). Technical reasons for choosing a language typically tend to be post-hoc rationalizations. (I mean, no sane person would choose Javascript for an editor based on technical reasons alone, yet here we are.)
[0] https://lem-project.github.io/ [1] https://www.lispworks.com/products/lispworks.html
https://jacklynch.net/language.html
https://learn.kids4alll.eu/sites/default/files/unit/oer/doc/...
https://www.theguardian.com/education/gallery/2015/jan/23/a-... is a beautiful one
(And even the books, floods and comets, children's books about impending natural disasters, not of the magical kind that you know aren't real anyway, but of the kind that have actually destroyed life on earth before and might happen again, that's real nightmare fuel for active children's imaginations.)