cmrx64

4 ms·

1.
by cmrx64 6d ago
and once again I question: what decline of superstition? expert- commission-worship and committee-worship, its own form of superstition, supplanted older forms of irrationalism but with no increase in actual purchase on reality. mesmerism,
2.
by cmrx64 6d ago
it takes half a percentage point off the top last time i evaluated it (nvidia). you might call that cheap but that’s millions of dollars in a run, and for what, protecting from who? especially when the platforms have been compromised to the
3.
by cmrx64 6d ago
I sincerely doubt anyone is paying the cost for that in training, the overhead is small but it isn’t negligible and training is when it matters most. https://tee.fail can solve it if they are.
4.
by cmrx64 6d ago
what decline of superstition? America in particular was writhing with religious revivals, cults, and new age movements to the present day. religious adherence spiked massively, spiritualism absolutely exploded after their civil war.
5.
by cmrx64 7d ago
https://learn.genetics.utah.edu/content/senses/eye/ at one point I learned that it would only take a few hundred thousand years to evolve an eye, and time felt much deeper.
6.
by cmrx64 8d ago
it is, but more specifically it’s an eliminator for a coinductive step.
7.
by cmrx64 8d ago
CPS is an intermediate representation, humans shouldn’t have to tolerate it.
8.
by cmrx64 8d ago
any of the quite many cost-aware logical frameworks. it’s SO. easy. to. do. you fools are just willfully ignorant on how to represent reasoning, despite alleging yourselves to be computer scientists?
9.
by cmrx64 9d ago
there are more interesting recursion schemes to traverse and aggregate with, but they are intricate to express without a powerful language and confuse small minds so aren’t worth often using. QI(I)Ts let you simultaneously declare how you w
10.
by cmrx64 9d ago
looking for any kind of testing or help? it’s been probably 10+ years since we were in the same irc channels (cmr/KB1PKL). email is in profile :)
11.
by cmrx64 9d ago
precisely. we jam their few-dozen-slot global workspace with incoherent posttraining.
12.
by cmrx64 9d ago
naive applications of this would lead you to believe no knowledge is possible, and that progress is not meaningful when liveness can’t be guaranteed. it’s all rubbish, grandparent is a small mind who can’t figure out how it’s a step up from
13.
by cmrx64 11d ago
I kept an LFS system going for a few months (on a wretchedly awful by modern standards celeron “net top”) until eventually making a mess I couldn’t figure out how to untangle during a system upgrade. this gave me the sheer force of will nec
14.
by cmrx64 21d ago
type “shai next-token” and then “transformers learn shortcuts to automata” into arxiv and prepare to be blown away
15.
by cmrx64 24d 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
16.
by cmrx64 28d 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.
17.
by cmrx64 1mo ago
they recently made some changes from their v0 API to this new v1 with a more complicated model
18.
by cmrx64 1mo 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.
19.
by cmrx64 2mo ago
these tools are for manipulating and retrieving and transforming sequences of context. using it as a knowledgebase is just expecting the wrong thing.
20.
by cmrx64 3mo ago
i consider it the root menu of the phone
21.
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
22.
by cmrx64 4mo ago
it is unlikely that other mosquitos (that don’t carry disease) will fail to fill the niche
23.
Show HN: CakeML-based self-verifying, self-improving system(emberian.github.io)
4 points by cmrx64 4mo ago|0 comments
24.
by cmrx64 5mo 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.
25.
by cmrx64 5mo ago
The Electronic Harpsichord, same year. must have been an interesting time.
26.
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
27.
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
28.
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
29.
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
30.
by cmrx64 5mo ago
claude-opus-4-7

More ›