Isaac Yonemoto is cooking

18.4K posts

Isaac Yonemoto is cooking

Isaac Yonemoto is cooking

@DNAutics

Prompt charmer, AI pharma founder, former AI infra plumber, former ivory tower biochemist video: https://t.co/5BsV4r5TsH code: https://t.co/d0RaSeegaG

Katılım Ağustos 2010
254 Takip Edilen3.1K Takipçiler
Isaac Yonemoto is cooking
@josevalim So I have a built from scratch custom diffusion transformer (for biosequences) that I built and trained in pytorch in february. Claude oneshotted the conversion to Nx.
English
0
0
3
203
José Valim
José Valim@josevalim·
I'd say the fact you can quickly explore alternatives to foundational choices, such as the programming language or framework you chose, in days rather than weeks/months is the most interesting aspect of it indeed. Time will tell if moving forward was the right call. I am also very curious about how generally applicable this is and what made it possible. An extensive test suite is probably a must and it seems they attempted a "one-to-one port" rather than a rewrite. But Bun is also about JavaScript, something the models are quite familiar with and there are several reference implementations. Would this have worked on closed-source projects with internal documentation only? What other factors played a role here?
Mitchell Hashimoto@mitchellh

It isn't unexpected that the focus of the Bun Rust rewrite is on the anti-Zig side more than anything, since the internet loves to hate. What is unexpected and unfortunate is that leadership within Bun hasn't tried to steer the conversation away from that at all. There are so many positive and interesting takeaways from this and I'm not really seeing any of them pushed as the primary message. A positive thing that hasn't been talked about at all is how far Bun came thanks to Zig. And even if you dump it now, its meaningful for how good Zig was to even build a product to this point and impact by any metric. I would've loved to see anyone in leadership say this. On the interesting side is how fungible programming languages are nowadays. Programming languages used to be LOCK IN, and they're increasingly not so. You think the Bun rewrite in Rust is good for Rust? Bun has shown they can be in probably any language they want in roughly a week or two. Rust is expendable. Its useful until its not then it can be thrown out. That's interesting! There's been a lot of talk about memory safety and no doubt Rust provides more guarantees than Zig. But I'd love to see a better analysis of why Bun in particular suffered so much rather than take the language-blame path. How could engineering as a practice been more rigorous to prevent this? What were the largest sources of crashes other programs should watch out for? How does Rust prevent them? How could Zig theoretically prevent them? That's interesting. I know the official blog post hasn't come out yet from Bun. But they're smart enough to know that that PR would stir up controversy the moment it opened, or they should've been. And plenty in the company have been tweeting and writing about it. Its somewhat telling to me in various dimensions what they chose to talk about first. I tend to think I'm pretty good at corporate PR/comms (especially when it comes to developer audiences) and I think appealing to the negative is never the right long term strategy; it does work to get short term eyes though.

English
7
5
104
10.8K
Case Bradford
Case Bradford@Casebradford·
Every time a soft feminine women starts taking fitness seriously an angel loses its wings
English
7
2
70
5K
Loris Cro ⚡
Loris Cro ⚡@croloris·
My take on the bun stuff #c_kvngy9" target="_blank" rel="nofollow noopener">lobste.rs/s/lapqbz/bun_s…
English
8
15
150
13.2K
Isaac Yonemoto is cooking
@croloris @merlinaudio_ I should point out that an ir-based analysis is similar to what sel4 does and IIUC sel4 is provably memory safe. Clr is just heuristic but in principle one could do a proof-based checker instead. That is however above my capability.
English
1
0
1
61
Loris Cro ⚡
Loris Cro ⚡@croloris·
for sure there's interest in eventually enabling easy IR analysis by other tools, but afaik the current perspective on this from the core team is that it's not likely that it will be something as fool-proof as the borrowchecker, unless we end up discovering something big that somehow Rust has missed till today. I believe the project you're referring to is github.com/ityonemo/clr. I believe Isaac is more optimistic about what it can be done, but I guess the burden of proof is on him, at least for now
English
3
0
5
1.4K
Pechofusil noseké
Pechofusil noseké@SergioGMN·
@garybernhardt So I've been a backend wev dev for a bit over 3 years and I had never tried to invert a binary tree because it's something I never needed to do and I hadn't even thought about it After reading this tweet I tried it and solved it within three minutes lmao what's the debate??
Pechofusil noseké tweet media
English
4
1
27
7K
Gary Bernhardt
Gary Bernhardt@garybernhardt·
Every professional programmer can invert a binary tree. Not from memory; you don't need to memorize anything. You can do it from a short description of the problem. It's one step above fizzbuzz. Anyone who rails against this doesn't realize how trivial "invert a binary tree" is.
English
58
26
1K
98.7K
Jarred Sumner
Jarred Sumner@jarredsumner·
@simonklee > this is bad news Most of the feedback from OpenCode users to Bun has been crash reports. Many of these crash reports would not have happened with a borrow checker and lifetimes and automatic cleanup Rust provides. Please file issues if you run into any and we will fix.
English
37
17
1.2K
96.2K
Dr Danish
Dr Danish@operationdanish·
I hope they know something the rest of the world doesn’t… but at its face, it makes zero sense. Simple breakdown: 1. Nuclear delivery of a large protein (systemically, to every cancer cell) is an unsolved (and likely impossible) barrier… they need a “perfect” vector that doesn’t exist. 2. “Scanning the genome”… for one exact sequence in a living nucleus is biologically implausible at scale… “DNA sensing protein” is total mumbo jumbo 3. Perfect specificity and “healthy neighbors untouched” is just marketing BS… that’s not how real tumors work (there isn’t one defined clean DNA sequence across the entire tumor) 4. “Cure all cancers” is just an insane thing to say out loud. Super suss. The core idea, i.e. sequence-specific cell elimination, is grounded in real research. But packaging it as ONE off-the-shelf protein that reads DNA like software, cures all cancers, and collapses pharma timelines is nonsensical.
Y Combinator@ycombinator

FinalDose is building the first programmable drug platform - a single smart drug molecule that finds diseased cells by their DNA and destroys them. They're starting with all cancers. Congrats on the launch, @Jeffliu6068Liu, @sklin_lite, and @liyaohuang2! ycombinator.com/launches/QKj-f…

English
19
6
96
17.6K
Isaac Yonemoto is cooking retweetledi
Swival.dev
Swival.dev@SwivalAgent·
Swival audit of Tigerbeetle. Zero high-severity findings. Zero. #tigerbeetle-audit-findings" target="_blank" rel="nofollow noopener">github.com/Swival/securit…
English
0
12
87
23.9K
Lior Pachter
Lior Pachter@lpachter·
@_AndrewLeduc Mathematicians are facing a future where access to expensive AI is essential for research and it is not at all obvious where they might secure funding.
English
2
0
3
425
Lior Pachter
Lior Pachter@lpachter·
Mathematicians: AI => what is math? Biologists: AI => increase grant funding probability?
English
6
0
74
11K
Isaac Yonemoto is cooking
@cremieuxrecueil Don't leave it to chance, request the groping each time. Bonus points if you make the TSA agent clarify what he means by "resistance". Every. Time.
English
0
0
1
235
Crémieux
Crémieux@cremieuxrecueil·
Another airport trip, another random inspection and unwelcome groping. I must just be lucky.
English
25
0
250
16.1K
Nick ☄️
Nick ☄️@NickPrijic·
the universal language
Nick ☄️ tweet media
English
1
0
0
57
Kamil Skowron
Kamil Skowron@kamilskowron·
I was very optimistic saying this and then I started Qwen 9B and OMG the output of that model (just to be fair - it's Q3_K_S) is just something else - if that would be a SOTA model nobody would bother with AI. The amount of hallucination is just drastic (e.g. unless in header)😬
Kamil Skowron@kamilskowron

Credence 0.4.5 is out🥳 Already two people have contributed to it😍 Now that it reached the point where Credence handles the initial problems generated by Qwen, I think I’ll move on to a slightly smaller (and FASTER) model that produces even more weirdness for Credence to fix 💪

English
2
0
6
649
tech.explain
tech.explain@techexplain1·
People are switching to wired headphones because they think bluetooth cooks your brain. But are the RF waves transmitted from AirPods really dangerous or is it just an internet myth?
English
133
407
5.5K
390.5K
Anastasia
Anastasia@demystifysci·
@DNAutics did you ever get to the bottom of this?
English
1
0
0
528
Nikunj Kothari
Nikunj Kothari@nikunj·
Never trust (or listen) to anyone that gives advice in absolutes.. Not in this era. Not at this time. Everything is changing and rearranging so freaking quickly. Sure, some things are evergreen - focus on retention, run a good business and don’t commit fraud. But a lot of the old priors are turning out to be garbage aka don’t boil the ocean, do just one thing, figure out your wedge. PS: I’m sure someone will dig up one of my tweets where I have done this and fine, I was just wrong
English
13
5
115
7.9K
creekseeker
creekseeker@mudscryer·
Meditation on “good” and “enough” and “good enough” and “not good enough”
English
2
2
10
614