A self-hosted web push worker that works on iOS. One Cloudflare Worker, your own keys, no app to build and no notification vendor in the middle.

From the highly eclectic blog of Mark Dominus

Meet Toast 1, Mixedbread's search agent for knowledge-intensive tasks, matching or outperforming Claude Opus 5 and GPT-5.6 Sol while being up to 10× cheaper and 12× faster.

Search, upload, browse, or download from a database of over 11,000 SNMP MIBs. MIB Viewer lets you look up any MIB object by name, OID, or number, view its syntax, access level, and description, trace its place in the MIB tree, and generate ready-to-run SNMP…

Practical tips for how to run efficient sessions that get the most value from every token.

Systems that generate GPU kernels with language models report high correctness rates. Those rates come from a single loose test: run the kernel on a few random inputs at one fixed shape and accept...

A deep-research agent with an enforced budget, verified quotes, and a privacy boundary for local data. - lajosdeme/mole

Let your AI remember. Never let it guess.

We establish new bounds on the Grothendieck constant $K_G$: \[
\frac{6π}{11}
\le
K_G
\le
\fracπ{2\log(1+\sqrt2)} - 10^{-4}. \] Methodologically, our lower bound approach differs...

A new Finnish study links habitual coffee consumption to healthier body composition and metabolic markers.

I’m coming down from spending a few days at Usenix Security, right here in my hometown of Baltimore. This means that my days have been taken up with two kinds of conversation: first, explaini…

Dmitry.GR: I am often asked to explain my distaste for RISC-V. Here it is.

The focus should be on harnessing AI and out-competing China, writes Michael Kratsios, the White House science chief

The ‘demeaning’ website was spun up by a local founder with no relationship to the company

First year calculus is often taught in a way that is very burdensome to the student. Students have to memorize a diversity of processes for essentially performing the same task. However, many...