Travels, 10
cameroncounts.wordpress.com·1d
🎯Performance Proofs
Meshtastic: Why is it so popular?
jonlennartaasenden.wordpress.com·2h
🕸️Mesh Networking
An OCC Idea
lambdacreate.com·1d
🗄️Database Internals
How to Prove That An Email Was Received
metaspike.com·1d
📄Document Digitization
Mixed nuts #15
brycewray.com·12h
📰RSS Reading Practices
Counting with Categories (Part 3)
golem.ph.utexas.edu·2d
λLambda Formalization
Introducing Northguard and Xinfra: Scalable log storage at Lin...
linkedin.com·2d·
Discuss: Lobsters
🌊Streaming Systems
Judge Alsup: Training AI On Copyrighted Works? Fair Use. Building Pirate Libraries? Not So Much
techdirt.com·13h
⚖️Emulation Ethics
Golang and Let's Encrypt: a free software story
dotat.at·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
The one-more-re-nightmare compiler (2021)
applied-langua.ge·2d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Solving LinkedIn Queens Using Haskell
imiron.io·2d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Show HN: Using Claude Code SDK to to implement an agentic CV parser
github.com·7h·
Discuss: Hacker News
🤖Archive Automation
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·20h·
Discuss: DEV
🌳Trie Structures
OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
arxiv.org·2h
⚙️Logic Synthesis
Human Voice is Unique
arxiv.org·3d
👂Audio Evidence
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·20h·
Discuss: DEV
🕸️Graph Algorithms
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·15h·
Discuss: DEV
🌊Stream Processing
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·2d
💻Local LLMs
CBF-AFA: Chunk-Based Multi-SSL Fusion for Automatic Fluency Assessment
arxiv.org·1d
🎙️Whisper
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·1d·
Discuss: DEV
🌊Stream Processing