matmat's Top FindsLoading...
InNative – Run WebAssembly Outside the Sandbox at 95% Native Speed
innative.dev·11h·
Discuss: Hacker News
🕸️WebAssembly
Implementing Merkle Trees in Go
vaktibabat.github.io·2d
🌳Archive Merkle Trees
Discretizing and quantizing neural nets
danmackinlay.name·2d
📊Quantization
AI helps Latin scholars decipher ancient Roman texts
phys.org·20h
🤖AI Paleography
Children of the TI
bumbershootsoft.wordpress.com·15h
🎮Vintage Gaming
My Homelab V3
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
All the Details and Changes That Came With Rust 1.82.0
hackernoon.com·18h
🦀Rust Borrowing
clj-coll: Clojure collections and sequences in Common Lisp
github.com·19h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Redefining DNS Protection
paloaltonetworks.com·3d
🌐DNS Security
Formal specs as sets of behaviors
surfingcomplexity.blog·11h
✅Formal Methods
Visualizing TCP
research.swtch.com·12h·
Discuss: Hacker News
📡Network Archaeology
What is Machine Learning?
dev.to·9h·
Discuss: DEV
🧠Machine Learning
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Quantum Scientists Have Built a New Math of Cryptography
quantamagazine.org·1d·
Discuss: Hacker News
🔐Quantum Security
What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·21h
⚔️Lean Theorem
From Data Swamps to Reliable Data Systems: How Iceberg Brought 40 Years of Database Wisdom to Data Lakes
blog.min.io·1d
🏺Database Archaeology
I've returned to Linux but I miss PowerShell
chrisfun.xyz·10h·
Discuss: Hacker News
🪟Awesome windows command-line
Moneyballing individual pitches with a Support Vector Machine
runningonnumbers.com·8h·
Discuss: Hacker News
🧠Machine Learning
Vintage Plasma Display Shows Current Rad Levels
hackaday.com·8h
🇷🇺Soviet Computing
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·3d
🌐NetworkProtocols
Contextualizing ancient texts with generative neural networks
nature.com·3d·
Discuss: Hacker News
🤖AI Paleography