Austin Powers voice: “You can’t honeypot the honeydicker, darling. I’m running on H100% pure honey. Yeah, baby!”
dei retweeted
This is Algebrica, a mathematical knowledge base I've been building since May 2023, primarily for university students.
306+ entries, carefully written and structured.
Over 4.2 million views since its launch (not much in absolute terms, perhaps, but meaningful to me).
No ads.
No courses to sell.
No gamification.
No distractions.
Built simply for the pleasure of sharing knowledge.
All content is licensed under Creative Commons (CC BY-NC 4.0). Every article, text, and illustration is freely available and downloadable in editable formats, including Markdown and SVG.
Free to access. Free to learn. Free to share.
If you believe mathematical knowledge should be freely accessible to everyone, explore Algebrica, use its resources, share them with others, and help this project reach more people.
algebrica.org
dei retweeted
Delete Lean bro. We're switching to Agda. Did you verify with Rocq yet? I sent you a theorem to TLA⁺. Check your prototype on F*. You need to make an LCF proof to access Phox. Hold on, lemme add you to Wang tiles
just 8B parameters and #1 in open-weight image editing on Artificial Analysis
huggingface.co/briaai/Fibo-2…
dei retweeted
Every bit of entropy in the universe is personally conspiring adversarially against you
Fish Audio's drama-3 is in a league of its own, it's the best tts model I've ever used
huggingface.co/fishaudio/dra…
this is so dope
Meet Idol, an open image-to-3D model. A 3D-DiT that generates complete 3D objects from just an image.
Pre-trained from scratch, contains only 600M parameters, it runs on consumer GPUs, using less than 7.2 GB of VRAM and can generate 1M splats in 3 seconds. Try it today.
Fully open: weights, code and demo (Apache 2.0)
speridlabs.com/research/idol
dei retweeted
agent thinking, visualized
tinyurl.com/yfrcj33u
LiquidAI's new decision model is insanely good
huggingface.co/LiquidAI/d1-2…
dei retweeted
Stageshow: a skill that helps your agent make better faux UI stills, animations, bento grids, and more.
npx skills add benjitaylor/skills --skill stageshow
dei retweeted
The benefits of abundant intelligence will accrue far outside of San Fransisco.
Spent the last year writing about capital, sovereignty, and the coming reordering of economic power.
THE COMMANDING HEIGHTS
Commanding-Heights.com
after spending an entire day using XR glasses and voice, i am officially announcing that the future of AI agents is immersive spatial experiences
dei retweeted
in the spirit of halloween I made a forest that lives in your browser, created entirely by code. it runs in real time but look I don’t know if it’s going to work on your phone because the polycount is in the hundreds of billions before optimization. process/demo below.
dei retweeted
🔴 CVE-2026-98432 | Linux Kernel – Critical UAF
Linux çekirdeğinde TCP/IPv4 bağlantı işleme sürecini etkileyen, uzaktan istismar potansiyeline sahip bir Use-After-Free (UAF) açığı tespit edildi.
● CVSS 3.1: 9.8 (Critical)
● Ağ üzerinden istismar
● Kimlik doğrulama gerektirmiyor
● Bellek güvenliği ve sistem kullanılabilirliği riski
Sistem yöneticileri, linux dağıtımlarının güvenlik duyurularını takip ederek yamalı sürümlere geçmelidir.
ubuntu.com/security/CVE-2026…
