Nzen

Joined 13 years ago

Karma
642
Submissions
395
Member since
Apr 8
[ my public key: https://keybase.io/nzen; my proof: https://keybase.io/nzen/sigs/4YyM0m5ftoOP6qolFM4CGKwtsDF8dHGziRN_JqGbjTA ]

If you want to contact me, my email is in the footer of my website, which you can access from that keybase link.

View on Hacker News

Recent submissions

Comment · 4 days ago
Popular works regularly mine the (public domain) past. Disney animated movies like Cinderella did so. Seth Grahame-Smith did so with Pride and Prejudice and Zombies. and so on. That is literally the benefit of copyright expiration, that other people can utilize and transform a published work.
Comment · 4 days ago
Comment · 10 days ago
Comment · 1 month ago
Comment · 1 month ago
I think that you've missed the reference [0] implicit in kelseyfrog's response. Or am I missing some reference about how japanese gardens are germaine to AI/LLM/covert-discussion ?

[0] https://iep.utm.edu/chinese-room-argument/ tl;dr a thought experiment about a non-chinese-reading person translating chinese texts solely by using proscribed rules, intended to highlight whether the translator develops some sort of understanding

Comment · 1 month ago
Comment · 2 months ago
On the clean hand, are the trustworthy tools there for me to plunge out a big poop or wipe a bit of overspray ? I sometimes see a plunger, but don't ever bring rubber gloves and a roll of paper towel that would make me feel comfortable cleaning up a nasty toilet.

On the dirty hand, I used to see (evidence that) someone clog(ged) a one of the toilets in an office building that I shared with lawyers, once a month or so. I developed a head canon that this person acted out their dissatisfaction with the lawyer or counterparty on the rest of the building.

Comment · 2 months ago
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 Collatz Conjecture [0]. It sounds like Kumar or someone extended the Lean software to postulate that a certain style of proof is true and Kumar's larger proof hallucinated a class of numbers that enter a cycle in the Collatz sequence.

[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

Comment · 2 months ago
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, there was a mob around the (quite small) painting of people who - like me - came to finally see what we'd already seen dozens of times before. This post ends on the idea that celebrity is not always a measure of quality, given that many great works existed (and exist) without the marketing to vault them into larger social awareness.
Comment · 3 months ago
Comment · 3 months ago
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 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.

Comment · 3 months ago
Comment · 3 months ago
Comment · 4 months ago

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton