An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·12h
🎯Performance Proofs
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·3h·
Discuss: www.blogger.com
📐Linear Algebra
Building a Regex Engine
abstractsyntaxseed.com·4h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Experimental determination of partial charges with electron diffraction
nature.com·42m
🌈Spectroscopy
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·2d
🌊Stream Ciphers
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·1d
🦀Rust Macros
On This Day in Math - August 20
pballew.blogspot.com·12h·
Discuss: www.blogger.com
📐Mathematical Art
Automated Q-Pulse Profile Reconstruction via Bayesian Compressed Sensing in High-Resolution NMR
dev.to·19h·
Discuss: DEV
🧲Magnetic Resonance
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🔤Type Theory
Computing Machinery and Intelligence (1950)
academic.oup.com·15h·
Discuss: Hacker News
🔐Capability Systems
Modular Arithmetic in Data Science
towardsdatascience.com·1d
📐Interval Arithmetic
Lisp in 99 Lines of C With TinyLisp
hackaday.com·14h
🔗Lisp
Simpler Category Theory
ryanbrewer.dev·3h·
Discuss: Hacker News
🔀Category Theory
Show HN: OnPair – String compression with fast random access (Rust, C++)
github.com·1d·
Discuss: Hacker News
📦Deflate
Benchmarking document information localization with Amazon Nova
aws.amazon.com·22h
📄Document Digitization
Duality
xythobuz.de·1d
📼Retro Games
The theorem on formal functions
math.columbia.edu·4d
⚔️Lean Theorem
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·12h
🔲Cellular Automata
Peeking Under the Hood of Claude Code
medium.com·1h·
Discuss: Hacker News
🌳Incremental Parsing
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·2d
🎯Gradual Typing