Everything I know about good API design
seangoedecke.com·10h
⚡gRPC
What would Monads in JavaScript look like?
playfulprogramming.com·6d
🧬Functional Programming
We now have the math to describe 'matrix tides'
buffalo.edu·1d·
Discuss: Hacker News
🌀Differential Geometry
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·1d·
Discuss: DEV
✨Effect Handlers
There Has Never Been a Better Time to Be a Junior Dev – It Won't Last Forever
aaronstannard.com·1d·
Discuss: Hacker News
📏Code Metrics
the core of rust
jyn.dev·3d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
A Process to Trick ChatGPT into Agency
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·2d·
Discuss: Hacker News
🔍Concolic Testing
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·6d
🔗Parser Combinators
Being confidently wrong is the only thing holding AI back
promptql.io·1d·
Discuss: Hacker News
🧠Intelligence Compression
Unplug and Play Language Models: Decomposing Experts in Language Models at Inference Time
arxiv.org·2d
🧠Intelligence Compression
LLMs Won't Replace Programming Languages
mech-lang.org·2d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Time-Optimal Directed q-Analysis
arxiv.org·2d
🎯Performance Proofs
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·2d
🧮SMT Solvers
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·1d·
Discuss: Hacker News
🕸️Neo4j
Automated Aesthetic Valuation via Multi-Modal Hypergraph Analysis & Dynamic Market Simulation
dev.to·2d·
Discuss: DEV
🤖AI Curation
Beyond Verification: Building Bridges Between Minds
dev.to·1h·
Discuss: DEV
⚛️Quantum LDPC
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.org·3d·
Discuss: Hacker News
💻Local LLMs
Adaptive Tensegrity Locomotion via Hybrid Reinforcement Learning & Dynamic Stiffness Modulation
dev.to·19h·
Discuss: DEV
🔲Cellular Automata
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·1d·
Discuss: Substack
⚡Proof Automation