Top stories for one week

The Vatican's Cyber Crusaders

'A New Era' of Cancer Therapies

The importance of virtue in software engineering

Microsoft removes a lot of features from the Edge browser

Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]

LithOS: An Operating System for Efficient Machine Learning on GPUs

Compiler construction textbook by Niklaus Wirth

I'm moving my projects off GitHub (2022)

Show HN: ShingleLink – A wire-free, snap-together smart solar roofing system

Proper implementation of image to image search

Coding Should Be a Vibe

Lock-Free Rust: How to Build a Rollercoaster While It's on Fire

1k-0036 means sad eyeballs on my LG

What's New in Node.js 24

The online drug trade behind QR code stickers plastered on streets across the UK

Backslash: Rate Constrained Optimized Training of Large Language Models

Newark airport uses floppy discs for air traffic control and more

Show HN: InstaClock - Time Tracking App for Individuals

How Amazon, Google, Microsoft, and Meta are reshaping performance management

Latest Zig from master can cross-compile to FreeBSD 14