Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·8h
🔢Reed-Solomon Math
Making performant Python bindings to compiled code
kylebarron.dev·6h·
Discuss: Hacker News
🦀Rust Macros
How biological motors achieve maximum efficiency
phys.org·1d
⚙️Tape Transport
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Heat-rechargeable computation in DNA logic circuits and neural networks
nature.com·6d
⚛️Information Physics
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·9h
🎯Proof Tactics
The Mondrian introduction to functional optics
marcosh.github.io·11h·
Discuss: Hacker News
Bidirectional Programming
We still can't predict much of anything in biology
blog.genesmindsmachines.com·3h·
Discuss: Hacker News
🔲Cellular Automata
SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
github.com·1h·
Discuss: Hacker News
Modern Compression
Automated Structure-Based Drug Discovery via Hyperdimensional Protein-Ligand Interaction Scoring
dev.to·11h·
Discuss: DEV
🌀Differential Geometry
The non-problem of unsigned integers in Java
bitmath.blogspot.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
MIT Scientists Unlock a New Level of Precision in Gene Editing
scitechdaily.com·1d
🧬Copy Number Variants
The Chip That Spoke Lisp
jxself.org·9h
🤖Lisp Machines
Triple Threat: Signal's Ratchet Goes Post-Quantum
blog.quarkslab.com·22h
🔐Quantum Security
From Matmul to Meaning
evis.dev·18h·
Discuss: Hacker News
📐Linear Algebra
Free online password generator – simple, customizable, and privacy-conscious
pasgen.online·12h·
Discuss: Hacker News
🔓Password Cracking
A grand week
blog.mitrichev.ch·2d·
🧮SMT Solvers
TypeScript Flaws (2024)
intercaetera.com·19h·
Discuss: Hacker News
🎯Gradual Typing
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·7h
📐Mathematical Art