Debugging a Dropped Async Task
slugcat.systems·2h·
Discuss: Lobsters, Hacker News
📊Runtime Verification
Building Technical Vision(2022)
yusufaytas.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
You might not need Python-dotenv
blog.natfu.be·5h·
Discuss: Hacker News
🧱Immutable Infrastructure
Money for Nothing, Chips for Free
phrack.org·23h·
Discuss: Hacker News
💾Retro Computing
Matmul on Blackwell: Part 2 – Using Hardware Features to Optimize Matmul
modular.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Follow up experiments on preventative steering
lesswrong.com·16h
🧩Separation Logic
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·2d·
Discuss: Hacker News
📚Automata Learning
AI Artists vs. AI Engineers
frontierai.substack.com·2d·
Discuss: Substack
🤖Program Synthesis
A Pitfall of "Expertise"
lesswrong.com·1d
✓Automated Theorem Proving
CloudFormer: An Attention-based Performance Prediction for Public Clouds with Unknown Workload
arxiv.org·2d
👁️System Observability
IdentityMesh: Exploiting Lateral Movement in Agentic Systems
lasso.security·1d·
Discuss: Hacker News
🛡️seL4
S2M2ECG: Spatio-temporal bi-directional State Space Model Enabled Multi-branch Mamba for ECG
arxiv.org·2d
🔄Finite State Machines
Intro to FPGAs
medium.com·8h·
Discuss: r/programming
⚙️Operating System Design
The Term "Non-Deterministic" and LLMs
vishalbakshi.github.io·2d·
Discuss: Hacker News
📚Automata Learning
OrgChart: Coding Agent Organizations (Open Source)
gpeake.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Designing Effective AI Explanations for Misinformation Detection: A Comparative Study of Content, Social, and Combined Explanations
arxiv.org·1d
✓Automated Theorem Proving
Curse of Knowledge: When Complex Evaluation Context Benefits yet Biases LLM Judges
arxiv.org·2d
🧩Parser Combinators
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
arxiv.org·2d
🧮Lambda Calculus
The maths you need to start understanding LLMs
gilesthomas.com·3d·
Discuss: Hacker News
📚Automata Learning
Understanding Transformers Using a Minimal Example
rti.github.io·3d·
Discuss: Hacker News, r/programming
🧩Parser Combinators