Hackernews posts about Typepad

1. Show HN: Typebase – A single-folder back end you write in TypeScript (typebase.io)
   119 points by andrewww-dev 25 days ago | 49 comments
2. Typesafe-computer-use drives a Mac toward a goal for 1/50th of a cent per step (github.com)
   82 points by rahimnathwani 4 days ago | 60 comments
3. ExactTex. A gradually-typed superset of LaTeX (github.com)
   28 points by camilochs 19 days ago | 22 comments
4. LeanDB a strongly Typed SQL front end (theoric.com)
   18 points by hargup 24 days ago | 6 comments
5. Codes – typed application outcomes for Kotlin and Java (github.com)
   16 points by aalsanie 26 days ago | 4 comments
6. Research that compiles: typed claims, conflict detection and next actions (grainulator.app)
   5 points by aid-ninja about 20 hours ago | 1 comments
7. Inventor of ChatGPT and RLHF Launches Typesafe.ai (techcrunch.com)
   5 points by ryan_j_naughton 1 day ago | discuss
8. Typesafe AI (typesafe.ai)
   5 points by FinnLobsien 5 days ago | discuss
9. Lexend: Open typeface shown to improve reading proficiency (lexend.com)
   4 points by farlight 1 day ago | 1 comments
10. A malleable IDE for typed knowledge (github.com)
    4 points by arscontexta 7 days ago | 1 comments
11. Typesafe AI (typesafe.ai)
    4 points by h1fra 3 days ago | discuss
12. I Typed 'Block the Merger.' AI Revised It to 'Drop Your Opposition.' (www.contrariannews.org)
    4 points by DeepLogin 11 days ago | discuss
13. DuckDB extension: typed Jev answers as real SQL types (github.com)
    3 points by jmrothweiler about 8 hours ago | discuss
14. TypeSafe's Jev Can't See. I Made It Guess What I Drew Anyway (mikulskibartosz.name)
    3 points by myszon 1 day ago | discuss
15. TypeSafe AI's Jev Is Not an LLM – and That May Be the Point (forkast.news)
    3 points by Bluestein 2 days ago | discuss
16. TypeSafe / Jev latency-focused demos built by Devin (github.com)
    3 points by rahimnathwani 2 days ago | discuss
17. Mini-Jev – typesafe's Jev implemented on top of an LLM locally (github.com)
    3 points by phyrex 3 days ago | discuss
18. Typesafe AI (typesafe.ai)
    3 points by bretpiatt 4 days ago | discuss
19. LeanDB: A strongly typed SQL Front end (theoric.com)
    3 points by matt_d 6 days ago | discuss
20. Tzopilotl: A statically typed live-coding language for real-time audio (lfnoise.github.io)
    3 points by jarmitage 16 days ago | discuss
21. Show HN: KinoPipe – FFmpeg as a service for AI agents (typed ops, no shell) (kinopipe.com)
    3 points by nicniclapanique 24 days ago | discuss
22. Prison Gothic – Hong Kong Typeface (en.wikipedia.org)
    3 points by keiferski 26 days ago | discuss
23. AI Coding Has Erased the Supposed Advantage of Statically Typed Languages (yyhh.org)
    3 points by yogthos 26 days ago | discuss
24. Getting to the Data: DataFrames, notebooks and typed pipelines [video] (www.youtube.com)
    3 points by internet_points 27 days ago | discuss
25. Show HN: Typesafe Java SDK (Unofficial) (github.com)
    2 points by qainsights 1 day ago | 2 comments
26. Show HN: Open-Source Alternative to TypeSafe.ai (github.com)
    2 points by ptitov 3 days ago | 1 comments
27. Typesafe's Jev is the fish at the poker table (backnotprop.com)
    2 points by ramoz 3 days ago | 1 comments
28. Show HN: Dagic – a typed DAG language so LLM agents can compose tool calls (github.com)
    2 points by RohitEdathil 17 days ago | 1 comments
29. A MySQL plugin that filters rows by meaning (built on TypeSafe Jev) (github.com)
    2 points by maayanlevy-hn about 8 hours ago | discuss
30. A deep dive into Jev, TypeSafe's System One model (flaviocopes.com)
    2 points by sts153 about 9 hours ago | discuss