Show HN: Kotlin Money(blog.eriksen.com.br)

409 points by eriksencosta 2 years ago | 215 comments

Blog post introducing Money, a Kotlin library for monetary calculations, allocations, rounding, and currency handling.

We’re releasing Jev 1.14.0 along with experimental features for dreamers(typesafe.ai)

317 points by emschwartz 11 days ago | 101 comments

Company blog post from typesafe.ai announcing the Jev 1.14.0 release along with experimental features.

Vasopressin deficiency: driver of social impairment and fluid imbalance in ASD? [pdf](med.stanford.edu)

114 points by jbotz 2 years ago | 77 comments

Towards Nyquist Learners(gwern.net)

59 points by sleepingreset 1 year ago | 35 comments

Hilbert's 6th problem [pdf](leocorry.com)

20 points by hackandthink 2 years ago | 2 comments

Moving a billion Postgres rows on a $100 budget(blog.peerdb.io)

130 points by samaysharma 2 years ago | 58 comments

ChatGPT Enterprise(openai.com)

808 points by davidbarker 3 years ago | 452 comments

OpenAI blog post announcing ChatGPT Enterprise, a business version of ChatGPT with enterprise-grade security, privacy, and enhanced capabilities.

Anthropic surpasses OpenAI to become most valuable AI startup(qazinform.com)

361 points by Bolat14 4 months ago | 368 comments

Kazinform news article reporting that Anthropic surpassed OpenAI in valuation after a new funding round, approaching $1 trillion.

Meta invests $14.3B in Scale AI to kick-start superintelligence lab(nytimes.com)

424 points by RyanShook 1 year ago | 433 comments

New York Times article reporting Meta's $14.3 billion investment in Scale AI to launch a superintelligence research lab.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

AI Companies Are Trying to Hide a Staggering Amount of Debt(futurism.com)

628 points by technewssss 3 months ago | 317 comments

Futurism article reporting that AI companies are using off-balance-sheet arrangements to hide large amounts of debt.