Theo Johnson-Freyd
categorified.net·10h
🔗Category Theory
Trying to find a form builder that doesn’t hurt to use
dejean.bearblog.dev·2h
🎮Language Ergonomics
Learning in Temporally Complex Problems: The Role of External Knowledge
pubsonline.informs.org·12h·
Discuss: Hacker News
🚂Error Propagation
Why We Need SIMD
parallelprogrammer.substack.com·1d·
Discuss: Substack
🔀SIMD Programming
For Those Who Use Claude Code Together with Codex
coding-with-ai.dev·18h·
Discuss: Hacker News
📚Self-Documenting Code
Working for a Vendor with David Gee
blog.ipspace.net·18h
📚Self-Documenting Code
Open Agent Specification (Agent Spec): A Unified Representation for AI Agents
github.com·6h·
Discuss: Hacker News
🧱WASM Components
I built LimitWarden, a tool to auto-patch missing resource limits with usage-based requests
reddit.com·12h·
Discuss: r/kubernetes
📊Profilers
Agentic AI: Redefining Automation for Developers
teleglobals.com·1d·
Discuss: DEV
🎭Program Synthesis
10 Perplexity Comet Agents to Automate Your Work in the Browser
pub.towardsai.net·4h
💬Interactive REPLs
Bricked Boss's Mediatek MT8183 chinese tablet with ab partition
reddit.com·4h·
Discuss: r/XDA_developers
🗺️Memory Mapping
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·1d
✅Type Checking
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.org·20h
🪜Recursive Descent
Know Thyself? On the Incapability and Implications of AI Self-Recognition
arxiv.org·20h
🌱Minimal ML
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.to·5h·
Discuss: DEV
📦Monorepos
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·1d
📋Souffle Datalog
The AI Agent Onboarding Problem (The Real Version)
dev.to·1d·
Discuss: DEV
🎯Finite Automata
9 ReSharper Features Every .NET Developer Should Know
blog.jetbrains.com·1d
🎮Language Ergonomics
Your B2B SEO is Bleeding Traffic. The Fix Isn't More Keywords—It's UX.
dev.to·13h·
Discuss: DEV
🎮Language Ergonomics
Switching Me Softly: Zero‑Downtime PostgreSQL 12 17 at Fresha
dev.to·2d·
Discuss: DEV
📮Persistent Queues