Stories by mseri

HuggingChat is shutting down (for now)

LLVM: InstCombine: A PR by Alex Gaynor and Claude Code

Low-power 2D gate-all-around logics via epitaxial monolithic 3D integration

MirageVPN and the discovery of two OpenVPN CVEs

Released llamafile 0.8.13 with gemma2, new whisper and Stable Diffusion CLI

OCaml 5.1 Released

The value of science – R. Feynman (1995) [pdf]

Skynet Labs Shutting Down

Intel and AMD Hertzbleed CPU Vulnerability Uses Boost Speed to Steal Crypto Keys

Pasteur – A Zerobin Clone in a Unikernel

Diffrax: Jax-based differential equations solvers

Ts2ocaml: Generate OCaml bindings from .d.ts files

Verification for Dummies: SMT and Induction

How WhatsApp enables multi-device capability

Multi-device beta: WhatsApp web without the need to keep your phone connected

Onivim2: Status of the Project

Elements of Differential Geometry in Lean: A Report for Mathematicians

Dating first cases of Covid-19 (PLOS pathogens)

1
2
3