{"type": "article", "title": "Show HN: Talos – Open-source WASM interpreter for Lean", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/show-hn-talos-open-source-wasm-interpreter-for-lean", "original_source": "https://github.com/cajal-technologies/talos", "published": "2026-06-18T13:10:44+00:00", "accessed": "2026-06-18", "id": "show-hn-talos-open-source-wasm-interpreter-for-lean"}