Jean Deruelle

Founder @soleur_ai
Ex Head of Engineering @osmosis @Polaris_App.
Ex Co-founder and CTO @Telestax.
Ex- @RedHat.

Musings & Observations about life

[Dev 🧪 @zkDragon]

Where were going:
- Every circuit formally verified
- Written in R1CS, the simplest arithmetization
- Automated fuzzing
- Over-audited by humans and an army of AI

[Brian Armstrong @brian_armstrong]

Make sure your business is ready to accept AI agents as customers!

[Dev 🧪 @zkDragon]

Network upgrade tentatively scheduled for 23:00 EDT (12 hours from now)

🫡

[Alessandro Lo Manto @alexlomanto]

Everyone's rolling their own version of agent sandboxing.
We all have our own way of working and our own quirky processes and mine comes from the Kubernetes world.

I dug into kubernetes-sigs/agent-sandbox for learning and here's what stood out.
https://t.co/6hwJhLXSxl

[ivelin.eth 🛡️🤖 @ivelini]

Robotics models making progress. Not quite as aggressive as LLMs but progress nonetheless:

[Solana @solana]

Train robots on Solana

[Dan @Daniel_Farinax]

Beginner video: How to install & use Grok Build (made for non-technical SuperGrok and X Premium+ users)

I got so many questions from friends, so I made this simple step-by-step guide.

You’ll see exactly how to:
• Install Grok Build in seconds with one command
• Create real websites
• Use Grok Imagine to auto-generate images & videos
• Run multiple projects at once in different folders
Grok even runs commands for you. No coding experience needed.

Watch the full walkthrough 👇

[Robots Digest 🤖 @robotsdigest]

Hugging Face just released LeRobot Humanoid

An open-source, low-cost (~$2.5k), 3D-printed humanoid built for robot learning and not just demos.

What’s cool is it’s a full stack release:
• hardware + CAD
• runtime & calibration
• sim environments
• identification tools
• training zoo for locomotion
Designed so anyone can build, break, repair, simulate, and train on a real humanoid.

[Dev 🧪 @zkDragon]

Big milestone in any product: You hit downtime and users complain!

If your down and no-one complains, you weren't building something people care about

[Solana @solana]

JUST IN: Services on https://t.co/JoEu4lKQmf are now consumable by robots and machines on Solana thanks to @peaq

[Maziyar PANAHI @MaziyarPanahi]

wait… did Cohere just release Command A+ models under Apache 2.0 for the first time ever?! 🙊

welcome to Europe! 🤗

[Dev 🧪 @zkDragon]

NU7 code ready to play with 🫡

Feel the win of 3x faster blocks

[Roman @akhtariev]

Take Pix scale as baseline, remove government, add encryption.

Looking forward to discussing how Zcash works today, plus the protocol breakthroughs coming this year: a redesigned shielded pool and a payments stack built on private information retrieval.

[Thierry Edde @thierryEdde44]

Stablecoin payouts are live on @deel for employees.

Over 5 years ago, I joined @deel as the first payments hire. I spent the first few years building out the fiat payment infrastructure that moves billions to workers across 150+ countries. The more I watched money move, the more I saw how broken cross border payments are.

Stablecoins fix this.

10,000+ contractors already get paid in stablecoins on @deel.

Today we’re extending this to full-time employees.

This is how payroll should be.

[josh lee @dogemos]

FROST multisigs, but make it usable.

That's what @vizorwallet is building.

Coming soon.

[Georgi Gerganov @ggerganov]

llama.cpp adds MTP for the Qwen3.6 family

This is a significant milestone for the local AI ecosystem. The performance jump with these changes is massive and elevates local inference on commodity hardware further.

Special thanks to Aman Gupta for leading this development!

https://t.co/vjaMwEpIaR

[Josh Swihart 🛡 @jswihart]

https://t.co/1D0h9n70Wi

[Asimov @asimovinc]

"The race to build humanoid robots is moving beyond secretive corporate labs and into the hands of independent developers." @IntEngineering

https://t.co/DxhCnbIbLc

[Cypherpunk ($CYPH) @cypherpunk]

Here are the full five minutes from @zooko's talk at @ns, including the private conversation with his friend Hal Finney shortly before Hal passed away.

Our earlier clip missed context. That's on us.

[Will McEvoy @will__mcevoy]

.@zkDragon on the Zcash roadmap:

From 3 TPS today to 660 TPS post-quantum private. That's really our target.