Show HN: Jod โ€“ Conversational observability with MCP, no more dashboard juggling
jodmcp.comยท2dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Flag this post
How Switchboard, MD automates real-time call transcription in clinical contact centers with Amazon Nova Sonic
aws.amazon.comยท14h
๐Ÿค–Program Synthesis
Flag this post
Machine Scheduler in LLVM โ€“ Part II
myhsu.xyzยท2dยท
๐ŸƒEscape Analysis
Flag this post
The APM paradox
honeybadger.ioยท1dยท
๐Ÿ‘๏ธSystem Observability
Flag this post
A Comparative Study of Hybrid Post-Quantum Cryptographic X.509 Certificate Schemes
arxiv.orgยท2h
๐Ÿ”’Protocol Verification
Flag this post
FSWatcher: A new cross platform file watcher for MacOS, Linux and Windows
reddit.comยท20hยท
Discuss: r/golang
๐Ÿ”ŒIOKit
Flag this post
Geonum โ€“ geometric number library for unlimited dimensions with O(1) complexity
github.comยท17hยท
Discuss: Hacker News
๐ŸซOCaml
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.orgยท2h
๐ŸงฉSAT Solvers
Flag this post
Building an Airport Info AI Agent with Mastra and Telex
dev.toยท11hยท
Discuss: DEV
๐Ÿ”ŒAPIs
Flag this post
What would you do? Opening my lab to the internet, DNS/cert/design/security questions.
reddit.comยท14hยท
Discuss: r/homelab
๐Ÿ HomeLab
Flag this post
Proxmox HA & Ceph Cluster Question about networking with mixed CPU's
reddit.comยท2dยท
Discuss: r/homelab
๐Ÿ HomeLab
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.comยท2dยท
Discuss: Substack
โšกProcess Calculi
Flag this post
Wanted to say hello.
reddit.comยท2dยท
Discuss: r/homelab
๐Ÿ HomeLab
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgยท2h
๐Ÿ”Formal Verification
Flag this post
Bringing locally running LLM into your NodeJS project
dev.toยท13hยท
Discuss: DEV
๐ŸณContainerization
Flag this post
NaturalVoices: A Large-Scale, Spontaneous and Emotional Podcast Dataset for Voice Conversion
arxiv.orgยท2h
๐ŸŽApple
Flag this post
How I Built an AI Coworker for Telex.im
dev.toยท9hยท
Discuss: DEV
๐ŸŒActivityPub
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.orgยท2h
๐Ÿ”CBMC
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Finite State Machines
Flag this post
Building a Google Play Store Rating Agent with Mastra and Telex.im
dev.toยท10hยท
Discuss: DEV
๐Ÿ”ŒAPIs
Flag this post