Shift left on x
blog.ploeh.dk·1d
🚀Code Motion
How we trained an ML model to detect DLL hijacking
securelist.com·1d
🏷️Memory Tagging
💎 Day 5 of 30 Days of Solidity — Build a Treasure Chest Contract
github.com·1d·
Discuss: DEV
🔀SSA Form
Case Study: Building a Component Library
uxpin.com·20h
🎮Language Ergonomics
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
Full code to build your own AI agent with Python
thenewaiorder.substack.com·23h·
Discuss: Substack
🗃️Query Compilation
Automated code reviews via mutation testing
github.com·11h·
Discuss: Hacker News
🎲Test Generators
Tired of Juggling Multiple Projects? I Built a Framework to Automate It All.
dev.to·6h·
Discuss: DEV
🎮Language Ergonomics
Deep learning the sources of MJO predictability: a spectral view of learned features
arxiv.org·5h
🪜Recursive Descent
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1d
📋Souffle Datalog
AI Agents for Marketing: A Real-World Content Automation Case Study
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
TROLL: Trust Regions improve Reinforcement Learning for Large Language Models
arxiv.org·5h
🎭Erlang OTP
Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
arxiv.org·5h
📮Message Queues
Relative Code Comprehensibility Prediction
arxiv.org·5h
🎮Language Ergonomics
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.org·5h
⚖️Weighted Automata
The Engineering Scalability Crisis: Why Standard Code Structures Matter More Than Ever
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
arxiv.org·5h
🔍Lens Libraries
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.to·1d·
Discuss: DEV
📦Monorepos
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·17h·
Discuss: DEV
🌿Trie Variants
From Shadow to Light: Toward Safe and Efficient Policy Learning Across MPC, DeePC, RL, and LLM Agents
arxiv.org·5h
🪜Recursive Descent