Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Machines of Faithful Obedience
windowsontheory.org·1d
🔲Cellular Automata
Mirror Life
gov.uk·11h·
Discuss: Hacker News
🧬Copy Number Variants
How to (Almost) solve cybersecurity once and for all
adaptive.live·1d·
Discuss: Hacker News
🔐Systems Hardening
The dynamics and geometry of choice in the premotor cortex
nature.com·1d
🔲Cellular Automata
Researchers confirm fundamental conservation laws at the quantum level
phys.org·1d
⚛️Quantum Tape
Linear and Nonlinear Ultra-Short Pulse Looped Antennas: Radiation and Parametric Oscillations
arxiv.org·20h
🧲Magnetic Domains
Raymond Laflamme (1960-2025)
scottaaronson.blog·1d·
Discuss: Hacker News
⚛️Quantum Tape
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·10h·
Discuss: DEV
🧠Machine Learning
Explicit Constructions of Sum-Rank Metric Codes from Quadratic Kummer Extensions
arxiv.org·1d
🔢Reed-Solomon Math
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·9h·
Discuss: Substack
🦀Rust Macros
Gabrl: Securing Commmuniction
gabrl.com·1d·
Discuss: Hacker News
🔐Quantum Security
Code Rate Optimization via Neural Polar Decoders
arxiv.org·2d
🧠Neural Codecs
IBM’s Dmitry Krotov wants to crack the ‘physics’ of memory
research.ibm.com·2d·
Discuss: Hacker News
📼Tape Combinators
Hypercubical manifolds in homotopy type theory
arxiv.org·20h
🔶Cubical Type Theory
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·17h
📋Protocol Buffers
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·20h
🌀Fractal Compression
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·1d
🔐Quantum Security
And Now Malware That Tells AI to Ignore It?
darkreading.com·2h
🔓Hacking