Theo Johnson-Freyd
categorified.netยท13h
๐Ÿ”—Category Theory
Learning in Temporally Complex Problems: The Role of External Knowledge
pubsonline.informs.orgยท15hยท
Discuss: Hacker News
๐Ÿš‚Error Propagation
Valorant's 128-Tick Servers
technology.riotgames.comยท1dยท
Discuss: Hacker News
๐Ÿ“ˆPerformance Tools
Why We Need SIMD
parallelprogrammer.substack.comยท2dยท
Discuss: Substack
๐Ÿ”€SIMD Programming
For Those Who Use Claude Code Together with Codex
coding-with-ai.devยท21hยท
Discuss: Hacker News
๐Ÿ“šSelf-Documenting Code
Working for a Vendor with David Gee
blog.ipspace.netยท21h
๐Ÿ“šSelf-Documenting Code
I built LimitWarden, a tool to auto-patch missing resource limits with usage-based requests
reddit.comยท15hยท
Discuss: r/kubernetes
๐Ÿ“ŠProfilers
Open Agent Specification (Agent Spec): A Unified Representation for AI Agents
github.comยท9hยท
Discuss: Hacker News
๐ŸงฑWASM Components
10 Perplexity Comet Agents to Automate Your Work in the Browser
pub.towardsai.netยท7h
๐Ÿ’ฌInteractive REPLs
Index-mcp native Rust
github.comยท1dยท
Discuss: r/rust
๐Ÿš‚Cranelift Backend
Bricked Boss's Mediatek MT8183 chinese tablet with ab partition
reddit.comยท7hยท
๐Ÿ—บ๏ธMemory Mapping
The AI Agent Onboarding Problem (The Real Version)
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏFinite Automata
Code Reviews with AI: Making Feedback Fast, Fair, and Effective
dev.toยท44mยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
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ยท16hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Switching Me Softly: Zeroโ€‘Downtime PostgreSQL 12 17 at Fresha
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ฎPersistent Queues
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.toยท7hยท
Discuss: DEV
๐ŸŒฑMinimal ML
STOP shipping AI code without reviewing it first
reddit.comยท11hยท
Discuss: r/webdev
๐ŸššCode Migration
AI-Driven Data Engineering: Building Real-Time Intelligence Pipelines
dev.toยท1hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.toยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis