My formally proven SSZ bend library seems very promising so far...

This is a dev post classified by Jev as Other (a tool drop), kept by the Dev Radar because it carries real work, not commentary.

My formally proven SSZ bend library seems very promising so far...

Posted by Giulio Rebuffo (5k followers) 1 h ago · 12 likes · 361 views · view the original post on X. Kept by the Dev Radar as Other.

More dev work like this

• Qwen-Image-2.1 by @Alibaba_Qwen just landed as the #1 open source model in the Image… — @arena
• Performance of Grok 4.7 on the induction benchmark. Essentially it keeps the same… — @s_batzoglou
• We're open-sourcing Asimov 1's locomotion policy and training code soon 🧡 — @asimovinc
• The clothes are waiting. One choice. One look. One transformation. — @PrunaAI
• Xiaomi's MiMo-V2.6 models are live on each::labs, day 0 🚀 — @eachlabs
• EXL3 is the biggest paradigm shift in local LLMs right now, and most people still have… — @yume_arasaki
• NVIDIA Isaac ROS 5.0 brings AI agents to robotics development. 🤖 — @NVIDIARobotics
• Xiaomi makes this 1500hp EV supercar that holds test track records in Germany, and has… — @hsu_steve

Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 21k posts from 5k X accounts over the last 21 days, 2.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-22 15:52 UTC. Full method.