top 10 hacker news stories for 2025-10-04

Who owns Express VPN, Nord, Surfshark? VPN relationships explained (2024)

https://windscribe.com/blog/the-vpn-relationship-map/

11 months ago

SEC approves Texas Stock Exchange, first new US integrated exchange in decades

https://www.cbsnews.com/texas/news/sec-approves-texas-stock-exchange-txse/

11 months ago

The UK is still trying to backdoor encryption for Apple users

https://www.eff.org/deeplinks/2025/10/uk-still-trying-backdoor-encryption-apple-users

11 months ago

Flock's gunshot detection microphones will start listening for human voices

https://www.eff.org/deeplinks/2025/10/flocks-gunshot-detection-microphones-will-start-listening-human-voices

11 months ago

How I influence tech company politics as a staff software engineer

https://www.seangoedecke.com/how-to-influence-politics/

11 months ago

ProofOfThought: LLM-based reasoning using Z3 theorem proving

https://github.com/DebarghaG/proofofthought

11 months ago

Paged Out Issue #7 [pdf]

https://pagedout.institute/download/PagedOut_007.pdf

11 months ago

A comparison of Ada and Rust, using solutions to the Advent of Code

https://github.com/johnperry-math/AoC2023/blob/master/More_Detailed_Comparison.md

11 months ago

Self-hosting email like it's 1984

https://maxadamski.com/blog/2025/10/email.html

11 months ago

Working pipe operator today in pure JavaScript

https://github.com/irony/aspipes

11 months ago