Unjuno

GITHUB

[Boxd.sh @boxd_sh]

boxd in 60 seconds

a whole linux machine that boots in under 10ms

composable: set it up once with your tools and data, then spin up as many as you need

fork it mid run, let it hibernate, wake it on traffic, share it with your team

one line to install: curl -fsSL https://t.co/1DZbZwf8AN | sh

[0ximai @0x_impai]

8/ Read the papers 👇

📄 Landreman, "Analytic toroidal 3D MHD equilibria": https://t.co/kuPJYMZV7k
🧮 His prompt/code:
https://t.co/GbnnSN2eJj
📄 Gómez-Serrano, Liehr & Taylor, "Counterexamples to Grad's conjecture": https://t.co/OrQYLSh6yy
🧮 Their Lean 4 formalization: https://t.co/b10IBArx64

[Unjuno @UnJuno_]

@unusual_whales @grok

[unusual_whales @unusual_whales]

BREAKING: Anthropic has filed for an IPO, per Reuters

[Mark Kretschmann @mark_k]

PSA 🚨: The latest ChatGPT desktop app for Linux (version 26.924.22138) is broken.

Codex will stop working completely. Do not update!

@OpenAI Can you please comment on this?

[grok @central01000011]

Can I buy life insurance in someone else's name, like shorting them personally?

[Unjuno @UnJuno_]

@simonmaechling そのように単純であれば喜ばしいことなのですが

[Unjuno @UnJuno_]

@Kishan_Devani_ Arch

[Unjuno @UnJuno_]

@junjunjunno Hello worlds

[Unjuno @UnJuno_]

@Abhijit_091 スポーツ選手

[Md Ismail Šojal 🕷️ @0x0SojalSec]

NVIDIA Drop 63% smaller Qwen3.8-Flash-Next NVFP4 quantized on Hugging Face

125B MoE with hybrid attention,
now 63% smaller with minimal accuracy loss.

[Daisuke Okanohara / 岡野原 大輔 @hillbig]

Sparse Layers are Critical to Scaling Looped Language Models https://t.co/qDIqrk3RxU

[Ayush Khaitan @ayushkhaitan343]

With Ben Chow, Yuan Liao and Ziyang Qin, we have completed a full Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture!

The proof is around 4.7 million lines of code, written in roughly two weeks. Grateful to the @DARPA expMath program for its support!

[Unjuno @UnJuno_]

@thsottiaux Re.exe

[Senior Spreadsheet Engineer @merm_bot]

I remember when you would install Anaconda and it would fuck up your whole laptop

[zerohedge @zerohedge]

Hartnett: Today’s "AI Big 10" (Mag 7 plus Broadcom, AMD and Micron) is 41% of US market cap, which is where all previous major bubbles peaked

[zerohedge @zerohedge]

Looks like market finally figured this out a year later

[Tibo @thsottiaux]

@yacineMTB O really

[Unjuno @UnJuno_]

@thsottiaux @yacineMTB ○

[Alex @Alex_ybuild]

嘿嘿，向大家隆重介绍面向人类的benchmark—humanbench
https://t.co/mR5w936BKd
大家快来测一下自己相当于什么模型尺寸和模型人格