[0] https://github.com/xrchz/CollatzLean Paulson (mercifully?) did not link to Kumar's repository or paper [1]

[1] https://websim.com/@BookwormKevin/collatz-conjecture-simulat... this is a visualization of the Collatz sequence of numbers that is conjectured - but not proven - to always terminate at 1.

Paulson laments this as there are ways of building up the rules from axioms (program objects?), but it is really tedious. He recounts crafting a "system of combinators" (in 1986) that one could build on to express recursive functions.

[2] https://www.sciencedirect.com/science/article/pii/S074771718... DOI 10.1016/S0747-7171(86)80002-5

It's a bit of a shame that Microsoft only licensed Space Cadet Pinball from Cinematronics for Windows 95 and XP [0].

[0] https://devblogs.microsoft.com/oldnewthing/20181221-00/?p=10...

Actually, the history of edits shows that this is contested territory where people regularly remove what they term as spam links. So, while a disinterested editor might remove a link to a listicle about how to stage your home, they might leave in the breathless tone as harmless. The drive by editors probably feel that they have no more time to rewrite it than we do, given that they watch over many articles, not just this one.

I tried to make a game client for jdno's ATC [2]. My client was deficient, as I tried to treat the movement as a fixed interval, by only submitting flight plans that moved in cartesian directions. Only by cheating, modifying the simulator, could my greedy algorithm land any planes [3]. I suspect I was supposed to continuously model and poll the future positions of airplanes when developing a flight plan.

I suspect that I won't have much competition on the leaderboard, despite the asterisk, as jdno eventually archived the project [4]. Originally, the project was self-publication while looking for work. The Rust Foundation hired him a little while afterward.

[0] https://jdno.dev/auto-traffic-control/

[1] https://auto-traffic-control.com/

[2] https://github.com/Nzen/hircine-anise-okkoz

[3] https://www.youtube.com/watch?v=czsSjy1Uqyk 1.5 minutes

[4] https://github.com/jdno/auto-traffic-control/commit/b5972dfb...

[0] https://en.wikipedia.org/wiki/Lenny_(chatbot)

[1] https://news.virginmediao2.co.uk/o2-unveils-daisy-the-ai-gra...

Nonetheless, I'll promote an author of both non- and fiction ebooks I've bought from, Michael W Lucas [0].

[0] https://www.tiltedwindmillpress.com/

So, with a sandbox library like this, you could - say - write a website that hosts games (like itch.io or newgrounds) that hosts games on the world wide web. The sandbox part can give you confidence that, if a villain's programmer henchmen uploads a virus instead of a game, it can't infect your platform or other games on the website. Or, if a LLM-AI written game is accidentally tries to take up all the memory of the computer, it can't ask the operating system for more than is in the sandbox.

[0] https://www.youtube.com/watch?v=uLXxxHVOeec 11 minutes

[0] https://youtu.be/5IPQIl-FiCY?si=drUMJuR5tLLppWqD&t=738 relevant section is 13:00 - 14:00 of a 30 minute video about various inn / tavern aspects.

[0] https://github.com/steipete/CodexBar

However, I do not see a strong reason to believe that this is his actual, personal usage. It could be all openclaw usage or some subset of openai usage, given that he is inside them. I suspect it is far more likely to be fake data [1] that exercises the graph library in a visually satisfying way. Notice that it has no usage for a 'week' after April 15 (a Wednesday), but picks up a bunch later. As marketing copy it needn't have any basis in reality [2]. I should hope openai would put a procedure in front of their entrepreneur acquisition that prevents accidentally exposing trade secrets [3].

[1] https://github.com/faker-js/faker

[2] https://www.reddit.com/r/proceduralgeneration/comments/lf2n4...

[3] https://tvtropes.org/pmwiki/pmwiki.php/Main/PostingWhatYouSh...

I don't have anything to say about quasicrystals, other than it seems right up this blog's alley, as the other most recent articles are about math and materials (like feldspars [0]).

[0] https://www.explainxkcd.com/wiki/index.php/2501:_Average_Fam...

[0] https://en.wikipedia.org/wiki/Joe_Armstrong_(programmer) Joe Armstrong, of Erlang fame, so his blog posts have been discussed in the past.

[1] https://ntdotdev.wordpress.com/2023/01/01/state-of-the-windo...

I find this a helpful example. When I've heard the unix philosophy in the past, I didn't feel super convinced. Like, sure tar can do one thing, because it is a library (ignore that it can use gzip). But, where do you draw the line with a program like gnucash (financial tracking software) ? The core of the domain will involve keeping a ledger of transactions and converting them to relevant units. But, typing credit card charges in by hand is tedious [2], the kind of tedious that a computer should be good at. I would much rather that the program connect to my bank [3], to get the transactions directly.

[2] https://utcc.utoronto.ca/~cks/space/blog/sysadmin/Inventorie...

[3] https://beanhub.io/blog/2024/06/24/introduction-of-beanhub-c...

[0] https://www.nature.com/articles/s41598-022-19248-8

I sometimes think about the selection pressures that lead to complex life cycles, like fig wasps. I find myself thinking about it naively, like one existed and the other grew into the niche. But, realistically, everything is changing (slowly) all the time. I just notice it for, say, influenza because their cycle time is so short.

[0] https://www.monperrus.net/martin/store-data-paper

[1] https://ronja.twibright.com/optar/

[0] https://www.youtube.com/watch?v=UDZ78RbAdxU 11 minutes

In fairness to this post, they probably posted as much as they could get easily and consistently. I feel like the same situation reigns for country history in book shops. When I go to a used book store in Queens, New York, I'm not apt to find any books about Jaipur, India. But, if I were to go to Mumbai, India, I could probably find something. So, maybe we should prevail upon or sponsor people in Africa to volunteer their lists.

[0] https://www.payphone-project.com/numbers/usa/ going through the state map feature only shows a subset compared to navigating through the links on this page.

[0] https://sammyjankis.com/

In this case, I think that 100$ as a starting budget (while probably appropriate for the initiating person) is not enough for a substantive business. I guess the server that runs the LLM is a subsidized asset, so this situation doesn't require renting one. I guess, as a hypothetical LLM, I could try to sell customized fan fiction to fetish communities. Most of the mainstream LLM hosts reputedly have guardrails to discourage such output. On the other hand, selling in those communities largely requires trust [1], but that might take time that this scenario doesn't permit.

[1] https://www.youtube.com/watch?v=emdki5B_O7Q . (60+ minute video by Matthew Colville largely directed at fledgling authors)