Not so "mini"-dumps: How we found missing crashes on SteamOS
blog.sentry.io·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Building our geospatial database in production
radar.com·22h·
Discuss: Hacker News
🎯GADT
Flag this post
I Built a Local Dev Tool for ChatGPT Apps SDK
itsnikhil.github.io·20h·
Discuss: Hacker News
🔌IOKit
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·3d·
Discuss: Hacker News
🔧DevOps
Flag this post
Show HN: Code tours and feedback with your Agent in VSCode – local and cloudless
intraview.ai·20h·
Discuss: Hacker News
🔧DevOps
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·5d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·9h
📚Automata Learning
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·1d
📚Automata Learning
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·21h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Improving Gene Trees without more data
arxiv.org·9h
🕸️Graph Theory
Flag this post
Automated Anomaly Detection in Surgical Instrument Tracking Using Federated Learning
dev.to·14h·
Discuss: DEV
👁️Observability
Flag this post
Building a Smart Recipe Agent with Telex & FastAPI — Daily Tips, Ingredient Parsing, and Smart Conversions
dev.to·2d·
Discuss: DEV
🌐Network Protocols
Flag this post
How I Use AI to Build Frontend Apps: My Candid, Messy Process
dev.to·2d·
Discuss: DEV
🌐ActivityPub
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·1d
🧠Automated Reasoning
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·2d
🎯Hindley-Milner
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·6h·
Discuss: DEV
Automated Theorem Proving
Flag this post
⚡ Rethinking Prompt Engineering: How Agent Lightning’s APO Teaches Agents to Write Better Prompts
dev.to·2h·
Discuss: DEV
Automated Theorem Proving
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·2d
🛡️seL4
Flag this post