Show HN: Lessie AI – Your People Search AI Agent
lessie.ai·11h·
Discuss: Hacker News
🌸Bloom Indexing
Garbage Collection (GC) Pauses: A "stop-the-world" GC pause in a critical service
howtech.substack.com·1d·
Discuss: r/programming
⏱️Real-Time GC
The FLP Theorem
shachaf.net·12h·
Discuss: Lobsters, Hacker News, r/programming
🤝Session Protocols
Build a Web Research Agent with Strands Agents, Ollama, Qwen3, and the Tavily MCP Server
garystafford.medium.com·21h·
Discuss: r/programming
🌐Network Protocols
What I learned building a programming language with LLM agents
eddmann.com·4d·
Discuss: Hacker News
🔮Metacircular Evaluators
From OCL to JSX: declarative constraint modeling in modern SaaS tools
arxiv.org·1h
🧱WASM Components
When AI Joins the Team: Guardrails, Roles, and the Work That Matters
amazon.com·2d·
Discuss: DEV
🎮Language Ergonomics
C++ Labs: Build Calculator, Manipulate Strings, & Master Class Inheritance
dev.to·1d·
Discuss: DEV
🎓Teaching Compilers
Trajectory Encryption Cooperative Salvo Guidance
arxiv.org·1h
🎭Program Synthesis
My Google Summer of Code Journey: Part 3
dev.to·1d·
Discuss: DEV
🏷️Memory Tagging
Why Enterprises Need Data Validation AI Agents for Accuracy at Scale
dev.to·1d·
Discuss: DEV
🏷️Attribute Grammars
Are We Chasing Language Hype Over Solving Real Problems?
dev.to·2d·
Discuss: DEV
🔗Language Toolchains
Why Senior Developers Document Differently Than Juniors
dev.to·18h·
Discuss: DEV
📚Self-Documenting Code
[Tool Release] Mini PQC Scanner – CLI Tool to Check Server Crypto Readiness
github.com·14h·
Discuss: r/selfhosted
🛡️Parser Security
Large Language Models as End-to-end Combinatorial Optimization Solvers
arxiv.org·1h
🪜Recursive Descent
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.org·1h
🗺️Region Inference
Building an AI Sales Infrastructure with Claude, n8n, and Apollo
dev.to·20h·
Discuss: DEV
🛡️Error Ergonomics
Explainable AI for Maritime Autonomous Surface Ships (MASS): Adaptive Interfaces and Trustworthy Human-AI Collaboration
arxiv.org·1d
🛡️Security Type Systems
Theory Meets Practice for Bit Vectors Supporting Rank and Select
arxiv.org·1h
🎯Bit Vectors
Equilibrium flow: From Snapshots to Dynamics
arxiv.org·1h
🎭Program Synthesis