Text to Speech Sam
texttospeechrobot.comΒ·10hΒ·
Discuss: Hacker News
πŸ—£οΈCMU Pronouncing
Flag this post
AI Writes 100% of My Code and 0% of My Code
danieljeffries.substack.comΒ·1dΒ·
Discuss: Substack
⚑Proof Automation
Flag this post
The Owl, the Scientific Method, and Claude Code: A Debugging Story
vsevolod.netΒ·3dΒ·
πŸ‘‘Isabelle
Flag this post
Automated Semantic Validation & Knowledge Graph Augmentation for TUI Systems
dev.toΒ·2dΒ·
Discuss: DEV
βœ“Automated Theorem Proving
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nlΒ·2dΒ·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Enhanced Microbial Diagnostics via Hyperdimensional Microbial Signature Analysis for Endocarditis
dev.toΒ·7hΒ·
Discuss: DEV
πŸŒ€Hyperbolic Geometry
Flag this post
Floxy β€” Lightweight Saga Workflow Engine on Go
reddit.comΒ·5hΒ·
Discuss: r/golang
πŸ”„Sync Engine
Flag this post
We are all becoming managers
juan.com.uyΒ·10hΒ·
Discuss: Hacker News
πŸ”„Language Evolution
Flag this post
Our Journey to Affordable Logging
techblog.cloudkitchens.comΒ·5dΒ·
πŸ’ΏZFS Archaeology
Flag this post
Data freshness (end-to-end latency) in ClickHouse and Apache Pinot
startree.aiΒ·2dΒ·
Discuss: Hacker News
🌊Streaming Databases
Flag this post
Migrating my hopelessly outdated Hugo blog with Claude Code
bart.degoe.deΒ·18hΒ·
Discuss: Hacker News
πŸ”„Language Evolution
Flag this post
I Built Quality Control Into an AI Tool's Architectureβ€”Here's What It Generated
dev.toΒ·11hΒ·
Discuss: DEV
πŸ§ͺProtocol Fuzzing
Flag this post
Automated Geochemical Modeling for Scaled Geothermal Reservoir Simulation
dev.toΒ·18hΒ·
Discuss: DEV
⚑Incremental Computation
Flag this post
LaTeX, LLMs and Boring Technology
eli.thegreenplace.netΒ·1dΒ·
πŸ“Concrete Syntax
Flag this post
Claudeskills.cc – Share, Discover, and Reuse Claude/OpenAI Agent Skills
claudeskills.ccΒ·1dΒ·
Discuss: Hacker News
⚑Proof Automation
Flag this post
Show HN: Project Journal – Give AI coding assistants persistent memory
github.comΒ·20hΒ·
Discuss: Hacker News
πŸ’ΎPersistence Strategies
Flag this post
ReasoningBank Explained: How AI Agents Are Finally Learning to Remember
rewire.itΒ·1dΒ·
Discuss: Hacker News
πŸ’ΎPersistence Strategies
Flag this post
Hybrid Knowledge Graph Reasoning for Accelerated Materials Discovery
dev.toΒ·5hΒ·
Discuss: DEV
πŸ•ΈοΈGraph Embeddings
Flag this post
Automated Spectral Analysis of Ancient Meteorite Cult Relic Replicas for Provenance Reconstruction
dev.toΒ·13hΒ·
Discuss: DEV
🌈Spectroscopy
Flag this post
πŸ“š Recent research has shed light on the transformative poten
dev.toΒ·9hΒ·
Discuss: DEV
πŸ”Vector Forensics
Flag this post