Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Dissecting My Recent Argument (Are Error Theories Offensive?)
nakedcapitalism.com·1d
⚔️Lean Theorem
On the Algorithmic Bias of Aligning Large Language Models with RLHF: Preference Collapse and Matching Regularization
arxiv.org·6h
🧮Kolmogorov Bounds
Quality Precision
lesswrong.com·16h·
Discuss: Hacker News
✅FLAC Verification
Do I not like Ruby anymore? (2024)
sgt.hootr.club·3h·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Anonymous structavaganza in zig
lirk.top·16h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·19h·
Discuss: Hacker News
⚡Proof Automation
TOMATO: Assessing Visual Temporal Reasoning Capabilities in Multimodal Foundation Models
arxiv.org·6h
🤖Advanced OCR
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·6h
🗂️Vector Databases
I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pub·14h·
Discuss: Hacker News
🔲Cellular Automata
Variations on Knuth’s Twindragon
johndcook.com·16h·
Discuss: Hacker News
📐Mathematical Art
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·6h·
Discuss: Hacker News
🔐Homomorphic Encryption
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·19h·
Discuss: Hacker News
✅Format Verification
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·17h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
k-NN Classification and Model Evaluation
dev.to·2h·
Discuss: DEV
🧠Machine Learning
Quantifying Sycophancy as Deviations from Bayesian Rationality in LLMs
arxiv.org·6h
💻Local LLMs