News for hackers. Stuff that matters.

A comment on "Why don't you use dependent types?". Parent comment

Re:"Why don't you use dependent types?" by flyingsilverfin on Tuesday November 04, 2025 @11:51PM (#45819267)
Just spotted this! We (I'm CTO at TypeDB) just released some early benchmarks: https://typedb.com/blog/first-look-at-typedb-3-benchmarks/
[ Parent | on HN ]

There are no comments on this comment yet.