cmrx64

7 ms·

1.
by cmrx64 12d ago
type “shai next-token” and then “transformers learn shortcuts to automata” into arxiv and prepare to be blown away
2.
by cmrx64 14d ago
I was deeply influenced by encountering your work at the time I did, thank you and keep it up :) great to see you on HN
3.
by cmrx64 19d ago
The candycodes mentioned at the end of the article are absolutely brilliant as well. These products have extremely intimate relations with bodies and protecting that chain can avoid a lot of harm.
4.
by cmrx64 26d ago
they recently made some changes from their v0 API to this new v1 with a more complicated model
5.
by cmrx64 28d ago
we should call out effortless hunters too, you cast more asperity with your folly than you find truth. try pangram next time, but I do want to say that you aren’t OK.
6.
by cmrx64 1mo ago
these tools are for manipulating and retrieving and transforming sequences of context. using it as a knowledgebase is just expecting the wrong thing.
7.
by cmrx64 2mo ago
i consider it the root menu of the phone
8.
by cmrx64 3mo ago
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
9.
by cmrx64 4mo ago
it is unlikely that other mosquitos (that don’t carry disease) will fail to fill the niche
10.
Show HN: CakeML-based self-verifying, self-improving system(emberian.github.io)
4 points by cmrx64 4mo ago|0 comments
11.
by cmrx64 4mo ago
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.
12.
by cmrx64 4mo ago
The Electronic Harpsichord, same year. must have been an interesting time.
13.
by cmrx64 5mo ago
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/ap
14.
by cmrx64 5mo ago
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
15.
by cmrx64 5mo ago
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 a
16.
by cmrx64 5mo ago
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 overle
17.
by cmrx64 5mo ago
claude-opus-4-7
18.
by cmrx64 5mo ago
it used to do this naturally sometimes , quite often in my runtime debugging.
19.
by cmrx64 5mo ago
Dijkstra would shake his head at our folly.
20.
by cmrx64 5mo ago
quite interested; email in bio.
21.
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.
22.
by cmrx64 6mo 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).
23.
by cmrx64 7mo ago
meh. i’ll keep using scrapinghub.
24.
by cmrx64 7mo ago
https://hellas.ai is building out their category theoretic compiler and protocol for solving this issue
25.
by cmrx64 7mo ago
RIP
26.
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
27.
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 :(
28.
by cmrx64 8mo ago
this feels a bit like a bombshell given the other recent works on emergent misalignment. how long have we been lying to models?
29.
by cmrx64 8mo ago
What tasks are in your sights for evaluating the approach? is there anything you are most excited/curious to see the approach demonstrate?
30.
by cmrx64 8mo 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.

More ›