Hackernews posts about Typepad
- Typed Assembly Language (2000) (www.cs.cornell.edu)
- A preview of Coalton 0.2, a statically-typed Lisp (coalton-lang.github.io)
- Ibex: A Typed DataFrame Language with C++ Code Generation (bobjansen.net)
- Adonis V7 now has End-to-End typesafty (adonisjs.com)
- Show HN: Typed overlay over SQL now supports DuckDB (www.datahaskell.org)
- A Typed Language for Agent Coordination (johncarlosbaez.wordpress.com)
- Sudo-rs echos * for every character typed breaking security measures (bugs.launchpad.net)
- I wrote a little app that proves that a text was typed by hand (www.typeproof.app)
- Show HN: SAIA – Typed Contracts for LLM Outputs (github.com)
- Ibex – Typed DataFrame DSL (bobjansen.github.io)
- Show HN: The Mog Programming Language (moglang.org)