Sharing AI progress in mathematics

UniEvo-VL: Self-Distillation Training for Multimodal Model Self-Improvement

Abstract page for arXiv paper 2609.38721: UniEvo-VL: An On-policy Self-Distillation Training Recipe for Multimodal Model Self-improvement

Claude Code’s suggested message feature: I think the real customer is the model

Jev-Driven SRE Diagnosis: What Worked and What Failed

A Jev-driven SRE diagnosis pipeline passed 76.2% of 105 diagnoses. Explore its workflow, successful and failed traces, and interactive time and cost comparisons.

LLMs may have helped my RSI

Just a place to store my random thoughts and contributions to the world.

Penguin Mail – open-source Rust email client for Linux with AI

Gmail, Microsoft and any IMAP or POP3 account, with your calendar and contacts, in one fast app on your own computer.

Couple was swatted 55 times in 2 years over a post about Norm Macdonald

A Milwaukee couple was awarded a $575,000 US settlement from the city after armed police officers showed up at their homes 55 times in two years responding to bogus reports of violent crimes.

When random is not actually random enough

A short lesson in API design

Paramount Skydance has completed its $111B merger with Warner Bros. Discovery

Paramount now owns Warner Bros. as last-ditch effort to stop $111B merger fails.

The cost of lies: A Mineserver story

Strands Decider 2B: a small, open-source, decision model

Strands Decider 2B is a small, open source, decision model optimized for fast experimentation, local development, and innovation.

Utah to let AI examine patients and prescribe medication without human oversight

The good news is that the program is currently very limited in its scope. It's just one year long and only for patients with mild-to-moderate acne.

Decisions API is in public beta

Use the Decisions API to check conditions, select from fixed options, and score text and images against a rubric.

OpenTPU – An open-source AI accelerator, developed by AI

An open-source AI accelerator, developed by AI: RTL, ISA, simulator, compiler and profiler in one repo. Runs Qwen3, LFM2.5 and Qwen3.5 on a Kintex-7 PCIe card. - FeSens/openTPU

Mistral Large 4

The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.

AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped)

Tool for automatic PS5 executables porting to Linux and Windows - boykopovar/AnyPS5

ESP32-C3 Adblock

Pi-hole-class DNS ad-blocker on a $2 ESP32-C3 (no PSRAM): 537k domains as 40-bit FNV-1a hashes in flash, binary-searched. UDP DNS sinkhole + web dashboard. https://youtube.com/shorts/RaxszOUMi8E?feature=share - M-Abozaid/esp32-c3-adblock

Integer multiplication below n log n

Contribute to openai/math development by creating an account on GitHub.

State of Devs 2026

EmbeddingGemma 2: An open, lightweight multimodal embedding model

Introducing EmbeddingGemma 2, an open multimodal embedding model optimized for privacy-first use cases