LAUNCH · SIGNAL STARTUP
Show HN: Statespace – learn formal methods by building a tiny checked language
I had claude build a course optimized for me (backend engineer with some systems experience) to learn formal methods. Main idea being - I want to build a checked application langu…
出典・元記事Hacker News — Show HNhttps://statespace.play.naigap.com/ 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP