Do the Math: The Pleasures of Fractional Street Names
inconspicuous.info·1d·
Discuss: Hacker News
⭐Awesome lists
Litebase: SQLite with Distributed Storage
litebase.com·1h·
Discuss: Hacker News
🗄️SQLite Internals
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·11h·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
We're building a new global entertainment company (2024)
volleygames.com·3h·
Discuss: Hacker News
🎙️Whisper
How long do you make your customers wait?
idiallo.com·5h·
Discuss: Hacker News
📡Feed Security
Using Dspy to Detect Document Boundaries
kmad.ai·3d·
Discuss: Hacker News
📄Document Digitization
Getting an LLM to Play Text Adventures
entropicthoughts.com·3d·
Discuss: Lobsters, Hacker News
🔗Constraint Handling
Machine learning model helps scientists understand deadly cone snail toxins
phys.org·1d
🧠Machine Learning
InfiniBand vs RoCEv2: Choosing the Right Network for Large-Scale AI
towardsdatascience.com·7h
🕸️Mesh Networks
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·2d·
Discuss: Hacker News, r/programming
🔩Systems Programming
10 Practical Restaurant Automation Ideas (No Buzzwords, Just Real Stuff)
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
Sliver1-Rendering-engine pure CPU based render
dev.to·7h·
Discuss: DEV
🎬WebCodecs API
My Home Network + TrueNAS Scale Server Setup — Looking for Feedback and Suggestions
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Turn History PDF Books into AI-Ready Q&A Datasets with This Python Tool!
dev.to·3d·
Discuss: DEV
📜Digital Philology
Not duplicating messages: a surprisingly hard problem
blog.epsiolabs.com·1d·
Discuss: Hacker News, r/programming
🌊Streaming Systems
Text-Attributed Graph Anomaly Detection via Multi-Scale Cross- and Uni-Modal Contrastive Learning
arxiv.org·2d
🧮Vector Embeddings
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·1d
⚡Proof Automation
L3M+P: Lifelong Planning with Large Language Models
arxiv.org·1d
⚙️TLA+
IKOD: Mitigating Visual Attention Degradation in Large Vision-Language Models
arxiv.org·22h
📊Rate-Distortion Theory
Why Every Website Needs a Chatbot
dev.to·14h·
Discuss: DEV
📡RSS Automation