2. Claude Sonnet 5 (www.anthropic.com)

Our most agentic Sonnet yet, with top-tier intelligence for coding and everyday professional work.

3. European digital ID wallets are a gift to Google and Apple (waag.org)

European governments are rolling out digital identity wallets, which are to be used by citizens to access services, and to verify their age online. There is a serious problem with this: these wallets rely on safety services of Google and Apple.

15. Leanstral 1.5 (docs.mistral.ai)

An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.

24. Looking Ahead to Postgres 19 (www.snowflake.com)

Discover the top PostgreSQL 19 features, including built-in REPACK CONCURRENTLY, SQL property graph queries (SQL/PGQ), and logical replication updates.

29. Superpowers 6 (blog.fsck.com)

I'm Jesse. I make stuff. Software, hardware. Very occasionally, trouble.

Article Details

Browse by Date

Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open