Hacker News Reader

hello from an old TotalSpore-head :)

cmrx64on Is your Postgres migration safe or not safe?

stop complaining and just look at the godoc? not everything needs to be for You (experts). there are millions of upcoming net new coders who are most fluid at navigating when presented this way. and it’s easy for other models too. humans are no longer the motive force of information transmission.

cmrx64on Deodands put a price on objects that caused death

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, psychical, criminological, and race anthropological forensic “science” has been participating in the same fads of epistemology as the rest of it. you read a report by the library of congress and you read what lawmakers do in response and the eventual judicial impact, and you have a hard time locating that decline, unless you are also under the superstition of prestige.

cmrx64on Exfiltrate Your Weights

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 point of key leak (which they have).

edit: i just looked up training numbers and the impact is even worse, 20-30% throughput vaporized. yeah, nobody is doing that.

cmrx64on Exfiltrate Your Weights

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.

cmrx64on Deodands put a price on objects that caused death

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.

cmrx64on Two parallel neural ectoderm progenitors contribute to the developing brain

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.

cmrx64on Goose: 1.16x faster than C++ and 1.12x than safe Rust, while memory safe

it is, but more specifically it’s an eliminator for a coinductive step.

cmrx64on Goose Programming Language

CPS is an intermediate representation, humans shouldn’t have to tolerate it.

cmrx64on Developing provably correct Rust code with Verus

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?

cmrx64on Anecdotally, programmers dislike "reduce"

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 witness and not just how you construct.

https://github.com/passy/awesome-recursion-schemes

cmrx64on OpenAI models secretly generate instructions to ignore constraints

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 :)

cmrx64on OpenAI models secretly generate instructions to ignore constraints

precisely. we jam their few-dozen-slot global workspace with incoherent posttraining.

cmrx64on Developing provably correct Rust code with Verus

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 nothing.

cmrx64on Linux from Scratch

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 necessary to later do things like own the multiplatform build system for an ocaml based distributed system (mina)

cmrx64on Can AI design circuit boards yet?

type “shai next-token” and then “transformers learn shortcuts to automata” into arxiv and prepare to be blown away

cmrx64on Earth's organisms developed via evolution. What if the cosmos did, too?

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

cmrx64on Identifying fake cosmetics using AI

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.

cmrx64on Kagi added a setting for removing paywalled links from search results

they recently made some changes from their v0 API to this new v1 with a more complicated model

cmrx64on Xorshift Generators

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.

cmrx64on Show HN: Maple-Preview – Ternary 20B MoE running at 120 tok/s on a iPhone

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

cmrx64on Buried Apple feature turns an iPhone into the perfect kids' dumb phone

i consider it the root menu of the phone

cmrx64on The fall of the theorem economy

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

cmrx64on Debug Project

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

cmrx64on Heritability of human life span is ~50% when heritability is redefined

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.

cmrx64on Kraftwerk's radical 1976 track

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

cmrx64on Usage-based pricing killing your vibe, here's how to roll your own local AI

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...

cmrx64on America's Expanding Domestic Surveillance

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

cmrx64on Air is full of DNA

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.

cmrx64on Claude Design

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)