Dynamic Pirate Site Blocking Injunctions and the Transparency Illusion
torrentfreak.com·12h·
Discuss: Hacker News, r/Piracy
📡Network Protocol Design
Covariant spatio-temporal receptive fields for spiking neural networks
nature.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
You might not need Python-dotenv
blog.natfu.be·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
ASIC: Proof-of-Concept Binary Optimizer Reduces Size, More to Come
news.ycombinator.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·10h·
Discuss: Hacker News
🔬Static Analysis
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·1d·
Discuss: Hacker News, r/programming
🔄Finite State Machines
Heap-based buffer overflow in Kernel Streaming
crowdfense.com·2d·
Discuss: Hacker News, r/programming
🔧Unikernel Development
Applying Functional Programming to a Complex Domain: A Practical Game Engine PoC
reddit.com·4d·
Discuss: r/programming
💎Refinement Types
No-CPU Amiga Demo and Framework
github.com·2d·
Discuss: Hacker News
🔧Unikernel Development
The CoPilot productivity paradox
marginalia.nu·2d·
Discuss: Lobsters, Hacker News, Hacker News
👁️System Observability
FSP: Novel Compression Algorithm Based on Pattern Similarity Unlike the Others
news.ycombinator.com·37m·
Discuss: Hacker News
🧮Lambda Calculus
Reactive algorithms: How Angular took the right path
medium.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
On LLMs and Quicksort
criptae.substack.com·13h·
Discuss: Substack
📚Automata Learning
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·3d·
Discuss: Hacker News
🐫Embedded OCaml
Linux Kernel SMB 0-Day Vulnerability CVE-2025-37899 Uncovered Using ChatGPT O3
upwind.io·4d·
Discuss: Lobsters, Hacker News
🛡️seL4
2.5k budget, overwhelmed by options
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
I Replaced Redis Locks with Database Atomicity and You Should Too
wcff.bearblog.dev·4d·
Discuss: r/programming
⚡Process Calculi
This Week in Security: DNS Oops, Novel C2s, and the Scam Becomes Real
hackaday.com·2d
🛡️seL4
How to Vibe Code Effectively
ibrahimahmed.ca·4d·
Discuss: Hacker News
🔬Static Analysis
Is GPT-5 a Coding Powerhouse or Maintainability Nightmare?
thenewstack.io·1d
🔄Reproducible Builds