Show HN: Jod – Conversational observability with MCP, no more dashboard juggling
👁️System Observability
Flag this post
How Switchboard, MD automates real-time call transcription in clinical contact centers with Amazon Nova Sonic
aws.amazon.com·19h
🤖Program Synthesis
Flag this post
Machine Scheduler in LLVM – Part II
🏃Escape Analysis
Flag this post
Do I want Coders to Code?
🏃Escape Analysis
Flag this post
A Comparative Study of Hybrid Post-Quantum Cryptographic X.509 Certificate Schemes
arxiv.org·8h
🔒Protocol Verification
Flag this post
Code Smell 313 - Workslop Code
🔲Cellular Automata
Flag this post
Async/Await is finally back in Zig
⚡Process Calculi
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·8h
🔍Formal Verification
Flag this post
How I Built an AI Coworker for Telex.im
🌐ActivityPub
Flag this post
NaturalVoices: A Large-Scale, Spontaneous and Emotional Podcast Dataset for Voice Conversion
arxiv.org·8h
🍎Apple
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·8h
🔍CBMC
Flag this post
F5 Bigip <--tls--> k8s nodeport
🌐NetworkProtocols
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
🔤Language Design
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·8h
⚙️Compiler Design
Flag this post
Loading...Loading more...