SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·5h·
Discuss: Hacker News
⚙️algorithms
Flag this post
Marden's Theorem
en.wikipedia.org·8h·
Discuss: Hacker News
⚙️algorithms
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·17h·
Discuss: Hacker News
🌐distributed systems
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·1d·
Discuss: Hacker News
⚙️algorithms
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·22h·
Discuss: Hacker News
⚙️algorithms
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·6h·
Discuss: Hacker News
⚙️algorithms
Flag this post
Discrete Fourier Transform: Introduction (2020)
chciken.com·6h·
Discuss: Hacker News
⚙️algorithms
Flag this post
Prentice Hall Interview with Rich Stevens, Author of Unix Programming (1997)
kohala.com·12h·
Discuss: Hacker News
🌐distributed systems
Flag this post
Stainless Docs Platform — Early Access
stainless.com·3h·
Discuss: Hacker News
💾storage
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·5h·
Discuss: Lobsters, Hacker News
🌐distributed systems
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·1d·
Discuss: Hacker News
⚙️algorithms
Flag this post
Naïve Shuffle Algorithm (2007)
blog.codinghorror.com·3d·
Discuss: Hacker News
⚙️algorithms
Flag this post
Harness the Power of Atlas Search and Vector Search with $RankFusion
mongodb.com·7h·
Discuss: Hacker News
⚙️algorithms
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·2d·
Discuss: Hacker News, Hacker News
⚙️algorithms
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·22h·
Discuss: Hacker News
⚙️algorithms
Flag this post
Japanese polygon theorem
johndcook.com·1d·
Discuss: Hacker News
⚙️algorithms
Flag this post
Coercin, Monopsony in American Manufacturing: Evidence from Alabama Prison Labor
papers.ssrn.com·1d·
Discuss: Hacker News
🦀rust
Flag this post
Where You See a Fancy Fish, Engineers See Alan Turing’s Math
nytimes.com·12h·
Discuss: Hacker News
⚙️algorithms
Flag this post
Petri Dish Neural Cellular Automata
pub.sakana.ai·1d·
Discuss: Hacker News
🌐distributed systems
Flag this post
Even Numbers Are Tautologies
risingentropy.com·58m·
Discuss: Hacker News
⚙️algorithms
Flag this post