cmrx64

6 ms·

31.
by cmrx64 6mo ago
it used to do this naturally sometimes , quite often in my runtime debugging.
32.
by cmrx64 6mo ago
Dijkstra would shake his head at our folly.
33.
by cmrx64 6mo ago
quite interested; email in bio.
34.
by cmrx64 6mo ago
Those offices themselves were liminal (in sense of ritual) in a way, providing the threshold for the information age to take root.
35.
by cmrx64 7mo ago
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).
36.
by cmrx64 7mo ago
meh. i’ll keep using scrapinghub.
37.
by cmrx64 8mo ago
https://hellas.ai is building out their category theoretic compiler and protocol for solving this issue
38.
by cmrx64 8mo ago
RIP
39.
by cmrx64 8mo ago
aodv works great and is “actual mesh.” the ‘overlays’ scale in practice and are topology agnostic, the hierarchical bgp mesh underneath isn’t altering the message or memory complexity, we can talk about them as algorithms. there are 10ks no
40.
by cmrx64 8mo ago
this isn’t a theorem of network science, and is an easily avoided failure mode. plumtree? kad? aodv? you’re wrong :(
41.
by cmrx64 9mo ago
this feels a bit like a bombshell given the other recent works on emergent misalignment. how long have we been lying to models?
42.
by cmrx64 9mo ago
What tasks are in your sights for evaluating the approach? is there anything you are most excited/curious to see the approach demonstrate?
43.
by cmrx64 9mo ago
Contrariwise, I was part of the troupe of people that daily picked up these bags along walking trails. One of the few benefits of living in the USA: covert prosocial behavior is extremely common.
44.
by cmrx64 9mo ago
smell isn’t integrated in the thalamus with other sensory streams, it does something else entirely
45.
by cmrx64 9mo ago
A decade ago I ran several “seven hour roguelikes”, https://web.archive.org/web/20160321153532/http://people.cla... is the documentation from the first one. The first year I spent six hours writing one o
46.
by cmrx64 9mo ago
List.TFAE is a helper definition and it’s invoked on a funny looking term when translated directly into english. I don’t know what I think, yeah it’s kinda junky but not in the way that 57 \mem 100 in a set encoding of the naturals. t
47.
by cmrx64 9mo ago
the binary expansion of 7 has three elements (you will find them at indexes Fin 0, Fin 1, and Fin 2) and the proof is of their equality.
48.
by cmrx64 9mo ago
the last paragraphs cite why junk theorems are objectionable but then fully misinterprets it to draw the opposite conclusion. the intersection is the S-feature and problematic. 1 + 2 = 4 is a “theorem beyond T” expressed in T theory. don’t
49.
by cmrx64 9mo ago
rtld does a lot of work even in “static” binaries to rewrite relocations even in “unused parts” of any PIE (which should be all of them today) and most binaries need full dyld anyway.
50.
by cmrx64 9mo ago
That would deliver a blow to the integrity of the rest of that section because those sorts of upper bound constraints immediately reducible to “true” cannot cause backtracking of any kind.
51.
by cmrx64 9mo ago
https://ember.dev ’s deeper pages (not the blog, but the “resumelike” project pages) was written by claude with guidance and a substantial corpus of my own writing and i still couldn’t squash out all the GPTisms in the generatio
52.
by cmrx64 10mo ago
whois (delegation files) according to the embedded blog post, eg https://ftp.arin.net/pub/stats/arin/delegated-arin-extended-...
53.
by cmrx64 10mo ago
semanticscholar is a better one stop shop than arxiv
54.
by cmrx64 10mo ago
Location: Somerville MA Remote: yes Relocate: No Technologies: embedded, formal methods, rust, linux Site: https://ember.dev
55.
by cmrx64 11mo ago
what… argument? anyway, pretty sure larry is quite fluent with how mathematics is done.
56.
by cmrx64 11mo ago
there has to be a better name for information flow security policy checking than taint tracking
57.
by cmrx64 1y ago
it revealed I am comparatively insensitive to Ritalin and guided ADHD medication choices
58.
by cmrx64 1y ago
(it’s from 2017)
59.
by cmrx64 1y ago
it’s more properly just software archaeology; recovering design intent from artifacts https://en.m.wikipedia.org/wiki/Software_archaeology
60.
by cmrx64 1y ago
This issue seems hallucinated. In the real world we just update our proofs. https://sos-vo.org/node/69931

More ›