YC W26

mentions 2 type Person feed RSS

// recent coverage 2 mentions

13:10

2026-06-18

github.com

ai-safety

Show HN: Talos – Open-source WASM interpreter for Lean

Cajal (YC W26) released Talos, an open-source WebAssembly interpreter and formal verification framework built in Lean, enabling mathematical proofs of correctness for Wasm modules. The tool targets AI…

20:57

2026-06-13

github.com

ai-agents

Show HN: Open-Sourced Approxima, Our Agentic QA Tool to Catch Breakages Faster

YC W26 batch startup Approxima open-sourced its agentic QA tool under MIT license, enabling self-hosted web agents to follow and verify user journeys. The tool features explore mode for automatic step…

// co-occurs with top 8 entities

Cajal 1 Talos 1 WebAssembly 1 Lean 1 Rust 1 Stein's GCD algorithm 1 num-integer 1 Approxima 1

// topics top 6 topics

developer tools 2 ai safety 1 machine learning 1 ai agents 1 ai tools 1 ai startups 1