Joined October 2010
Me before t3 code orchestrator PS I actually have a script for that ofc :)
9
Yeeeiii It's about time!
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.
1
356
That hits hard because it's true 🤷
American VC caught bullying EU founder
79
🤯 finally
Today, we open sourced Mojo 🔥. Announced just now during the ModCon keynote, effective immediately, Apache 2.0 License. Thank you to our community for waiting patiently and building alongside us. #ModCon2026 Full blog: modular.com/blog/mojo-open-s…
1
41
Memory cost and capacity are significant issues for AI accelerators. Unlike game rendering, model inference can have a deterministic memory access pattern. You don’t need “random access memory” at all for model weights, and you could tolerate cold-start latencies in the multiple milliseconds, as long as continuous reads were delivered at the necessary bandwidth. NAND flash is over 100 times cheaper per GB than HBM, so there should be opportunity there, even after giving a flash controller a 1024 bit interface with HBM bandwidth. You could make a specialized pin protocol that just supported pipelined transfer of full 16KB+ pages from the flash to program-managed accelerator scratchpad memory and improve per-pin performance over HBM, but it might be more convenient to make it still look like a true random access memory with very fragile performance characteristics, where anything but sequential reads falls off a 1000x+ performance cliff. That has the advantage of automatically using existing cache hierarchies, and providing a natural path to update the flash memory with new model weights. With the stream-to-scratch interface, code has to be completely rewritten before it works at all, while the ram-emulation interface will start off just extremely slow, and you can incrementally sort out the changes for full performance. There may be cases where there isn’t enough scratchpad SRAM to hold the weights for a layer, which might force you to deploy the old optical drive optimization technique of duplicating data in multiple places on a sequential read to avoid seeking, but there would be capacity to burn. It might be possible to do something like cuda graph capture to record a memory access trace and have everything magically remapped to a linear sequence, but deploying programmer / agent elbow grease to manage transfers and access in a scratch ram ring buffer would be lower risk. A split memory system consisting of some channels of flash and some channels of HBM will probably be suboptimal compared to a uniform memory, but it could be much cheaper, and allow much larger models to be run. I think th case is strong for inference, but you have to stretch more for training. You can still linearize all the weight memory accesses, both reads and writes, but flash memory would quickly wear out from the writes, even if they were all perfectly page aligned. Replacing low-latency HBM with massively parallel cheap(er) DRAM at high latency might still be a worthwhile cost savings.
294
484
151
7,262
1,705,958
Sergei B. retweeted
Dario is wrong. He knows absolutely nothing about the effects of technological revolutions on the labor market. Don't listen to him, Sam, Yoshua, Geoff, or me on this topic. Listen to economists who have spent their career studying this, like @Ph_Aghion , @erikbryn , @DAcemogluMIT , @amcafee , @davidautor
Anthropic CEO Dario Amodei: “50% of all tech jobs, entry-level lawyers, consultants, and finance professionals will be completely wiped out within 1–5 years.”
1,191
2,692
491
21,007
4,113,437
Yeap! It's better to open your filesystem with @zeddotdev than in the default native file explorer. @Apple what's your excuse?
69
It appears it’s not that hard to keep your brain plastic: • Daily multivitamin • 1–2 egg yolks (choline; fish works too) • Blueberries (fresh, frozen, or powder) • Regular cardio at ~60–70% of max heart rate Small habits. Big impact on brain aging. 🧠
64
🔥 We’ve raised $6 million in investments 🏆 Organized one of the largest tournaments in Web3 gaming history — with unprecedented results Popit Games with the $500,000+ Prize Pool 10,000 winners claimed their share of $500,000 💎 🤝 We’ve already distributed 32,302 Cores and 867,955,440 Boosts worth over $400,000 directly to users 🎁 In addition, 5,000 users received 90,000 extra Boosts for completing the tournament task Let’s continue to grow together. Intellectually Numerically, and with excitement for the things to come. #AckiNacki
27
32
3
93
4,528
I don't understand the hype around brave especially after what happened in the past...
Browsers war (Ultimate Brave Ad)
1
121
There's a more general statement: If your language+ecosystem is worse than Erlang+OTP (built almost 40 years ago) it's not worth using it... And I'm not saying that Erlang is somehow perfect. It's not. Erlang/OTP is the baseline which you are not allowed to cross.
> forces you to write more boilerplate than the actual logic > claims to be fast, losses in all the benchmarks to OCaml which doesn't care at all > the most stupid and naive GC > you making fun of is-even packages and then seriously install is-true > core team was not able to came up with generics for 10 years (FOR SIMPLICITY) > std is so dumb that includes http router but doesn't include asserts > Rob Pike thinks you're too stupid for while loops > STOP WORLS every 20 seconds even if you didn't allocate a byte > Claims to be strong typed language but contains typescript style any type (empty interface) > null pointer exceptions but we call them "nil pointer dereference" The language is designed by rob pikes for rob pikes
76
That's what happened when you don't have a standart for a protocol...
why lord why ? this is like a bad remake of a avg film
56
So basically, you can spend 1M$ on AWS without even need to click a button 🤣 ?Convenient?
GitHub Copilot for Azure is now Generally Available 🎉 Now with Agent Mode, you can provision, manage, and deploy your Azure projects. All within VS Code! Read the full post: aka.ms/AAwt9bh
1
43
shadcn-dioxus? 👀 first party primitive ui components coming in dioxus 0.7
15
26
3
379
12,457
I’m happy that even debug builds in Rust can compete relative to Go. Imagine what we can do with all the optimizations on 😁
This Post is from a suspended account. Learn more
2
70
Unfortunately, my Internet provider (TSSRB - Telekom Srbija, AS8400) does NOT implement BGP safely. Check out isbgpsafeyet.com to see if your ISP implements BGP in a safe way or if it leaves the Internet vulnerable to malicious route hijacks 🤷
1
44
The Pope landed his gig in a single day, while software devs are stuck clawing through seven interview rounds, leetcode nightmares, and a personality test just to get ghosted. That companies dragging their HR like this are sailing their business straight to Davy Jones’ locker 🏴‍☠️
1
47
🎙️ Speaker drop! @awnion , Senior Software Engineer at gosh.sh with 10 years of Rust experience and active ETH Belgrade community member, is joining us at Rust Summit 🦀 #RustSummit #RustLang @belgradebw
4
10
465
🎟️ We’re giving away 3 Rust Summit tickets! Like + RT the main post to enter Winners announced on May 20
1
7
209
We're at @belgradebw this year! 🇷🇸 Co-hosting two banger events: 🪩 June 4 – Solana Rave w/ @JupiterExchange & @BlockformerLLC  🦀 June 5 – @rust_summit for all Rust & Web3 builders (ticket giveaway 👇) All info via Linktree in our bio 🔗
3
7
31
672