
#Photographer ๐ธ #AI_engineer ๐ค #SouthKorea #Tesla #AI
Joined April 2024
- Tweets1.3K
- Following678
- Followers321
- Likes1.2K
We just added the ability to drag and drop and copy/paste files between devices on Rex. It's amazing.
I can build binaries on my Mac Studio then send them to any device for testing instantly. I can send screenshots to remote agents running on Linux, macOS or Windows.
It's built on top of our new Rex Data protocol which means not even thinking about ssh, or rsync or ftp.
Just the start of making every machine feel local.
Cold_brew retweeted
๊ณ ๋ง์ด ๋ชจ์นด ๊ตฌ๋
์๋๋ค๊ป ์ ํ ์ ํ ์์ดํ 50๊ฐ๋ฅผ ๋๋ฆฌ๊ธฐ๋ก ํ์ต๋๋ค. Event.mocar.kr ์ํ์ ๋ค์ํ๊ฒ ๋งค๋ฌ 1000๋ง์์ด์น. ๊ตฌ๋
ํด์ฃผ์ ๋ถ๋ค๊ป ๋ฐ๋์ ์ข์ ์ผ์ด ์๊ธฐ๋๋ก ํญ์ ๋ ๋
ธ๋ ฅํ๊ฒ ์ต๋๋ค.
hot take: you don't need a software factory, and i don't love the term. it's just marketing
all you need is good software engineering and investing your tokens in the right places. the more deterministic the better (and token efficient)
Cold_brew retweeted
Insane POV of the next-gen Tesla Roadster doing a kickflip, going up the ramp and 0-60 mph test.
That shot of the rear rocket thrusters in the first clip looks awesome.
Day 28/ tibo's game has landed
i spent $5.99 on this domain, but i had a blast making it with grok bot and cursor! i hope you enjoy it and find all the easter eggs ๐ค
if i did it right you should be able to play it inside of X too
tibo.dog
trivia:
โข started working on the game as a side project 4 days ago, landing ~1,150 PRs
โข every time i found an issue in the code i asked bot to make a lint rule against it
โข used TLA+ heavily to find bugs in the game's various state machines: the story, cutscenes, the game's systems. there are many formal verification skills, one for each major system
โข i put context into the filepaths: code that runs every frame or every tick gets a .hot.ts extension, and a lint rule bans allocating in it (no object literals, closures, new, etc.), so the game loop creates almost no garbage and GC doesn't cause stutters
โข game engine is mostly custom. three.js draws the 3D scene, but the simulation, post-processing and audio are all ours
โข the simulation is fully deterministic, so every run replays exactly from its inputs. when you post a high score, the server replays your whole run to check it isn't cheated
โข we generate dynamic og:images for every run based on your final stats, and it's all localized too! the game supports 10 languages
โข my favorite feature: the music seamlessly transitions into different music for the various biomes, continuing the previous melody
โข no audio files. all the music and sound effects are synthesized live in the browser by a custom Game Boy-style chip (two pulse voices, a wave voice, noise) plus a synthwave layer. the songs are written as text in code
โข all the pixel art is code. every sprite is a file drawn with one shared palette and packed into a sprite atlas at build time
โข it runs inside an X post, from the 245px card up to full screen. the bar is 60 fps with 500 enemies on a mid-range phone
โข the build fails if the first download goes over budget. it's about 124 KB gzipped right now
โข bots play the game headless to tune each difficulty against target survival rates
โข comments are banned by a lint rule. if code needs explaining, the fix is a better name or a test
Replying to @zephyr_z9
Silly analysis.
Robot RAM needs will exceed everything else on Earth, as you need the robots to be on physical substates in order to shape atoms.
Super intelligence needs will vastly exceed that, but ~100% of SI will be deep space compute. Obviously.
ํค๋ฏธ์ผ ๊ฐ์ฆ์!!!
์ฝ๋ฉ ๋ณด๊ธฐ ๊ท์ฐฎ์ผ๋ ๊ทธ๋ก๋ด์ด ๋ด๋นํด์ค...
3์ผ๊ฐ 25์ต ํ ํฐ ์ผ์ด
Cold_brew retweeted
Big upgrade for our iOS and Android terminals!
Termius mobile terminals are now powered by libghostty: faster rendering, buttery-smooth scrolling, and crisp text that looks great on any screen.
Update your app and feel the difference.
Cold_brew retweeted
You can now book our humanoid cleaners on a recurring subscription, for up to 3 hours per cleaning at tau-robotics.com.
Video is first take, uncut, shown at 4ร speed. See the reply for detailed footage at 1ร speed.
the /statechart skill in pstack v0.15.36 is now stable and ready for use! it's best combined with /create-formal-verification-skill to abstractly model state machines and distributed systems to find bugs.
the skill contains a mini tlc compiler that parses, lowers to a small IR, and has a backend that outputs mmd syntax. if you want you can also ask your agent to create charts in whatever style you like, the skills tells it to use pele.run/ which is very themeable so you can make blueprints, hand drawn encyclopedia illustrations or whatever you like
here's a chart of the /statechart skill and 2 real bugs i just found. try it out and let me know what you think!
*ehm ehm* BIG ANNOUNCEMENTS DAY ๐ฃ
two new things cooking in herdr labs ๐๐งช
a brand new herdr-core, and a desktop app built on it. open source.
first, the app: software that fits you. every part of it is a file your agent can change. you just ask.
Cold_brew retweeted
RESCENE [PULSE] Highlight Medley
๐ youtu.be/kmDGZd1mv7I
4th Mini Album [PULSE]
๐ชฝ2026.11.03 6PM (KST)
#RESCENE #๋ฆฌ์ผ๋ #ใชใปใณใ
#PULSE
Cold_brew retweeted
T3 Connect has not been reliable today. Super sorry about that. Should be recovered now ๐ค
Nerdy deets below for those who care:
T3 Connect is our built-in alternative to Tailscale for remote connections on T3 Code.
Turns out there's so many T3 Connect users that we are hitting some rate limits on Cloudflare's side! They have confirmed the issues on their end and are working on fixes.
We were unaware of these limits (seems like they were too). We're well under the limits we knew about, specifically the # of tunnels we can deploy to our users. The alerting on these failures was also pretty rough. CF has confirmed all of this and is working on fixes on their end ๐
Crazy to have a product so popular that it's taking down CloudFlare lol. We are working hard to prevent these types of regressions going forward.
This work is full of fun challenges. Once a thundering herd starts, we're a bit screwed since we can't control the code you're running on your end! We have to plan way in advance for changes because we can't guarantee that users are on the latest version at any given time.
Thanks for sticking through with us in the interim. If you want to maximize your uptime and minimize chances of connection loss like today, I will not be disappointed if you set up Tailscale as a fallback (I do this personally)
Cold_brew retweeted
Today, weโre releasing a preview of Raon-1 mini, a 30B MoE LLM with 4B active parameters, trained from scratch by KRAFTON AI.
With our efficient architecture, it matches Muse Glimmer on coding/agentic tasks while being much faster and more memory-efficient! ๐ฅ Plus, natural, human-like conversation.
This is just a first look. The final release (and bigger models) are coming soon! ๐
๐ Try it now, free for a limited time: raon-mini.krafton.ai/en
๐ค Open weights + DFlash drafter (Apache 2.0): huggingface.co/KRAFTON/Raon-โฆ
๐จ ๐ ๐๐จ๐ฆ๐ง ๐๐๐๐๐๐ฉ๐๐ ๐ฆ๐ข๐ ๐๐ง๐๐๐ก๐ ๐๐ก๐๐ฅ๐๐๐๐๐๐ ๐ข๐ก ๐ข๐ก๐ ๐๐๐ซ ๐ฆ๐ฃ๐๐ฅ๐! ๐งช๐ฅ
With the support of @AWERXAI, I'm excited to release something VERY special for the local AI community!
๐ง @deepseek_ai ๐๐ฒ๐ฒ๐ฝ๐ฆ๐ฒ๐ฒ๐ธ ๐ฉ๐ฐ.๐ญ ๐๐น๐ฎ๐๐ต ๐ญ๐ฌ๐ญ๐ณ
๐ฆ ๐ฆ๐๐๐-๐๐ซ๐๐ฏ ๐ฎ๐ ๐ท๐๐๐ ๐ญ.๐ฒ๐ฎ ๐ฏ๐ฝ๐ ๐ฒ๐
๐ฝ๐ฒ๐ฟ๐๐
๐ป ๐ต๐ต.๐ฒ๐ญ% ๐๐ข๐๐ ๐ฎ๐ป๐๐๐ฒ๐ฟ-๐๐ผ๐ธ๐ฒ๐ป ๐ฎ๐ด๐ฟ๐ฒ๐ฒ๐บ๐ฒ๐ป๐!
โก ๐ฏ๐ฑ.๐ฑ ๐๐ผ๐ธ/๐ ๐ฑ๐ฒ๐ฐ๐ผ๐ฑ๐ฒ ๐ผ๐ป ๐๐๐๐ !
๐ ๐ญ,๐ญ๐ด๐ต ๐๐ผ๐ธ/๐ ๐ ๐๐ซ ๐ฃ๐ฅ๐๐๐๐๐!
๐ง ๐ฎ๐ฎ๐ต๐ ๐๐ง๐ซ (๐๐๐ถ๐น๐น ๐๐ผ๐ฟ๐ธ๐ถ๐ป๐ด ๐๐ผ ๐ฝ๐๐๐ต ๐ถ๐ ๐ณ๐๐ฟ๐๐ต๐ฒ๐ฟ!)
๐๐๐ ๐ข๐ก ๐ข๐ก๐. ๐๐๐ซ. ๐ฆ๐ฃ๐๐ฅ๐. ๐คฏ
And YES, the quantized weights are AVAILABLE NOW! ๐
โโโโโโโโโโโโโโโโโโโโ
๐งช ๐ง๐๐ ๐๐๐ฆ๐ง ๐ณ๐ฎ ๐๐ข๐จ๐ฅ๐ฆ ๐๐๐ฉ๐ ๐๐๐๐ก ๐๐ก๐ฆ๐๐ก๐!
Just a few days ago, I published my article about @nvidiaai's FP4-Local format: The Good, The Bad & The Ugly.
One thing really stuck with me...
NVIDIA demonstrated what was possible when aggressive quantization and intelligent optimization come together.
But there's a problem.
๐ฅ๐๐ฃ๐ฅ๐ข๐๐จ๐๐๐ก๐ ๐ ๐๐ฆ๐ฆ๐๐ฉ๐ ๐ค๐จ๐๐ก๐ง๐๐ญ๐๐ง๐๐ข๐ก ๐ง๐ฅ๐๐๐ก๐๐ก๐ ๐ฃ๐๐ฃ๐๐๐๐ก๐๐ฆ ๐๐ฆ ๐ข๐จ๐ง ๐ข๐ ๐ฅ๐๐๐๐ ๐๐ข๐ฅ ๐ ๐ข๐ฆ๐ง ๐๐ข๐๐๐ ๐๐ ๐๐ก๐ง๐๐จ๐ฆ๐๐๐ฆ๐ง๐ฆ.
That inspired me.
I've been developing my own SAGE-EXL3 process, and I wanted to see just how far I could push the latest DeepSeek Flash release while keeping the results accessible to the community.
So I spent the last 72 hours pushing the limits.
And the results genuinely surprised me! ๐ฅ
โโโโโโโโโโโโโโโโโโโโ
๐ ๐ง๐๐ ๐ฅ๐๐ฆ๐จ๐๐ง๐ฆ ๐๐ฅ๐ ๐๐ฅ๐๐ญ๐ฌ!
I measured my 1.62 bpw expert quant against DeepSeek's native FP4 release checkpoint using held-out sequences and full-vocabulary token predictions.
And when I saw the CODE results, I could barely believe it!
๐งช ๐๐๐๐๐๐๐ง๐ฌ ๐ฉ๐ฆ ๐๐๐๐ฃ๐ฆ๐๐๐'๐ฆ ๐ก๐๐ง๐๐ฉ๐ ๐๐ฃ๐ด/๐๐ฃ๐ฐ ๐ฅ๐๐๐๐๐ฆ๐
๐ป ๐๐ข๐๐ โ ๐๐๐บ๐ฎ๐ป๐๐๐ฎ๐น
โ
99.08% Top-1 Agreement
โ
๐ต๐ต.๐ฒ๐ญ% ๐๐ก๐ฆ๐ช๐๐ฅ-๐ข๐ก๐๐ฌ ๐๐๐ฅ๐๐๐ ๐๐ก๐ง!
โ
KL Divergence: 0.0186
๐ง ๐ฅ๐๐๐ฆ๐ข๐ก๐๐ก๐ โ ๐ ๐๐ง๐-๐ฑ๐ฌ๐ฌ
โ
96.04% Top-1 Agreement
โ
97.98% Answer-Only Agreement
โ
KL Divergence: 0.0349
๐ข ๐ ๐๐ง๐ โ ๐๐ฆ๐ ๐ด๐
โ
95.56% Top-1 Agreement
โ
94.19% Answer-Only Agreement
โ
KL Divergence: 0.0477
๐ ๐ข๐ฉ๐๐ฅ๐๐๐ ๐๐๐๐-๐ข๐จ๐ง ๐๐๐๐๐๐๐ง๐ฌ
๐ 94.52% Top-1 Agreement
๐ Mean KL: 0.0982
๐ฏ Median KL: 0.00019
๐ก๐๐๐ฅ-๐๐ข๐ฆ๐ฆ๐๐๐ฆ๐ฆ ๐๐ข๐๐ ๐ง๐ข๐๐๐ก ๐๐๐๐๐๐๐ง๐ฌ ๐๐ง ๐๐จ๐ฆ๐ง ๐ญ.๐ฒ๐ฎ ๐๐ฃ๐ช ๐๐ซ๐ฃ๐๐ฅ๐ง๐ฆ! ๐คฏ
These are direct teacher-forced fidelity measurements against native FP8, not task-level pass rates.
But seeing this level of agreement at such aggressive compression is EXACTLY what I was working toward!
โโโโโโโโโโโโโโโโโโโโ
โก ๐๐ก๐ ๐ฌ๐๐ฆ, ๐๐ง ๐๐๐ง๐จ๐๐๐๐ฌ ๐ฅ๐จ๐ก๐ฆ ๐ข๐ก ๐ข๐ก๐ ๐ฆ๐ฃ๐๐ฅ๐!
Not two Sparks.
Not four Sparks.
Not an expensive rented GPU cluster.
๐ข๐ก๐ ๐ญ๐ฎ๐ด๐๐ ๐๐๐ซ ๐ฆ๐ฃ๐๐ฅ๐.
My latest vLLM measurements:
โก Decode: 35.5 tok/s
๐ Maximum measured prefill: 1,189 tok/s
For a model this large, compressed this aggressively, and maintaining this level of fidelity...
๐ง๐๐๐ง'๐ฆ ๐ ๐๐๐ ๐๐๐๐ ๐๐ข๐ฅ ๐๐ข๐๐๐ ๐๐! ๐
And remember, 1.62 bpw refers to the routed experts, not every parameter in the full model.
โโโโโโโโโโโโโโโโโโโโ
๐ ๐ช๐๐ฌ ๐ง๐๐๐ฆ ๐ ๐๐ง๐ง๐๐ฅ๐ฆ.
I have a simple goal.
๐ ๐๐๐ ๐ฃ๐ข๐ช๐๐ฅ๐๐จ๐ ๐๐ ๐๐๐๐๐ฆ๐ฆ๐๐๐๐ ๐ง๐ข ๐ฃ๐๐ข๐ฃ๐๐ ๐ช๐๐ข ๐๐ข๐ก'๐ง ๐๐๐ฉ๐ ๐๐๐๐๐ฆ๐ฆ ๐ง๐ข ๐๐๐ง๐๐๐๐ก๐ง๐๐ฅ๐ฆ.
I don't want the future of local AI to be determined by who can rent the most GPUs or afford the largest training runs.
I want developers, independent researchers and enthusiasts to have the freedom to experiment, quantize, optimize and run powerful models on hardware they actually OWN.
NVIDIA's FP4-Local research showed me just how much potential remains in aggressive quantization.
My goal with SAGE-EXL3 is to keep pushing that frontier while making advanced quantization more practical for the wider community.
Today, I'm sharing the quantized checkpoint and the one-Spark serving recipe.
๐ง๐๐๐ฆ ๐๐ฆ ๐๐จ๐ฆ๐ง ๐ง๐๐ ๐๐๐๐๐ก๐ก๐๐ก๐.
โโโโโโโโโโโโโโโโโโโโ
๐งช ๐ก๐ข๐ช ๐๐ข๐ฅ ๐ง๐๐ ๐ฅ๐๐๐ ๐ง๐๐ฆ๐ง!
The token-level fidelity results are incredible, but I'm not stopping there.
I'm currently running a broader evaluation campaign to measure how closely this quant preserves the native FP8 model's actual task performance.
๐ป HumanEval+ / MBPP+
๐ง MMLU-Pro STEM / MATH-500
๐ฌ SciCode / LiveCodeBench
๐ง BFCL / Multi-step tool chains
๐ MGSM
๐ง๐๐ ๐๐ข๐๐ ๐๐ฆ ๐ง๐ข ๐ฃ๐ฅ๐ข๐ฉ๐ ๐ง๐๐๐ง ๐๐๐๐ฅ๐๐ฆ๐ฆ๐๐ฉ๐ ๐๐ข๐ ๐ฃ๐ฅ๐๐ฆ๐ฆ๐๐ข๐ก ๐๐ข๐๐ฆ๐ก'๐ง ๐๐๐ฉ๐ ๐ง๐ข ๐ ๐๐๐ก ๐๐๐๐ฅ๐๐ฆ๐ฆ๐๐ฉ๐ ๐ค๐จ๐๐๐๐ง๐ฌ ๐๐ข๐ฆ๐ฆ!
Those task-level results are coming next! ๐
โโโโโโโโโโโโโโโโโโโโ
๐ ๐๐ก๐ ๐ข๐ก๐ ๐๐๐ง๐ง๐๐ ๐ง๐๐๐ฆ๐๐ฅ...
@mr_r0b0t and I have also been working on an GB10 specialized inference engine called ๐ฅ๐๐ซ๐๐ฏ.
Early testing has been VERY exciting, including 60 tok/s with bursts reaching 74tok/s!
We're putting the finishing touches on it and making sure everything is solid before releasing it.
More on that VERY soon. ๐
โโโโโโโโโโโโโโโโโโโโ
๐ ๐ ๐๐จ๐๐ ๐ง๐๐๐ก๐ ๐ฌ๐ข๐จ!
To @AWERXAI for supporting my work and helping make this contribution to the community possible.
To @nvidiaai for the FP4-Local research that inspired me to push this experiment even further.
To @justinn_builds for his initial vllm TP4 recipe that got me started in the right direction for loading this model up.
To @mr_r0b0t for collaborating with me on what's coming next!
And to @deepseek_ai for continuing to release powerful open-weight models that make community experiments like this possible.
๐ง๐๐ ๐๐๐ฆ๐ง ๐ฃ๐๐ฅ๐ง ๐ข๐ ๐ข๐ฃ๐๐ก ๐๐ ๐๐ฆ ๐ช๐๐๐ง ๐ง๐๐ ๐๐ข๐ ๐ ๐จ๐ก๐๐ง๐ฌ ๐๐๐ก ๐๐จ๐๐๐ ๐ข๐ก ๐ง๐ข๐ฃ ๐ข๐ ๐๐ง. ๐
๐ ๐๐ข๐ช๐ก๐๐ข๐๐ ๐ ๐ฌ ๐ฆ๐๐๐-๐๐ซ๐๐ฏ
huggingface.co/vcruz305/DSV4โฆ
๐ ๏ธ ๐ข๐ก๐-๐ฆ๐ฃ๐๐ฅ๐ ๐ฅ๐๐๐๐ฃ๐
github.com/vcruz305/DSV4.1-Fโฆ
๐ข๐ก๐ ๐ฆ๐ฃ๐๐ฅ๐.
๐ญ.๐ฒ๐ฎ ๐๐ฃ๐ช ๐๐ซ๐ฃ๐๐ฅ๐ง๐ฆ.
๐ต๐ต.๐ฒ๐ญ% ๐๐ข๐๐ ๐๐ก๐ฆ๐ช๐๐ฅ ๐๐๐ฅ๐๐๐ ๐๐ก๐ง.
๐๐๐ง'๐ฆ ๐๐๐๐ฃ ๐ฃ๐จ๐ฆ๐๐๐ก๐ ๐๐ข๐๐๐ ๐๐ ๐๐ข๐ฅ๐ช๐๐ฅ๐! ๐๐ฅ




























