Viewing profile — Nzen

Laurence Paulson laments a bug that fooled Ramana Kumar using both Lean proof system and the Nanoda (plugin ? library ?) into thinking that he found a counterexample to the famous …

This is a pretty short post observing that some art has achieved celebrity. Consider the Mona Lisa, you probably can imagine it just from the title. When I went to the Louvre, ther…

I am of the impression that the mission is defined by having the pin ball hit the places where the blue arrow points within a set amount of time. It's a bit of a shame that Microso…

Wikipedia is written by various people, but likely someone with interest in a given topic. One or more realtors probably wrote or edited this post. Actually, the history of edits s…

In 2022 [0], Jan David Nose (jdno) released a game / programming challenge called _Auto Traffic Control_ [1]. Rather than controlling airplanes with UI interactions, the simulation…

Thank you [0]. I searched and all I could find was Virgin Media's Daisy [1]. [0] https://en.wikipedia.org/wiki/Lenny_(chatbot) [1] https://news.virginmediao2.co.uk/o2-unveils-daisy…

It feels like this list, if it focuses on individual authors is - if successful - overwhelming in scope. There are, what, tens of thousands, hundreds of thousands of authors ? If 1…

I think that this is a plugin library for teams that want to offer a platform for the public (or an LLM-AI) to submit code to. If your team writes some code, you don't generally sa…

I don't know what an ovulatory cycle feels like; but, I trust Lindsay Doe's account [0] of how she feels across a given period. [0] https://www.youtube.com/watch?v=uLXxxHVOeec 11 m…

If I am to believe the creator of the _History in Taberna_ youtube channel, communal beds were a medieval to early modern practice in inns [0]. [0] https://youtu.be/5IPQIl-FiCY?si=…

tl;dr Peter Steinberger shared a product demo for CodexBar [0] with a graph of OpenAI token usage. This graph shows one million spent, prefers gpt-5.5 and spent twenty thousand tod…

tl;dr Quasicrystals are aperiodic structures. The author notes that the conditions for creating them are rare, given the need for instantaneous high temperature. They recount that …

tl;dr The author [0] describes a simple ticketing system that his very busy coworker, Peter Högfeldt, created in 1986. Basically, it checked in numbered files to their version cont…

tl;dr Eels have a long lifecycle with several stages. They do not develop sexual organs until late in their life, when they migrate back to the Saragossa Sea. This meant earlier au…

You could add an appendix with printed, scannable, binary data. You could create a page with a bunch of QR codes. Martin Monperrus vouched [0] for Twibright Optar [1]. [0] https://…

tl;dr This is a project page describing a small hand woven loom. Small, means a little wider than a palm and maybe half the length of a forearm (depending on which you buy). Basica…

I recommend listening to DJ Earworm's mashup of the top song across the world [0] to hear a greater variety of countries, albeit for this or last year. [0] https://www.youtube.com/…

It looks like Mark Thomas maintained a phone number database up until 2007 or 2023 for many areas in the USA. I guess that could be a basis for starting 'my own' instance of paypho…

This sounds a lot like Jason Rohrer's project with an LLM, Sammy Jankis [0]. There, the posts are generally about the continual deaths when the LLM's context window fills up. The p…

For targeting advertising expendatures at the site level. If most of my traffic, as revealed by referrer links, comes from social-media-platform-foo and only a little from social-m…

Did you expect some answer that decried world peace as impossible ? It's just repeating what people say [0] when asked the same question. That's all that a large language model can…

If you want to see examples of this in practice, I recommend reading Randall Monroe's Thing Explainer [0] or some simple wikipedia articles [1]. [0] https://xkcd.com/thing-explaine…

Could y'all point at instructions for how to imitate this limited internet situation ? I ask because, two years ago, I was able to circumvent the Windows-11-requires-internet-and-a…

Likewise. In fact, I was under the opposite impression because of the benefit that sulfur enriched shipping exhaust had for our climate [0]. It looks like these clouds are thinner …

My understanding is largely ten years old and high level and only for one kind of fully homomorphic encryption. Things have changed and there is more than one kind. I heard it desc…