Software

Fermat's Last Theorem in Lean – Imperial College London

Hacker News - Thu, 2025-07-31 15:59
Comments
Categories: Software

Anaconda Raises 150M Series C

Hacker News - Thu, 2025-07-31 15:43
Comments
Categories: Software

Releasing open weights for FLUX.1 Krea

Hacker News - Thu, 2025-07-31 15:41
Comments
Categories: Software

What is gVisor?

Hacker News - Thu, 2025-07-31 15:40
Comments
Categories: Software

OpenAI's "Study Mode" and the risks of flattery

Hacker News - Thu, 2025-07-31 15:35
Comments
Categories: Software

Severe turbulence forces Delta plane to make emergency landing, 25 injured

Hacker News - Thu, 2025-07-31 15:32
Comments
Categories: Software

Imaging reveals intricate tattoos of 2,500-year-old Siberian ice mummy

Hacker News - Thu, 2025-07-31 15:29
Comments
Categories: Software

GenosDB (GDB) – Decentralized P2P Graph Database

Hacker News - Thu, 2025-07-31 15:22
Comments
Categories: Software

NSW Fair Trading – Dark Patterns

Hacker News - Thu, 2025-07-31 15:17
Comments
Categories: Software

Nova: A New Web Framework for Erlang

Hacker News - Thu, 2025-07-31 15:06
Comments
Categories: Software

So You're a Manager Now

Hacker News - Thu, 2025-07-31 14:48
Comments
Categories: Software

How Scientific Empires End

Hacker News - Thu, 2025-07-31 14:47
Comments
Categories: Software

Matrix Is Not Safe for EU Data Privacy

Hacker News - Thu, 2025-07-31 14:45
Comments
Categories: Software

Helion begins work on Washington nuclear fusion plant

Hacker News - Thu, 2025-07-31 14:41
Comments
Categories: Software

Benchmarks in CI: Escaping the Cloud Chaos

Hacker News - Thu, 2025-07-31 14:40
Comments
Categories: Software

Altima NSX – Computer Ads from the Past

Hacker News - Thu, 2025-07-31 14:25
Comments
Categories: Software

Stream Kafka Topic to the Iceberg Tables with Zero-ETL

Hacker News - Thu, 2025-07-31 14:14
Comments
Categories: Software

Camera Genealogica (Part 1)

Hacker News - Thu, 2025-07-31 14:09
Comments
Categories: Software

Infracost (YC W21) hiring first PM to shift $600B cloud spend to proactive

Hacker News - Thu, 2025-07-31 14:00
Comments
Categories: Software

PSA: Many countries that said NO to ChatControl in 2024 are now undecided

Hacker News - Thu, 2025-07-31 13:54
Comments
Categories: Software

Pages