⚙ Backus-Naur Form - matmat · Scour

dev.to·19h·

Discuss: DEV

🔲Cellular Automata

https://www.cl.cam.ac.uk/~mgk25/ucs/examples/UTF-8-test.txt

cl.cam.ac.uk·20h

🔤Character Encoding

Same Surface, Different Weight

robpanico.com·20h·

Discuss: Hacker News

🎯Gradual Typing

Further Meditation on Taylor Series

alexkritchevsky.com·3d

⚔️Lean Theorem

hsu.cy·1d

Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality

nature.com·1d

⚛️Quantum Channels

News for January 2026

ptreview.sublinear.info·2d

📐Linear Algebra

A Priori and A Posteriori Error Identities for Vectorial Problems via Convex Duality

arxiv.org·3d

📐Error Bounds

The Little Book of Linear Algebra

little-book-of.github.io·1d

📐Linear Algebra

Thirteen Constants from Zero Free Parameters? What Did I Find?

quantummarmelade.substack.com·2d·

Discuss: Substack

Pieter Belmans—Postdoc position in algebraic geometry

pbelmans.ncag.info·3d

🕸️Algebraic Topology

On This Day in Math

pballew.blogspot.com·3d·

Discuss: Blogger

📊APL Heritage

February 5,2026

buttondown.com·2d

🛡Cybersecurity

Private Data Space Model

privatedata.space·3d

✅Format Verification

Fibonacci number certificates

johndcook.com·2d·

Discuss: Hacker News

✅Document Verification

The Riemann Hypothesis: Past, Present and a Letter Through Time

arxiv.org·3d·

Discuss: Hacker News

📜Manuscript Calculus

Double Maths First Thing: Issue 4A

aperiodical.com·4d

⚙️Proof Engineering

Science and Technology News and Commentary: Aardvark Daily

aardvark.co.nz·3d

Differential Logic • Overview

inquiryintoinquiry.com·4d

📏Linear Logic

The Gumbel-Max Trick

blog.quipu-strands.com·4d·

Discuss: Hacker News

🧮Kolmogorov Bounds

Loading more...