Back from Display Next Hackfest 2025
bootlin.com·1d
🖥️Terminal Renaissance
Can You Squeeze the Squares?
thefiddler.substack.com·11h·
Discuss: Substack
🔄Graph Rewriting
The Beman Project: Tomorrow's C++ Standard Libraries Today
bemanproject.org·17h·
Discuss: Hacker News
📚MARC Archaeology
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·2d·
Discuss: Hacker News
🦀Rust Verification
This One Twist Was Enough to Fool ChatGPT – And It Could Cost Lives
scitechdaily.com·1d
🔲Cellular Automata
A Quantitative Model of Trust as a Predictor of Social Group Sizes
arxiv.org·1d·
Discuss: Hacker News
🔲Cellular Automata
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·2d·
Discuss: Hacker News
🛡️Error Boundaries
Prompts Are Design Documents
mechanicalsurvival.com·3d·
Discuss: Hacker News
⚙️TLA+
Choose Boring Technology, Revisited
brethorsting.com·2d·
Discuss: Hacker News
📏Code Metrics
Benchmarking Fraud Detectors on Private Graph Data
arxiv.org·1d
🌳Archive Merkle Trees
Compilers vs Interpreters: Understanding How Code Gets Executed
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Day 51: The Productivity Hangover
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Machine Learning Fundamentals: logistic regression tutorial
dev.to·8h·
Discuss: DEV
🌊Stream Processing
NIST Post-Quantum Cryptography Standard Algorithms Based on Quantum Random Number Generators
arxiv.org·2d
🔐Quantum Cryptography
Provable In-Context Learning of Nonlinear Regression with Transformers
arxiv.org·3d
🧠Machine Learning
Teaching Language Models To Gather Information Proactively
arxiv.org·2d
🎙️Whisper
Automated Testing: A Software Engineering Concept Data Scientists Must Know To Succeed
towardsdatascience.com·2d
⚡Proof Automation
Show HN: Whisper at 1.58 bits with custom kernels for edge inference
medium.com·4d·
Discuss: Hacker News
📊Quantization
Physics-constrained generative machine learning-based high-resolution downscaling of Greenland's surface mass balance and surface temperature
arxiv.org·1d
🌀Differential Geometry
On Policy Stochasticity in Mutual Information Optimal Control of Linear Systems
arxiv.org·2d
⧗Information Bottleneck