Hacker News: cmrx64

New comment by cmrx64 in "Show HN: Maple-Preview – Ternary 20B MoE running at 120 tok/s on a iPhone"

cmrx64 — Wed, 05 Aug 2026 05:01:10 +0000

these tools are for manipulating and retrieving and transforming sequences of context. using it as a knowledgebase is just expecting the wrong thing.

New comment by cmrx64 in "Buried Apple feature turns an iPhone into the perfect kids' dumb phone"

cmrx64 — Thu, 09 Jul 2026 21:33:52 +0000

i consider it the root menu of the phone

New comment by cmrx64 in "The fall of the theorem economy"

cmrx64 — Thu, 02 Jul 2026 13:59:23 +0000

i got so inspired by reading diaspora this year that i instantly started working on some polisware. cipherclerk operational: https://github.com/emberian/dregg

topical to the conversation, it is fully formally verified in lean (with some UC security reductions done in isabelle). also did this in HOL4 inspired by some work i did with ramana kumar in 2016, on reflective self-verifying self-modifying systems: https://github.com/emberian/svenvs

New comment by cmrx64 in "Debug Project"

cmrx64 — Tue, 02 Jun 2026 00:17:55 +0000

it is unlikely that other mosquitos (that don’t carry disease) will fail to fill the niche

Show HN: CakeML-based self-verifying, self-improving system

cmrx64 — Sun, 31 May 2026 19:24:45 +0000

based on a conversation I had with Ramana Kumar in 2016.

Comments URL: https://news.ycombinator.com/item?id=48348834

Points: 4

# Comments: 0

New comment by cmrx64 in "Heritability of human life span is ~50% when heritability is redefined"

cmrx64 — Wed, 13 May 2026 18:15:16 +0000

thinking about how to communicate it in a clear way. “the control knobs of what actually makes us different from one another” — you don’t expect one of your kids to be quadripedal. otoh this doesn’t really capture the precise notion either.

New comment by cmrx64 in "Kraftwerk's radical 1976 track"

cmrx64 — Wed, 13 May 2026 00:05:30 +0000

The Electronic Harpsichord, same year. must have been an interesting time.

New comment by cmrx64 in "Usage-based pricing killing your vibe, here's how to roll your own local AI"

cmrx64 — Tue, 05 May 2026 01:04:46 +0000

LLM API endpoint does do compaction. OpenAI definitely does support serverside compaction, both explicit and automatic, and this is different than what could be implemented purely clientside: https://developers.openai.com/api/docs/guides/compaction (and there was rumors a few months ago on HN about how activation-preserving/latent it is, vs just summarization). Anthropic as well, in beta (new to me): https://platform.claude.com/docs/en/build-with-claude/compac...

New comment by cmrx64 in "America's Expanding Domestic Surveillance"

cmrx64 — Sat, 02 May 2026 18:39:26 +0000

and soon from space? radio engineering breakdown of starlink radar capabilities, it’s a pretty impressive bird if you were designing it only for that: https://youtu.be/jbp3kdJZ1_A

New comment by cmrx64 in "Air is full of DNA"

cmrx64 — Sun, 19 Apr 2026 08:19:25 +0000

four figures these days. fits in your hand. nanopore is a revolution. https://nanoporetech.com/products/sequence/minion

there’s youtubers that have videos about doing this in a home wetlab. very achievable. some amateur soil biologists using this to try and sample microdiversity as the planet… humanifies.

New comment by cmrx64 in "Claude Design"

cmrx64 — Fri, 17 Apr 2026 17:37:58 +0000

i think of them as tiers of expertise— need to master the basics of structure and form before the robot has the learned representations to competently model user interactions with more fluid instantiations (by downprojecting into the overlearned fixed-semantics)

New comment by cmrx64 in "Claude Opus 4.7"

cmrx64 — Thu, 16 Apr 2026 15:42:26 +0000

claude-opus-4-7

New comment by cmrx64 in "Claude Opus 4.7"

cmrx64 — Thu, 16 Apr 2026 15:39:53 +0000

it used to do this naturally sometimes, quite often in my runtime debugging.

New comment by cmrx64 in "Cybersecurity looks like proof of work now"

cmrx64 — Wed, 15 Apr 2026 21:29:21 +0000

Dijkstra would shake his head at our folly.

New comment by cmrx64 in "Single-Dose Creatine Reduces Sleep Deprivation-Induced Deterioration"

cmrx64 — Tue, 14 Apr 2026 22:58:08 +0000

quite interested; email in bio.

New comment by cmrx64 in "'Backrooms' and the Rise of the Institutional Gothic"

cmrx64 — Fri, 03 Apr 2026 02:12:00 +0000

Those offices themselves were liminal (in sense of ritual) in a way, providing the threshold for the information age to take root.

New comment by cmrx64 in "Node.js needs a virtual file system"

cmrx64 — Tue, 17 Mar 2026 23:21:58 +0000

this is a pretty bad vfs. there are pure “cap manifest” approaches that don’t pull in decades of cruft semantics. don’t build systems that aren’t objectstore native in 2025 (since this work was initiated in december).

New comment by cmrx64 in "Scrape Any Website with Spidra"

cmrx64 — Wed, 04 Mar 2026 15:35:30 +0000

meh. i’ll keep using scrapinghub.

New comment by cmrx64 in "How an inference provider can prove they're not serving a quantized model"

cmrx64 — Sat, 21 Feb 2026 21:45:56 +0000

https://hellas.ai is building out their category theoretic compiler and protocol for solving this issue

New comment by cmrx64 in "Tell HN: Ralph Giles has died (Xiph.org| Rust@Mozilla | Ghostscript)"

cmrx64 — Fri, 13 Feb 2026 19:11:50 +0000

RIP