Typed coverage.

Show HN: GAI – A Go runtime for typed, tool-using LLM agents

🤖 Type-safe, provider-neutral agent runtime for Go with native tools, memory, and OpenTelemetry - lace-ai/gai…

Show HN: Watch random code typed out on an MS-DOS IDE

As a software dev, I really enjoy having live coding videos playing in the background while I work. But it's surprisingly difficult to find hour+ long videos of coding without comm…

Most RAG Hallucinations Are Extraction Errors: Seven Patterns for a Typed Generation Contract

Enterprise Document Intelligence [Vol.1 #8ter] - Naming the RAG error correctly matters: model reads the context, so a wrong answer is an extraction error, not a hallucination. Sev…

Stop Returning Text from RAG: The Typed Answer Contract That Prevents Hallucination

Enterprise Document Intelligence [Vol.1 #8A] - The schema is the contract: every field is a question the pipeline asks the model, and every answer is checkable The post Stop Return…

Converted open source .NET Service with one AI prompt so its now callable as strongly typed NPM module remotely

Elixir v1.20 released: now a gradually typed language

From Elixir v1.20, every program is now gradually type checked in search for verified bugs and typing violations.…

Show HN: Podlite 2.0 – a block-based markup language with typed blocks

The 2.0 tag is up. Two breaking changes, eight additions. Podlite 2.0 released!…

SkillDAG: Self-Evolving Typed Skill Graphs for LLM Skill Selection at Scale

As LLM agents adopt large skill libraries, selecting the right subset becomes a structural problem rather than a similarity-matching one: skills depend on, conflict with, specializ…

I wrote up how I manage product tour state with Zustand — typed stores, persistence, and a11y selectors

I got tired of stringly-typed postMessage between React Native and WebView, so I built a type-safe bridge

Piper – DevOps copilot where the LLM picks typed actions, not shell

Pipeline Intelligence, Provisioning, Error-handling & Releases — terminal-first LLM-driven DevOps copilot - antoniociccia/piper…

How can I stop my iPhone incorrectly 'correcting' words after I've typed them?

Show HN: ERPC – encrypted, typed RPC over any bidirectional channel

Typed, end-to-end encrypted RPC over any bidirectional channel. - dotexorg/erpc…

Linguini | A typed localization language and compiler toolchain for Svelte

Great, your CSS output is typed. Your 8px + 45deg math is still a string though.

Why I'm Building Truly Typed

By Deepan Wadhwa · ✓ Verified human · If you don't know what truly typed is - it is a writing application which intends to bring transparency to the writing process to help both th…

Spy: language semantics for a statically-typed compiled variant of Python

Language semantics: phases of execution, redshifting, static typing, and metaprogramming in SPy…

SPy: an interpreter and a compiler for a statically typed variant of Python

SPy language. Contribute to spylang/spy development by creating an account on GitHub.…

Configuration in Go Should Be Typed: Introducing confkit

Every Go application eventually needs configuration. At the beginning, it is usually...…

TypedMemory – long-term memory and reflection for AI agents

TypedMemory. Contribute to canis-minor/typedmem development by creating an account on GitHub.…

[Showoff Saturday] We got tired of re-explaining our architecture, requirements, and conventions to coding agents every session — so we built Bitloops, a typed code graph agents query for context (including architecture & requirements)

We Fixed Karpathy’s LLM Wiki - PENgram Is the Typed Knowledge Graph Pipeline Everyone Asked For

We recently published an article about the gaps in Karpathy's LLM Wiki pattern. The thesis was...…