Fast Matrix Multiply on an Apple GPU
percisely.xyz·4h·
Discuss: Hacker News
SIMD Vectorization
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·12h
🔢Reed-Solomon Math
How biological motors achieve maximum efficiency
phys.org·1d
⚙️Tape Transport
We still can't predict much of anything in biology
blog.genesmindsmachines.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
Heat-rechargeable computation in DNA logic circuits and neural networks
nature.com·6d
⚛️Information Physics
SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
github.com·6h·
Discuss: Hacker News
Modern Compression
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·13h
🎯Proof Tactics
TypeScript Flaws (2024)
intercaetera.com·23h·
Discuss: Hacker News
🎯Gradual Typing
Automated Structure-Based Drug Discovery via Hyperdimensional Protein-Ligand Interaction Scoring
dev.to·15h·
Discuss: DEV
🌀Differential Geometry
MIT Scientists Unlock a New Level of Precision in Gene Editing
scitechdaily.com·2d
🧬Copy Number Variants
Making performant Python bindings to compiled code
kylebarron.dev·10h·
Discuss: Hacker News
🦀Rust Macros
The Chip That Spoke Lisp
jxself.org·13h
🤖Lisp Machines
Triple Threat: Signal's Ratchet Goes Post-Quantum
blog.quarkslab.com·1d
🔐Quantum Security
The Mondrian introduction to functional optics
marcosh.github.io·15h·
Discuss: Hacker News
Bidirectional Programming
Meanwhile, Bitcoin Life Insurer, Secures $82M to Meet Soaring Demand For Inflation-Proof Savings
hackernoon.com·5h
🔍BitFunnel
The non-problem of unsigned integers in Java
bitmath.blogspot.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Free online password generator – simple, customizable, and privacy-conscious
pasgen.online·16h·
Discuss: Hacker News
🔓Password Cracking
A grand week
blog.mitrichev.ch·2d·
🧮SMT Solvers