Stop Spraying & Praying: An Engineer's Guide to Account-Based Marketing
getmichaelai.com·6h·
Discuss: DEV
🎮Language Ergonomics
Operable Software
ferd.ca·4h·
Discuss: Hacker News
✅Configuration Validation
Part 4: Advanced MCP Patterns and Tool Chaining
dev.to·11h·
Discuss: DEV
🛡️Capability VMs
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·9h
🚂Error Propagation
Working on Hard Problems
danvk.org·1d
🤐Zipper Structures
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·4d·
Discuss: r/programming
🧠Memory Models
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
🔗Category Theory
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·13h
λLambda Calculus
Knowledge regroupment and preference calibration framework for unpredicted fault diagnosis under unknown working conditions
sciencedirect.com·1d
🚂Error Propagation
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·2d
🎭Racket
Decoding Cultures: Why Your Video AI Isn't Truly Seeing the World by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
🌉Language Bridges
A Manifesto for the Programming Desperado
github.com·1h·
Discuss: Hacker News
🎭Program Synthesis
Patina project – a Rust implementation of UEFI firmware
github.com·10h·
Discuss: Hacker News
🚂Cranelift Backend
⚙️ C in Action: Real Projects You Can Build to Master It
dev.to·1h·
Discuss: DEV
🪄C Metaprogramming
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·4d·
Discuss: Hacker News
🗺️Region Inference
On knot detection via picture recognition
arxiv.org·1d
🔍ML Language
Toy Binary Decision Diagrams
philipzucker.com·4d
✅Type Checking
Beating the L1 cache with value speculation (2021)
mazzo.li·4d·
Discuss: Lobsters, Hacker News
🔮Branch Predictors
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·13h
🗺️Region Inference
Tying It All Together: Your Map to Better Go Architecture
dev.to·1d·
Discuss: DEV
🔪Program Slicing