matmat's Feed · Scour

What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style ✨Effect Handlers

link.springer.com·6d·Hacker News

Why it’s essential to adopt post-quantum security now [Q&A] 🔐Quantum Security

betanews.com·13h

A modern feed reader (2024) 📡RSS Readers

unterwaditzer.net·2d·Lobsters

The Best Emulators For PC Retro Gaming In 2026 [All Tested] 🕹️Retro Gaming

retrododo.com·5h

Why Reproducible Builds? 🔄Reproducible Builds

reproducible-builds.org·2d·Hacker News

Vector Similarity Search: From Basics to Production 📐Vector Similarity

mlops.community·13h

What Matters in Practical Learned Image Compression 🧠Learned Codecs

machinelearning.apple.com·6d

Concordance Comparison as a Means of Assembling Local Grammars 📝Parsing Grammars

Interactive Cellular Automata 🔲Cellular Automata

news.ycombinator.com·2d·Hacker News

Build real-time voice streaming applications with Amazon Nova Sonic and WebRTC 📞WebRTC

aws.amazon.com·4h

Implementing Multicloud Data Sharding with Hexagonal Storage Adapters 🗄️Database Sharding

learn.microsoft.com·19h·DEV

A thorough introduction to bpftrace 🔍eBPF

brendangregg.com·4h

Sign up or login to customize your feed and get personalized topic recommendations

Let's Learn About BGP 🛣️BGP Hijacking

Think Linear Algebra 📐Linear Algebra

allendowney.github.io·3d·Hacker News

New Issue: Archives and Records 🗃archives

archivespublishing.com·10h

Show HN: Formal Verification with Lean 🔬Lean

daniellowengrub.com·1d·Hacker News

Categorical Programming Language Tutorial 💻Programming languages

msakai.github.io·5h·Lobsters

Lofree Lipstick Mechanical Keyboard ⌨️Mechanical Keyboards

blessthisstuff.com·18h

System calls: how programs talk to the Linux kernel 🔩Systems Programming

serversfor.dev·2h

High Quality Network Audio Streaming 🎵Audio Streaming

sonobus.net·4d

Log in to enable infinite scrolling