An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·18h
🎯Performance Proofs
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·3h·
Discuss: Hacker News
🌊Streaming Algorithms
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·9h·
Discuss: www.blogger.com
📐Linear Algebra
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·2d
🌊Stream Ciphers
Experimental determination of partial charges with electron diffraction
nature.com·6h
🌈Spectroscopy
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·1d
🦀Rust Macros
Building a Regex Engine
abstractsyntaxseed.com·10h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
On This Day in Math - August 20
pballew.blogspot.com·18h·
Discuss: www.blogger.com
📐Mathematical Art
Automated Q-Pulse Profile Reconstruction via Bayesian Compressed Sensing in High-Resolution NMR
dev.to·1d·
Discuss: DEV
🧲Magnetic Resonance
Qclojure: Functional quantum computer programming library for Clojure
github.com·3h·
Discuss: Hacker News
⚛️Quantum Compilers
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🔤Type Theory
Tyson Foods elevates customer search experience with an AI-powered conversational assistant
aws.amazon.com·1h
📡RSS Automation
Hints for the Patty Paper Trisection
denisegaskins.com·4h
📐Document Calculus
Computing Machinery and Intelligence (1950)
academic.oup.com·21h·
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·20h
🔗Lisp
Simpler Category Theory
ryanbrewer.dev·9h·
Discuss: Hacker News
🔀Category Theory
An Update on Pytype
github.com·5h·
Discuss: Hacker News
🎯Gradual Typing
Introduction to Bluesky's AT Protocol
mackuba.eu·3h·
Discuss: Hacker News
🔌Interface Evolution
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·9h
🔗Concatenative Programming