Not so "mini"-dumps: How we found missing crashes on SteamOS
๐๏ธSystem Observability
Flag this post
Building our geospatial database in production
๐ฏGADT
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
๐ขAlgebraic Data Types
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
๐งชProperty-Based Testing
Flag this post
I Built a Local Dev Tool for ChatGPT Apps SDK
๐IOKit
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
๐งDevOps
Flag this post
Jetpack Compose Stability Analyzer: real-time IDE insights, runtime tracing and CI stability checks
๐Runtime Verification
Flag this post
Show HN: Code tours and feedback with your Agent in VSCode โ local and cloudless
๐งDevOps
Flag this post
Navigating the Storm: Driving AI Agents
๐งDevOps
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.comยท1d
๐Reproducible Builds
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โฆ
โAutomated Theorem Proving
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
๐Network Protocols
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.orgยท2d
๐ก๏ธseL4
Flag this post
Gain Control of Your Innovation With Low Code Technologies
devops.comยท23h
๐งDevOps
Flag this post
Kubernetes Training material
โKubernetes
Flag this post
Why Agentic AI Needs a Context-Based Approach
thenewstack.ioยท1d
๐คProgram Synthesis
Flag this post
Loading...Loading more...