Software

Formally Verifying Peephole Optimisations in Lean

Hacker News - Tue, 2025-12-23 01:10
Comments
Categories: Software

Satellites reveal heat leaking from largest US cryptocurrency mining center

Hacker News - Tue, 2025-12-23 00:23
Comments
Categories: Software

Ask HN: Why isn't there competition to LinkedIn yet?

Hacker News - Mon, 2025-12-22 23:50
Comments
Categories: Software

Overlooked No More: Inge Lehmann, Who Discovered the Earth's Inner Core

Hacker News - Mon, 2025-12-22 23:44
Comments
Categories: Software

There Is No Future for Online Safety Without Privacy and Security

Hacker News - Mon, 2025-12-22 23:43
Comments
Categories: Software

NPM Package with 56K Downloads Caught Stealing WhatsApp Messages

Hacker News - Mon, 2025-12-22 23:35
Comments
Categories: Software

Fascintern Media

Hacker News - Mon, 2025-12-22 23:28
Comments
Categories: Software

Tc – Theodore Calvin's language-agnostic testing framework

Hacker News - Mon, 2025-12-22 23:03
Comments
Categories: Software

DOJ uploaded a 12-SEC video showing Epstein attempting suicide?

Hacker News - Mon, 2025-12-22 22:44
Comments
Categories: Software

I'm tired of Hacker News slop

Hacker News - Mon, 2025-12-22 22:33
Comments
Categories: Software

It's Always TCP_NODELAY

Hacker News - Mon, 2025-12-22 22:09
Comments
Categories: Software

Is the golden age of Indie software over?

Hacker News - Mon, 2025-12-22 22:06
Comments
Categories: Software

Feds demand compromise on Colorado River while states flounder

Hacker News - Mon, 2025-12-22 22:03
Comments
Categories: Software

In Pursuit of Clancy Sigal (2021)

Hacker News - Mon, 2025-12-22 21:21
Comments
Categories: Software

Vince Zampella, Developer of Call of Duty and Battlefield, Dead at 55

Hacker News - Mon, 2025-12-22 21:12
Comments
Categories: Software

Paperbacks and TikTok

Hacker News - Mon, 2025-12-22 20:55
Comments
Categories: Software

The Program 2025 annual review: How much money does an audio drama podcast make?

Hacker News - Mon, 2025-12-22 20:52
Comments
Categories: Software

Ultrasound Cancer Treatment: Sound Waves Fight Tumors

Hacker News - Mon, 2025-12-22 20:37
Comments
Categories: Software

US 'demolishing its scientific leadership with a wrecking ball'

Hacker News - Mon, 2025-12-22 20:31
Comments
Categories: Software

US blocks all offshore wind construction, says reason is classified

Hacker News - Mon, 2025-12-22 20:31
Comments
Categories: Software

Pages