Project Follow Through
nifdi.org·15h·
Discuss: Hacker News
✓Automated Theorem Proving
Unnumbered IPv4 Interfaces
blog.ipspace.net·13h·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
Study and Comparison of Data Lakehouse Systems (2023) [pdf]
doria.fi·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Making of Amazon Prime (2019)
vox.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
People Reimagining 'Spirited Away' with Puppets (2024)
nytimes.com·1d·
Discuss: Hacker News
💾Retro Computing
Cheating on Quantum Computing Benchmarks
schneier.com·4d·
Discuss: Hacker News
🎮Verification Games
The Demon that Wears my Face
mirawelner.com·12h·
Discuss: Hacker News
🛡️seL4
Two Kinds of Do Overs
jefftk.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
I Can't Stop Using Dia Browser
molodtsov.me·1d·
Discuss: Hacker News
🍎Apple
From Propagator to Oscillator: The Dual Role of Symmetric Differential Equations in Neural Systems
arxiv.org·3d
🏹Effect Systems
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·4d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Mamba-based Efficient Spatio-Frequency Motion Perception for Video Camouflaged Object Detection
arxiv.org·3d
🐫OCaml
SigBERT: Combining Narrative Medical Reports and Rough Path Signature Theory for Survival Risk Estimation in Oncology
arxiv.org·3d
🔬Static Analysis
Do We Have Data to Train New AI?
labs.adaline.ai·4d·
Discuss: Hacker News
🧪Property-Based Testing
Multidimensional Assessment of Takeover Performance in Conditionally Automated Driving
arxiv.org·4d
💻CS
Adversarial-Guided Diffusion for Multimodal LLM Attacks
arxiv.org·3d
🛡️seL4
Wind Turbine Feature Detection Using Deep Learning and Synthetic Data
arxiv.org·5d
📦Unikernel Systems
How to Implement Authentication in FastAPI: A Complete Developer's Guide
fastlaunchapi.dev·1d·
Discuss: r/programming
🌐NetworkProtocols
TraceRoot: Find the Root Cause in Your Code's Trace
github.com·3d·
Discuss: Hacker News, Hacker News
👁️System Observability
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·4d
🔠Type-Level Programming