Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·2d
⏰Temporal Logic
The Recursive Loop: How Code Shapes Minds – Kenneth Reitz
kennethreitz.org·11h·
Discuss: Hacker News
🌍Cultural Algorithms
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·19h
🔗Monadic Parsing
Adaptive Biofeedback-Reinforced Deep-Stimulation Array Optimization for Chronic Pain Mitigation
dev.to·12h·
Discuss: DEV
📈Entropy Estimation
Experimentation and thinking at the level of a program of experiments
statmodeling.stat.columbia.edu·5h
⚡Effectful Programming
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·3h·
Discuss: Hacker News
🧬Functional Programming
Human reward hacking
danmackinlay.name·5h
🎯Threat Hunting
GLM 4.5 with Claude Code is a killer combination
docs.z.ai·3h·
Discuss: Hacker News
🧩WASM Components
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·22h·
Discuss: Substack
🎯Gradual Typing
Tool Masking: The Layer MCP Forgot
towardsdatascience.com·16h
✨Effect Handlers
Matmul on Blackwell: Part 2 – Using Hardware Features to Optimize Matmul
modular.com·9h·
Discuss: Hacker News
⚡SIMD Optimization
Understanding Transformers Using a Minimal Example
rti.github.io·2d·
Discuss: Hacker News, r/programming
📝Text Parsing
So you want to control flow in PyTorch 2
blog.ezyang.com·5h·
Discuss: Hacker News
✨Effect Handlers
William James at CERN (1995)
bactra.org·7h·
Discuss: Hacker News
📐Mathematical Art
Python Metaprogramming: Advanced Techniques for Dynamic Code Creation and Runtime Modification
dev.to·2d·
Discuss: DEV
🦀Rust Macros
The Architecture of AI Transformation: Four Strategic Patterns and an Emerging Frontier
arxiv.org·2d
🕹Emulation Theory
Automated Grant Lifecycle Analysis & Predictive Resource Allocation via Hypergraph Embedding
dev.to·1d·
Discuss: DEV
🕸️Graph Embeddings
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·13h·
Discuss: Hacker News
📏Code Metrics
Predictive Maintenance of Unitized Curtain Wall Systems via Multi-Modal Sensor Fusion and Anomaly Detection
dev.to·11h·
Discuss: DEV
⚡SMT Applications
Reflections on Random Kitchen Sinks
archives.argmin.net·6h·
Discuss: Hacker News
🧮Kolmogorov Bounds