Multiplicative Modular Nim (MuM)
arxiv.org·1d
🎞️Tape Combinatorics
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Checking data integrity
eclecticlight.co·5h
✅Checksum Validation
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
🔄Graph Rewriting
Benford's Law and the Ahlstrom Conjecture
jamesmccaffrey.wordpress.com·23h·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
The breakthrough proof bringing mathematics closer to a grand unified theory
nature.com·2h·
Discuss: Hacker News
📐Mathematical Art
A stupid “real-life” application of quadratic reciprocity
blog.evanchen.cc·4d
🔢Reed-Solomon Math
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·14h·
Discuss: Hacker News
🎯Interactive Provers
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Enhancing Your Matillion Python Component with a Custom Matillion Python Package Powered by Amazon Q Developer
dev.to·1d·
Discuss: DEV
🤖Network Automation
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·11h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·21h
🦀Rust Verification
A distributed systems reliability glossary
antithesis.com·20h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Show HN: KisanAI – WhatsApp Agricultural Assistant
github.com·1h·
Discuss: Hacker News
🌀Brotli Internals
Cactus Language • Stylistics 4
inquiryintoinquiry.com·20h
🌳Context free grammars
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms
The FIPS 140-3 Go Cryptographic Module
go.dev·1d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🌊Stream Ciphers