busy beaver function
ncatlab.org·1h
⚔️Lean Theorem
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·17h
🔗Tailscale
SafeLLM: Unlearning Harmful Outputs from Large Language Models against Jailbreak Attacks
arxiv.org·1d
💻Local LLMs
Do I need a Lisp Machine comeback?
far.chickenkiller.com·22h·
Discuss: Hacker News
🦀Rust Macros
Show HN: Novel GPT-2 sampling and memory architecture
github.com·1h·
Discuss: Hacker News
💎Information Crystallography
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·19h·
Discuss: Hacker News
⚡Proof Automation
Peeking Under the Hood of Cursor's API Calls
proxymock.io·18h·
Discuss: Hacker News
🔌Archive APIs
Optimizing our way through Metroid
antithesis.com·22h·
Discuss: Lobsters, Hacker News
🖥️Game Emulation
It's okay to solve a problem twice
til.andrew-quinn.me·2h·
Discuss: Hacker News
⚡Proof Automation
AI coding tools gain security — but the controls do not cut it
reversinglabs.com·1d
🔓Hacking
Ow Dynamic K8s Sandboxes Can Improve Dora Metrics
signadot.com·2d·
Discuss: Hacker News, r/devops
👁️Observatory Systems
AI Agents Need Data Integrity
schneier.com·23h·
Discuss: www.schneier.com
🛡️Preservation Proofs
A Better Vocabulary for Testing
alperenkeles.com·6d·
Discuss: Lobsters, r/compsci, r/programming
🧪Property-Based Testing
Quick background and Demo on kagent - Cloud Native Agentic AI - with Christian Posta and Mike Petersen
youtube.com·17h
🏠Homelab Archaeology
The AI Stack Paradox: Why Tool Polygamy Is Killing Your Build Velocity
zakelfassi.com·1d·
Discuss: Hacker News
⚡Incremental Computation
Debugging the Human Layer
blog.joac.com.ar·17h·
Discuss: Hacker News
⚙️Proof Engineering
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·1d
✅Formal Methods
The Testing Habit That Prevents Last-Minute Surprises
dev.to·3d·
Discuss: DEV
🧪Property-Based Testing
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·9h·
Discuss: Hacker News
⚡Proof Automation
Being confidently wrong is the only thing holding AI back
promptql.io·22h·
Discuss: Hacker News
🧠Intelligence Compression