The Capability-Tractability Tradeoff (2023)
buttondown.com·13h·
Discuss: Hacker News
💧Liquid Types
Secure QKD Network Resilience via Dynamic Threshold-Adaptive Key Reconciliation
dev.to·23h·
Discuss: DEV
🔐Quantum Cryptography
The Infrastructure Physics Problem Behind AI’s Data Center Crisis
telecomramblings.com·1d
🌊Stream Processing
Lobsters Interview with Susam
lobste.rs·19h·
Discuss: Lobsters
🔗Concatenative Programming
LLM-Generated Rules Engines for LLM Explainability
brain.co·22h·
Discuss: Hacker News
🔗Constraint Handling
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·3h·
Discuss: Hacker News
🔤Type Theory
Reverse Engineering a Siemens Programmable Logic Controller for Funs and Vulns (CVE-2024-54089, CVE-2024-54090 & CVE-2025-40757)
trebledj.me·1d
🔓Hacking
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·1d
💻Local LLMs
Choosing Rust for LLM-generated code
runmat.org·16h·
Discuss: Hacker News
🦀Rust Macros
The Engineer in the AI Age: The Orchestrator and Architect
thenewstack.io·19h
🔄Language Evolution
Gauss, an Agent for Autoformalization
math.inc·1d·
Discuss: Hacker News, Hacker News, Hacker News
🏛️Agda
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·1d·
Discuss: Hacker News
🔐Quantum Security
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·2d
📝ABNF Parsing
Codeminer42 Dev Weekly #78
blog.codeminer42.com·20h
🏺ZIP Archaeology
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💧Liquid Types
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
📝Compiler Design
Improving My Dotfiles Posture
benprisby.com·47m·
Discuss: Hacker News
📦Package Managers
Why the best LLMs are not enough for the AI SOC
intezer.com·19h
🎯Threat Hunting
Digest #179: Vibe Coding Hype, DevOps Exercises, Terraform+MCP, Windows inside a Docker
devopsbulletin.com·20h
❄️Nix Adoption
Building multi-agent tools for engineering
newstoretech.substack.com·21h·
Discuss: Substack
⚙️TLA+