55 Months, 1 Day
satisfice.com·18h
⚙️Proof Engineering
Master Arduino Programming - Lesson #6
hackster.io·20h
🔗Concatenative Programming
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·2d
🔲Proof Irrelevance
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·15h·
Discuss: Hacker News
🌊Streaming Algorithms
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
Show HN: Serverless platform for running voice AI agents
blog.livekit.io·15h·
Discuss: Hacker News
🌊Streaming Systems
Simpler Category Theory
ryanbrewer.dev·21h·
Discuss: Hacker News
🔀Category Theory
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
LLMs Can't Tell Time, Winning Builders Budget for This Early
viveksgag.substack.com·9h·
Discuss: Substack
⚡Proof Automation
Automated Logical Proof Verification via Hybrid Symbolic-Numerical Analysis
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
How do LSM Trees work?
rowjee.com·16h·
Discuss: Hacker News
🌲B-tree Variants
Rewriting Modulo Traced Comonoid Structure
arxiv.org·6h
🔄Graph Rewriting
A firewall for AI agents (ex-Microsoft AI)
saviradev.substack.com·13h·
Discuss: Substack
🎯Threat Hunting
Overview of Complex System Design
arxiv.org·3d
🕹Emulation Theory
Your Reward Function for RL is Your Best PRM for Search: Unifying RL and Search-Based TTS
arxiv.org·6h
👤Search Personalization
A Multi-Agent Approach to Neurological Clinical Reasoning
arxiv.org·6h
🔲Cellular Automata
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.io·19h·
Discuss: Hacker News
🔤Unicode Normalization
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·1d
⚡Dependent Rust
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com·14h·
Discuss: Hacker News
⚡Proof Automation
Qclojure: Functional quantum computer programming library for Clojure
github.com·15h·
Discuss: Hacker News
⚛️Quantum Compilers