How to Name Your Span Attributes
opentelemetry.io·4h
🤝Protocol Design
The discipline of great code
infoworld.com·12h
🔌Network Programming
The Bitter Lesson
jxsh.io·16h
🧩Theorem Proving
TBM 375: Minimally Viable Consistency
cutlefish.substack.com·1d·
Discuss: Substack
🧮Programming Language Theory
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·4h·
Discuss: Hacker News
🔍Static Analysis
Universal Algorithmic Intelligence
uaiasi.com·20h·
Discuss: Hacker News
🧮Programming Language Theory
Joint Error Propagation
theorangeduck.com·3d
🎲Probabilistic Programming
Vibe Coding Is Going Mainstream—But Token Costs Still Gate Who Gets to Join
cheapercursor.com·16h·
Discuss: DEV
🔧Compiler Design
Issues with fine tuning llama 3.1 instruct
reddit.com·12h·
Discuss: r/LLM
🧭SMT Solvers
SQLStorm: Taking Database Benchmarking into the LLM Era
github.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Reassessing air pollution exposure: How daily mobility and activities shape individual risk in greater Paris
sciencedirect.com·2h
🕸️Graph Theory
Need Ideas: Designing an Interactive Website for My Quantum Computing Club
reddit.com·6h·
Discuss: r/webdev
🔧Compiler Design
Create Page Object model(POM) with LLM(GitHub Copilot) and Playwright MCP (Model Context Protocol)
blog.devops.dev·6h
🔧Compiler Design
Deep active optimization for complex systems
nature.com·2d
🎲Probabilistic Programming
Refactor Smart Today, Move Faster Tomorrow - Part 1: Before You Touch a Line of Code
dev.to·4h·
Discuss: DEV
🔍Static Analysis
C is the language I eventually settled on
reddit.com·1d·
Discuss: r/C_Programming
🔧Compiler Design
AI-Assisted Development: A Three-Act Play
betweentheprompts.com·1d·
Discuss: Hacker News
🏗️Software Architecture
Cut Complexity, Control Data: The Path To AI at Scale
thenewstack.io·4h
🌍Distributed Systems
LLM-Based Agents for Competitive Landscape Mapping in Drug Asset Due Diligence
arxiv.org·2d
⚖Algorithmic Game Theory
As a non-technical PM, I built a real-time multilingual social platform where everyone speaks their own language. Claude wrote 100% of the code.
reddit.com·11h·
Discuss: r/ClaudeAI
👐Open Source Software