Hackernews posts about Typepad

1. Elixir v1.20: Now a gradually typed language (elixir-lang.org)
   992 points by cloud8421 18 days ago | 411 comments
2. Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml (coalton-lang.github.io)
   203 points by b-man 26 days ago | 42 comments
3. Show HN: Treenix. Typed runtime for humans and agents (github.com)
   5 points by treenix_io 6 days ago | discuss
4. Why I'm Building Truly Typed (trulytyped.com)
   4 points by dwa3592 27 days ago | discuss
5. Show HN: Typedframes – Pandas/polars column name checking at lint time (github.com)
   3 points by w-martin 15 days ago | 2 comments
6. Show HN: Monolith, live typed queries on real Postgres for Java (no JDBC) (github.com)
   3 points by uday_singlr 21 days ago | 1 comments
7. Omega v1.0 Final Candidate: a typed governance language for autonomous systems (omega-lang.org)
   3 points by jstakelum 5 days ago | discuss
8. Show HN: Folent – interpolate text between different font typefaces (mabugis.github.io)
   3 points by mabugis 7 days ago | discuss
9. Show HN: Topolog – Plans as typed DAG programs, deadlines computed, not guessed (www.topolog.co.uk)
   3 points by rohithbv 11 days ago | discuss
10. Using Jai's Unique and Powerful Compiler for Typesafe Units (www.forrestthewoods.com)
    3 points by erenon 14 days ago | discuss
11. ConjureEnum: lightweight header-only C++20 enum and typename reflection (github.com)
    3 points by gjvc 17 days ago | discuss
12. Theatrical – typesafe SDK, CLI and UI components for cinema platform APIs (theatrical.dev)
    3 points by designedbybruno 17 days ago | discuss
13. Typeface Specimens of Houston Mono (arslan.io)
    3 points by farslan 21 days ago | discuss
14. Geblang – static typed, interpreted language written in Go (github.com)
    3 points by dwgebler 22 days ago | discuss
15. Show HN: Vithos – typesafe full-stack template for Cloudflare Workers (github.com)
    2 points by reybahl 14 days ago | 1 comments
16. Show HN: ASys – A typed binary protocol for AI agents to operate servers(no SSH) (github.com)
    2 points by vincentping 19 days ago | 1 comments
17. Swoole AOT is officially becoming TypePHP (x.com)
    2 points by 0xblinq 4 days ago | discuss
18. Jo is a statically typed language that enables compile-time sandboxing (github.com)
    2 points by rickcarlino 10 days ago | discuss
19. Geblang 1.15 – the ergonomic, statically typed language (github.com)
    2 points by dwgebler 12 days ago | discuss
20. Developing Statically Typed Programming Language (2017) (blog.mgechev.com)
    2 points by downbad_ 17 days ago | discuss
21. Jo: A statically typed language that targets Ruby (jo-lang.org)
    2 points by thunderbong 17 days ago | discuss
22. Jo – a statically typed language with fine-grained capabilities (jo-lang.org)
    2 points by liufengyun 17 days ago | discuss
23. Primate 0.39: Crossbuilding, typed path parameters and Marko 6 (primate.run)
    2 points by hansmighty 20 days ago | discuss
24. Basketeer – a typed TS SDK for your Tesco account, with nutrition data (github.com)
    2 points by tobyandrews1985 21 days ago | discuss
25. Piper – DevOps copilot where the LLM picks typed actions, not shell (github.com)
    2 points by arkhan89 23 days ago | discuss
26. Show HN: ERPC – encrypted, typed RPC over any bidirectional channel (github.com)
    2 points by dotexorg 25 days ago | discuss
27. Enumerating Ill-Typed Programs for Testing Type Analyzers (dl.acm.org)
    1 points by matt_d 10 days ago | discuss
28. Typeface Specimens of Houston Mono (arslan.io)
    1 points by wapasta 18 days ago | discuss
29. Show HN: Podlite 2.0 – a block-based markup language with typed blocks (podlite.org)
    1 points by zagap 19 days ago | discuss
30. Spy: language semantics for a statically-typed compiled variant of Python (antocuni.eu)
    1 points by fanf2 28 days ago | discuss