Fun-reliable side-channels for cross-container communication
simonwillison.net·5d
🔒Futex
Flag this post
Can Language Models Optimize Real-World Repositories on Real Workloads?
📊Profile-Guided Optimization
Flag this post
The Internet is Cool. Thank you, TCP
🌐TCP/IP
Flag this post
The Life of a Packet in the Linux Kernel
📡TCP/IP Stack
Flag this post
Uncover Hidden Gems: 3 Offbeat Windows Tools for Devs to Try This Weekend
🔍Reverse Engineering
Flag this post
Daily Tech News Roundup - 2025-11-16
🔐Hardware Security
Flag this post
Translation Entropy: A Statistical Framework for Evaluating Translation Systems
arxiv.org·3h
📊Information Theory
Flag this post
Protein Secondary Structure Prediction Using 3D Graphs and Relation-Aware Message Passing Transformers
arxiv.org·3h
🧬Computational Biology
Flag this post
Computing Equilibrium Nominations in Presidential Elections
arxiv.org·1d
🎮Game Theory
Flag this post
LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
arxiv.org·3h
🌳Tree-sitter
Flag this post
Optimal Self-Consistency for Efficient Reasoning with Large Language Models
arxiv.org·3h
🎯Hindley-Milner
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
λFunctional Programming
Flag this post
Loading...Loading more...