prev: research @mirana | @MIT BS Physics// @Stanford Phd Sys Bio | interested in all things ai, zk | opinions my own

Infinite Garden
Joined April 2019
Pinned Tweet
You need to be harness-maxing, spawning 5 subagents to specify a PRD into 100-200 individual sub-features with full XML dependency graph and full Contract specification for each system component. Spawn 3 orchestrator agents minimum and have them each manage 10 subagents to implement the individual features. Each subagent's feature implementation must be linted, have its own test coverage, and pass the existing test suite. It's commit message must also pass a regex filter. Each subagents finished work product is reviewed by at least two other subagents. Each orchestrator agent operates with ruthless efficiency, assigning subagents to review work, implement new features based on the dependency tree, and merging results from other orchestrators and from One hyperviser agent oversees the entire protocol, eventually pushing the complete work product which spawns an agent to conduct partially discretionary end-to-end testing as a pre-commit hook. Three observation agents watch the entire machine transmute PRDs into code with ruthless, relentless efficiency. The monitor the jsonl logs for all agents and subagents, identifying optimizations and making hotfixes in command files and skill folders that are immediately incorporated into the next iteration. The entire system moves towards AGI by itself over time without requiring any improvement in the base LLM
5
10
2,339
been waiting for a way to trade OpenAI and Anthropic before they IPO well, IPO futures on both are live now AI revenue and model ranking markets too
The AI exchange is live. Trade the takeoff: mnx.fi
28
10
3
249
70,437
Ledger is investigating reports of loss of funds from users in South East Asia who purchased products from a reseller named CryptoBillis. As a precaution, and pending the results of our investigation, we have asked CryptoBilis to pause all sales and shipments of Ledger devices. We recommend Ledger users who purchased from this reseller in the last 90 days to not initiate set up if you have not done so yet. If you have set up your Ledger device, consider moving assets to a new Ledger signer (with new seed). We will continue to inform customers of updates as the investigation progresses. Reach out to Ledger customer support through official channels with any questions: support.ledger.com/
1,158
1,741
1,854
7,244
4,706,108
OpenAI withdraws some of the math paper that it published two days back.
9
15
7
112
22,152
I don't recommend anyone scramble to move their funds to new wallets today. But we should take the risks to cryptography from AI-accelerated math seriously, and minimize our exposure to not just quantum-vulnerable cryptography, but also potentially AI-vulnerable cryptography. The core new area of risk from this viewpoint is, unfortunately, ML-DSA / FHE / lattices. (and it's also another reason, along with quantum, why ECDSA might fall even faster than expected, hence the "fresh address" recommendation) So far most people have been in the mode of thinking "elliptic curves broken, hashes safe, lattices safe". But there is a good chance that the concrete security of lattices will take serious hits from the next two years of AI math. The basic threat model is: factoring is something that naively takes 2^(n/2) time, but over decades smart people have found and optimized number field sieves, and degraded that to 2^O(n^(1/3)), which is why RSA keys and signatures need to be ~400 bytes (and not 64 bytes). What if there are skeletons in the closet like that, both for elliptic curves and lattices, that we are simply not smart enough to discover - but bots soon will be? This is a major part of the reason why for the past year ethereum's lean roadmap has been going in the "hash-only" direction: no lattices, no ML-DSA, no Falcon, no lattice-based commitments inside ZK proofs, etc. Signatures in lean ethereum are all hash-based, either WOTS or SPHINCS-. For signatures and proofs, we already know how to go hash-only. The bigger challenge is for *public-key encryption* - and this goes far beyond blockchains. Secure communication, anonymizing protocols, lots of things need public-key encryption. And unfortunately there are long-standing mathematical theorems showing why public-key encryption cannot be done with hashes alone. You have to have some kind of trapdoor object that has at least one form of usable "structure" - either group theory (incl. isogenies) or lattices or code-based or potentially in the future even more newfangled and spooky things (local mixing?). But for anything that has structure, you should assume that AI will make at least some progress in breaking that structure. Here, one reasonable inference is that if you want to make something plausibly long-term secure, multiply the key sizes by 10. To me that's a very plausible world and something not at all extreme to predict. If AI will bring us 50 years of math in 2 years, then that 50 years of math may very plausibly include a "naive factoring -> GNFS" level of improvement to our ability to break lattices. In that world, lattices will still exist, but they will have to be significantly bigger to guarantee the same level of safety. And at those new larger sizes, hash-based constructions will beat lattice-based constructions on concrete efficiency in every use case where hash-based constructions are possible at all. Theoretically, of course it's possible that hashes are broken too (eg. P = NP would imply that). But I think P = NP is very unlikely. And intuitively, it's much more likely that a mathematical object has exactly no exploitable structure (like hashes are intended to), than that a mathematical object has exactly ~3 forms of exploitable structure (for elliptic curves: associativity, Schoof, pairings) and not some secret fourth form of structure we have not yet discovered that greatly degrades its security (for elliptic curves, ECDLP and pairing security). Similar for LWE, SVP, RLWE and the zoo of lattice problems. For this reason, we do not yet see any reason to worry and start padding the byte size of hashes (if we start to worry more, we would pad the round count first before doing anything to the byte size). Concrete TLDR, my own personal views: * Hash-based > lattice-based, in those situations where hash-based is possible at all * For anything lattice-based, be much more paranoid on param sizes. Remember that blockchains are only a small portion of the cryptography story; this point goes far beyond blockchains and applies to eg. access to websites, secure messaging, Tor / VPNs ... * For privacy protocols, strongly favor NOT putting encrypted notes onchain. Instead, send them offchain through some third-party mechanism. * If it's not difficult for you, keeping your funds in addresses which have not yet been used to make a transaction is a good idea. If it's easy for you, do it. **But be careful about migrations; I personally have lost more money in botched migrations than I have lost in all hacks combined**. * For multisig wallets, doing confirmations offchain is better than onchain, because this way the signatures of signer wallets do not get exposed to the public, so if ECDSA falls to AI much faster than expected, at least the multisig "gracefully degrades" to a 1-of-1 where the 1 is whoever was gathering the signatures - a much better place to be than "anyone can take the money" firefly.social/post/x/210783…
1,244
1,906
891
11,203
3,927,299
I asked Opus 5.5 to make an intro for my programming language. WTF is this?
Bend 2 is here! It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes. It is also very fast, and runs on GPUs. Watch the video. Link in the comments.
375
382
83
6,177
401,548
Claude - I cannot move cryptocurrency from one wallet to another. That is a hard rule even if you give me permission. What I can do is write a script which transfers the crypto and you can run it Me - ok run the script Claude - ok done
4
314
Watching AI struggle to turn my thought vomit into something useful makes it obvious how disorganized my internal monologue is
1
313
"We should try to be smart about it, but also test the dumb way just to make sure we don't overcomplicate it. But I don't think the dumb way will work, maybe a hybrid approach with a two factor model that falls back on a dumb solution when it determines the model doesn't work. What do you suggest as the plan"
238
Digging for treasure at my parents house
238
Fman retweeted
I work in CRISPR discovery research. This is one of the most exaggerated nothing-burgers ever and would be laughed out of the room if a human scientist attempted to publish something like this. (cont.)
This is wild. Claude just found something humans missed. It spotted a hidden repeat pattern in raw bacteriophage DNA… …and uncovered a previously unknown enzyme system in bacteriophages with CRISPR-like repeats. 🤯 950 agents. 21 hours. 210M tokens.
340
2,008
174
35,101
2,440,233
They microwaved my boy
191
I'm not really sure why sequence alignment constitutes a novel approach but keeping an open mind until I dig more into it tmw
Claude has discovered a previously unknown enzyme system hidden in the DNA of bacteriophages. Beside the enzyme’s gene sits a long array of repeating DNA—a structure that looks somewhat similar to CRISPR. We don’t yet understand what this system does, but only a handful of known systems share its features, and all of them are able to cut, copy, and paste DNA. Historically, the discovery of such programmable systems has helped revolutionize medicine. CRISPR, for instance, is now the foundation of genetic medicines. But it will take much more work to learn what this system does, and whether it can be put to similar use. Read more: anthropic.com/news/claude-di…
1
3
298
Fman retweeted
Introducing Claude Opus 5.5, the first model in our new Claude 5.5 family. It performs at the level of Claude Fable 5.1 for most tasks, and costs 40% less to run than Opus 5.
3,355
9,076
6,615
97,912
29,173,994
Codex reset usage limits on Friday but also deleted all my usage resets 🤨
4
416
Many are midcurving the fly simulations by saying it’s just a neural network in the shape of a flys brain. Not true The simulations are genuinely replicating fly behavior. Both brains and AI seem just be neural networks. Very different architectures, but same building blocks
17
40
3
238
58,397
Fman retweeted
congrats on being grandfathered into the permanent upper class
To make sure our current users have an incredible experience and continued access to Astra, we are going to pause subscriptions to our $200 Pro plan. These put the most strain on our systems and we wanted to take the smallest step that allows us to continue giving the broadest access possible. All other plans and the api remain available. There is no impact to existing accounts and we are working on adding more capacity as fast as we can. Thanks!
36
39
1
2,695
228,070
Fman retweeted
There is a rumor that Anthropic has discovered a non-invasive treatment to totally eradicate all cancers in humans, dogs and cats. It has a 100% success rate. They plan to announce it at their IPO. They are finalizing the final proofs and hope that no other competitor is capable of spending a bunch of compute and solve it before their finalized proof.
719
839
344
14,861
4,406,046
Pretty disappointing that the frontier labs have internal models they are using that are way more capable than their released models
3
307
Ah actually seems like there's some controversy around it
this is insane. Levent and Tristan make major independent progress towards Navier–Stokes, with help from Claude and Codex. word reaches OpenAI. days later, OpenAI claims internal NS results, coincidentally using the same novel methods as Levent and Tristan. Tristan asks if OpenAI trained on their private Codex sessions. he never gets an answer. then OpenAI pressures Tristan to publish without Levent because Levent works at Anthropic. when Tristan refuses, he says OpenAI threatens his career.
386
i see more people are starting to report that anthropic have solved multiple millennium prize problems. you heard it first from the strawberryman himself. sub for more juicy tidbits.
anthropic have solved some millennium problems. that is all.
29
20
575
35,987