Kernel_lockdown(7) – Linux Manual Page
man7.org·12h·
Discuss: Hacker News
🔌Operating system internals
Flag this post
The Death of Static Prompts: Building ChronoLM
dev.to·8h·
Discuss: DEV
⏱️Interval Parsing
Flag this post
AI and Intro Theory
blog.computationalcomplexity.org·2d·
Discuss: blog.computationalcomplexity.org
🎯Performance Proofs
Flag this post
Advanced Claude Code Hooks: Controlling Sub-Agent Behavior
ltscommerce.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
AgentML – HTML for Agents (Deterministic, MIT-Licensed)
agentml.dev·1d·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
Proof of Prompt
cjauvin.github.io·20h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Automated Lagrangian Anomaly Detection via Real-Time Constraint Propagation
dev.to·1h·
Discuss: DEV
👁️System Observability
Flag this post
ReasoningBank Explained: How AI Agents Are Finally Learning to Remember
rewire.it·14h·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
micahkepe.com·1d·
Discuss: Hacker News, Hacker News, r/programming
💻Programming languages
Flag this post
Verifiable Delay Functions: A brief and gentle introduction
medium.com·2d·
Discuss: Hacker News
🌊Stream Ciphers
Flag this post
#1: Stop Doing Chores: AI-Powered Automation for DevOps Beginners
dev.to·1h·
Discuss: DEV
🏠Homelab Orchestration
Flag this post
Learn TLA+
learntla.com·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Parsing Webpages with a LLM – Revisited
hdembinski.github.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Corecursion
en.wikipedia.org·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Flat Combining: A Simple Rust Experiment
khayyamguliyev.substack.com·1d·
Discuss: Substack
⚡Hardware Transactional Memory
Flag this post
I spent the past 2 months trying out every hyped AI coding workflow I could find
handmadeoasis.com·2d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Multi-Agent A2A Implementation for Collaborative Financial Analysis
c-daniele.github.io·1d·
Discuss: Hacker News
📥Feed Aggregation
Flag this post
How I turned Zig into my favorite language to write network programs in
lalinsky.com·46m·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Language Modeling with Hierarchical Reasoning Models: Lessons from 1M Parameters
williamthurston.com·7h·
Discuss: Hacker News
📊Quantization
Flag this post
ProofFlow — Ending Black-Box AI
dev.to·10h·
Discuss: DEV
⚙️Proof Engineering
Flag this post