- #fediverse
- POSSE
- #formal #lean
- Readings shared March 14, 2026
- #gpt #agent #prod
- Post by @OpenAIDevs on X
- #gpt #benchmark #agent
- Post by @OpenAI on X
- #gpu
- SOL-ExecBench: Speed-of-Light Benchmarking for Real-World GPU Kernels Against Hardware Limits
- #idea
- tone indicators
- #inference #oss #benchmark #gpu
- Post by @ollama on X
- #jj
- Interview With Nathan Goldbaum
- #lean
- TorchLean: Formalizing Neural Networks in Lean
- Readings shared March 19, 2026
- #openweb
- SvelteKit i18n and FOWL
- ChatGPT, Claude, and Gemini Render Markdown in the Browser. I Don't
- #ph
- Quantum Information Approach to Bosonization of Supersymmetric Yang-Mills Fields
- Split or compact?
- #prod #benchmark
- Post by @Kimi_Moonshot on X