⚙ Backus-Naur Form - matmat · Scour

2026-02-12 Macron och Merz

europaportalen.se·2h

🇸🇪Swedish Cryptanalysis

Double Maths First Thing: Issue 4B

aperiodical.com·1d

Conformational diversity and fully opening mechanism of native NMDA receptor

nature.com·22h

🧬Copy Number Variants

DMPs and Research Organisation Registry (RoR) identifers

dcc.ac.uk·4h

📡DNS Archaeology

Comparing 4b3e21445b...a4d6e3ab03

github.com·9h

🔗Binary Similarity

The Mean-field Libor Market Model

hackernoon.com·18h

🎯Arithmetic Coding Theory

The Observer Lemma

zenodo.org·14h·

Discuss: Hacker News

✨Effect Handlers

Elliptic Multiple Polylogarithms with Arbitrary Arguments in \textsc{GiNaC}

arxiv.org·1d

🧮SMT Solvers

What Agentic AI "Vibe Coding" In The Hands Of Actual Programmers / Engineers

stochasticlifestyle.com·2h

✨Effect Handlers

On This Day in Math

pballew.blogspot.com·8h·

Discuss: Blogger

🔲Cellular Automata

RFC 2182 - Selection and Operation of Secondary DNS Servers

datatracker.ietf.org·8h

🌐DNS Security

Differential Logic • 5

inquiryintoinquiry.com·2d

⚔️Lean Theorem

The Solution to Prompt Injection: Mapping SSL/TLS Trust Architecture onto LLMs [pdf]

solvingpromptinjection.com·12h·

Discuss: Hacker News

🌐NetworkProtocols

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·22h·

Discuss: Lobsters

🧠Lisp Dialects

Tuesday 24 February 2026

informatics.ed.ac.uk·1d

📐Linear Algebra

Charge-neutral electrons are odd — except when they’re even

nature.com·22h

⚛️Information Physics

The Univalence Principle

golem.ph.utexas.edu·1d

🔶Cubical Type Theory

Olympic champion Breezy Johnson crashes out of super-G then gets engaged at end of course

theguardian.com·18m

⚡Effectful Programming

Computing submatrices of the Hermite normal form of a structured polynomial matrix

arxiv.org·2d

📐Linear Algebra

Households to save an average of £190 on energy bills after latest government move

the-independent.com·15m

🔤EBCDIC Privacy

Loading more...