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 esafak on Monday November 03, 2025 @09:18AM (#45799184)
What made you choose TypeDB? What kind of performance are you getting out of it?
[ Parent | on HN ]
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 ]