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
255 Takip Edilen3.1K Takipçiler
cora
cora@paging_cora·
@goblinodds yesssss i can finally post this
English
2
1
11
944
2HP goblin advisor
2HP goblin advisor@goblinodds·
grateful for all the vegans creating demand to push vegan food tech foward so i can have tasty treats
2HP goblin advisor tweet media
English
5
1
37
1.1K
Simone Syed
Simone Syed@SimoneSyed·
Start we swiftly with steeds unsaddled
English
5
6
61
3.9K
creekseeker
creekseeker@mudscryer·
@DNAutics @josiezayner I will say I miss the dozens of varieties of stone fruits at berkeley bowl every year and trying them all one by one as they come into season
English
1
0
0
26
creekseeker
creekseeker@mudscryer·
@josiezayner The beef is worse but the produce is better because of the Central Valley
English
2
0
11
5.6K
ً‏ Lera
ً‏ Lera@amorphousandro·
living things are the only things that haven't been engineered
English
1
0
1
38
Isaac Yonemoto is cooking
@keccers I was cleaning up trash while on a dog walk and found two unopened modelos that some asshole littered. There is affordable beer for all who look
English
0
0
0
8
imoimo
imoimo@imoimo______·
No I don’t want to date my mother, just someone with a suspicious number of similarities to her
English
2
0
31
675
Isaac Yonemoto is cooking
did I just have claude rewrite smith-waterman algorithm from python to javascript to zig to embed in a vue.js component? Yes i did.
English
0
0
4
217
Ben
Ben@BenShindel·
The weight of one lab mouse is the same as the weight of the maple syrup I add to my coffee every morning.
English
1
0
2
190
M. Yahia
M. Yahia@maddada·
@ThePrimeagen It's a great move IMO because they can now focus on fixing issues without worrying about crashes as much as before. It's going to be in Alpha for a while but they have infinite tokens to throw at the issue and Jared is behind this so you best believe it's going to be a win soon.
English
2
0
1
1.7K
ThePrimeagen
ThePrimeagen@ThePrimeagen·
the result of bun zig -> rust
English
87
0
194
54.7K
LaurieWired
LaurieWired@lauriewired·
I think they do, but you have to prompt them deeper to make them actually think things through. for example, the other day I caught one passing a primitive by const ref and I was like why are you doing that. It could explain why it was stupid to do once I asked, but by default it just spit out code without thinking
English
24
0
199
14.3K
difficultyang
difficultyang@difficultyang·
Do LLMs truly understand C++ ownership rules or have they simply memorized enough examples to present a simulacra of understanding
English
34
3
156
27K
Isaac Yonemoto is cooking
@lauriewired I'm in favor of custom LLMs for each PL with table stakes being their own keywords are tokens. I'm holding out hope for byte-latent transformers =D
English
1
0
4
213
LaurieWired
LaurieWired@lauriewired·
@DNAutics that's true, but in the most absurd scenario "distance_to_target" would get closer and closer to it's own rare token (or at least, a shorter combination of tokens)
English
1
0
14
1.6K
LaurieWired
LaurieWired@lauriewired·
this got me thinking, what’s the most token-dense programming language? One that could fit the most program flow into the smallest context window? The winner, by a lot, is Array-Based Languages. J, K, that sort of thing. It’s actually a two-part problem, because you need something that is logically dense (saves length), but symbolically simple. Most tokenizers are optimized for standard text, so if you get *too* fancy with rare mathematical symbols like APL, token usage actually blows up! Python scores pretty well actually, but whitespace hurts you a bit. Haskell is an interesting outlier; it’s likely the most token-efficient statically typed language. Now, if you were to extend the problem assuming you’re making your own tokenizer and training a model to *specifically* be as efficient with program writing as possible… …you probably wouldn’t even use text. Just train/produce Abstract-Syntax-Trees directly, which would eventually start to look like compiler IRs / bytecode, which could eventually start looking like an ISA… and with hardware/software co-design we’d end up with CPUs where we don’t understand the execution at all ;)
LaurieWired tweet mediaLaurieWired tweet media
snwy@snwy_me

if it still looks like a language for humans then it isn’t enough of a language for agents

English
85
88
1.3K
94.6K
Lee Penkman
Lee Penkman@LeeLeepenkman·
oof. i mostly just dont enjoy it vs go because i find llms go aroudn in circles a lot yea trying to understand it or yea have had these deprecations like takes llm coding agents ages to iterate on updating the versions for yea reasons what you said... lots of kind of naming changes and such that take a long time for me or AI to fix. go seems to just work with agents much faster
English
1
0
0
86
Forrest Knight
Forrest Knight@ForrestPKnight·
Most of the Zig "hate" I've seen is just fun n' games. But even so, having an anti-Zig stance is completely understandable. - still in beta after 10 years, unstable - break code almost every release (wonder if they'll rewrite I/O again, again) - anti-ai policy regardless of code quality - good PRs blocked due to that policy - moving off GitHub with a holier-than-thou attitude... while the engineering reasons were understandable, the political bookending was nonsense - call GitHub engineers monkeys and losers then backtrack when you receive backlash - their whole comptime duck typing thing is rough. no traits, no interfaces, errors buried in generic bodies. good luck to ya. Zig's largest user has to fork Zig to ship at a reasonable pace, and when they try to push a change with 4x faster debug compilation, Zig doesn't accept it. So let's not pretend the Zig "hate" is unwarranted. There are plenty of reasons for it.
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
54
23
568
75.5K
Isaac Yonemoto is cooking
@jakespvk @ForrestPKnight I don't understand where people get the idea that Zig rejects ai for coding. Here's a thing you should consider: if a language optimizes to make it easier for a human to understand, it also optimizes to make it easier for AI to understand.
English
0
0
0
10
Jake Spievak
Jake Spievak@jakespvk·
@ForrestPKnight …did not seem like people you’d want to align yourself with. There are plenty of people still rejecting AI for coding, and Zig seems to simply want to align itself with those types of people. I see no harm in that. The harm seems to come from people spreading the (oops, 3/4)
English
2
0
2
141