Text to Speech Sam
π£οΈCMU Pronouncing
Flag this post
Automated Semantic Validation & Knowledge Graph Augmentation for TUI Systems
βAutomated Theorem Proving
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
π―Gradual Typing
Flag this post
Enhanced Microbial Diagnostics via Hyperdimensional Microbial Signature Analysis for Endocarditis
πHyperbolic Geometry
Flag this post
We are all becoming managers
πLanguage Evolution
Flag this post
Our Journey to Affordable Logging
πΏZFS Archaeology
Flag this post
Data freshness (end-to-end latency) in ClickHouse and Apache Pinot
πStreaming Databases
Flag this post
I Built Quality Control Into an AI Tool's ArchitectureβHere's What It Generated
π§ͺProtocol Fuzzing
Flag this post
Automated Geochemical Modeling for Scaled Geothermal Reservoir Simulation
β‘Incremental Computation
Flag this post
LaTeX, LLMs and Boring Technology
πConcrete Syntax
Flag this post
Claudeskills.cc β Share, Discover, and Reuse Claude/OpenAI Agent Skills
β‘Proof Automation
Flag this post
Show HN: Project Journal β Give AI coding assistants persistent memory
πΎPersistence Strategies
Flag this post
ReasoningBank Explained: How AI Agents Are Finally Learning to Remember
πΎPersistence Strategies
Flag this post
Hybrid Knowledge Graph Reasoning for Accelerated Materials Discovery
πΈοΈGraph Embeddings
Flag this post
Automated Spectral Analysis of Ancient Meteorite Cult Relic Replicas for Provenance Reconstruction
πSpectroscopy
Flag this post
Loading...Loading more...