Shift left on x
blog.ploeh.dkยท1d
๐Ÿš€Code Motion
Case Study: Building a Component Library
uxpin.comยท23h
๐ŸŽฎLanguage Ergonomics
MathArena Apex: Unconquered Final-Answer Problems
matharena.aiยท2dยท
Discuss: Hacker News
๐ŸงฉConstraint Solvers
๐Ÿ’Ž Day 5 of 30 Days of Solidity โ€” Build a Treasure Chest Contract
github.comยท1dยท
Discuss: DEV
๐Ÿ”€SSA Form
Full code to build your own AI agent with Python
thenewaiorder.substack.comยท1dยท
Discuss: Substack
๐Ÿ—ƒ๏ธQuery Compilation
Relative Code Comprehensibility Prediction
arxiv.orgยท7h
๐ŸŽฎLanguage Ergonomics
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.orgยท7h
โš–๏ธWeighted Automata
I Tested Claude 4.5 Against GPT-4 for 48 Hours. Here's What Nobody's Telling You.
dev.toยท2dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
arxiv.orgยท7h
๐Ÿ”Lens Libraries
The Engineering Scalability Crisis: Why Standard Code Structures Matter More Than Ever
dev.toยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
From Shadow to Light: Toward Safe and Efficient Policy Learning Across MPC, DeePC, RL, and LLM Agents
arxiv.orgยท7h
๐ŸชœRecursive Descent
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.toยท20hยท
Discuss: DEV
๐ŸŒฟTrie Variants
Cross-Modal Content Optimization for Steering Web Agent Preferences
arxiv.orgยท7h
โœจGleam
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฆMonorepos
Improving Code Generation Accuracy by Automatically Searching for Similar Examples After Referencing Documentation
dev.toยท19hยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.orgยท7h
โšกPartial Evaluation
Optimizing Python Loops for Speed and Memory Efficiency with Generators
dev.toยท17hยท
Discuss: DEV
๐Ÿš€Code Motion
I built a faster singleflight implementation for Go (zero allocations, ~4x faster than std)
reddit.comยท20hยท
Discuss: r/golang
๐Ÿ’พZero-Copy
LegalSim: Multi-Agent Simulation of Legal Systems for Discovering Procedural Exploits
arxiv.orgยท7h
๐ŸŽญRacket Modules