top 50% hacker news stories for 2025-05-17

Push Ifs Up and Fors Down

https://matklad.github.io/2023/11/15/push-ifs-up-and-fors-down.html

1 year ago

Proton threatens to quit Switzerland over new surveillance law

https://www.techradar.com/vpn/vpn-privacy-security/we-would-be-less-confidential-than-google-proton-threatens-to-quit-switzerland-over-new-surveillance-law

1 year ago

Mystical

https://suberic.net/~dmm/projects/mystical/README.html

1 year ago

If nothing is curated, how do we find things

https://tadaima.bearblog.dev/if-nothing-is-curated-how-do-we-find-things/

1 year ago

AniSora: Open-source anime video generation model

https://komiko.app/video/AniSora

1 year ago

O2 VoLTE: locating any customer with a phone call

https://mastdatabase.co.uk/blog/2025/05/o2-expose-customer-location-call-4g/

1 year ago

JavaScript's New Superpower: Explicit Resource Management

https://v8.dev/features/explicit-resource-management

1 year ago

How to have the browser pick a contrasting color in CSS

https://webkit.org/blog/16929/contrast-color/

1 year ago

Dead Stars Don’t Radiate

https://johncarlosbaez.wordpress.com/2025/05/17/dead-stars-dont-radiate-and-shrink/

1 year ago

Pyrefly: A new type checker and IDE experience for Python

https://engineering.fb.com/2025/05/15/developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/

1 year ago

Palette lighting tricks on the Nintendo 64

https://30fps.net/pages/palette-lighting-tricks-n64/

1 year ago

Wow@Home – Network of Amateur Radio Telescopes

https://phl.upr.edu/wow/outreach

1 year ago

My favourite fonts to use with LaTeX (2022)

https://www.lfe.pt/latex/fonts/typography/2022/11/21/latex-fonts-part1.html

1 year ago

XTool – Cross-platform Xcode replacement

https://github.com/xtool-org/xtool

1 year ago

A kernel developer plays with Home Assistant

https://lwn.net/SubscriberLink/1017720/7155ecb9602e9ef2/

1 year ago

Catalog of Novel Operating Systems

https://github.com/prathyvsh/os-catalog

1 year ago

Directory of MCP Servers

https://github.com/chatmcp/mcpso

1 year ago

The Lost Japanese ROM of the Macintosh Plus

https://www.journaldulapin.com/2025/05/17/the-lost-japanese-rom-of-the-macintosh-plus-which-isnt-lost-anymore/

1 year ago

Show HN: I built a knife steel comparison tool

https://new.knife.day/blog/knife-steel-comparisons/all

1 year ago

Procolored printer drivers contained malware

https://www.neowin.net/news/this-printer-company-served-you-malware-for-months-and-dismissed-it-as-false-positives/

1 year ago

LLMs are more persuasive than incentivized human persuaders

https://arxiv.org/abs/2505.09662

1 year ago

A man who visited every country in the world without boarding a plane (2023)

https://www.theguardian.com/travel/2023/aug/16/take-the-high-road-the-man-who-visited-every-country-in-the-world-without-boarding-a-plane

1 year ago

Understanding Transformers via N-gram Statistics

https://arxiv.org/abs/2407.12034

1 year ago

A kernel developer plays with Home Assistant

https://lwn.net/SubscriberLink/1017720/7155ecb9602e9ef2/

1 year ago

Withnail and I (2001)

https://www.criterion.com/current/posts/122-withnail-and-i

1 year ago

Behind Silicon Valley and the GOP’s campaign to ban state AI laws

https://www.bloodinthemachine.com/p/de-democratizing-ai

1 year ago

FreeBASIC is a free/open source BASIC compiler for Windows DOS and Linux

https://freebasic.net/

1 year ago

Federal agencies continue terminating all funding to Harvard

https://arstechnica.com/science/2025/05/feds-continue-effort-to-defund-research-at-harvard/

1 year ago

Implementing a RISC-V Hypervisor

https://seiya.me/blog/riscv-hypervisor

1 year ago

Compiling OCaml to the TI-84 CE Calculator

https://farlow.dev/2025/05/17/ocaml-on-calculator

1 year ago

Wacom drawing tablets track the name of every application you open (2020)

https://robertheaton.com/2020/02/05/wacom-drawing-tablets-track-name-of-every-application-you-open/

1 year ago

Google is giving Amazon a leg up in digital book sales

https://www.washingtonpost.com/technology/2025/05/16/google-amazon-ebooks-apps/

1 year ago

Gail Wellington, former Commodore executive, has died

https://www.legacy.com/us/obituaries/name/gail-wellington-obituary?id=58418580

1 year ago

The longest train journey is epic – but nobody's ever taken it

https://bigthink.com/strange-maps/portugal-to-singapore-train/

1 year ago

Open Problems in Computational geometry

https://topp.openproblem.net/

1 year ago

The Japanese method of creating forests comes to Mexico

https://english.elpais.com/climate/2025-05-17/miyawaki-in-nezahualcoyotl-the-japanese-method-of-creating-forests-comes-to-mexico.html

1 year ago

Unspoken Currency of Office Politics: Leverage and Sanction Between Coworkers

https://graphthinking.blogspot.com/2025/05/leverage-and-sanction-between-coworkers.html

1 year ago

Ask HN: Conversational AI to Learn a Language

https://news.ycombinator.com/item?id=44012549

1 year ago

Show HN: Merliot – plugging physical devices into LLMs

https://github.com/merliot/hub

1 year ago

Production tests: a guidebook for better systems and more sleep

https://martincapodici.com/2025/05/13/production-tests-a-guidebook-for-better-systems-and-more-sleep/

1 year ago

Patience too cheap to meter

https://www.seangoedecke.com/patience-too-cheap-to-meter/

1 year ago

Google worried it couldn't control how Israel uses Project Nimbus, files reveal

https://theintercept.com/2025/05/12/google-nimbus-israel-military-ai-human-rights/

1 year ago

Life before the web – Running a Startup in the 1980's (2016)

https://blog.zamzar.com/2016/07/13/life-before-the-web-running-a-startup-in-the-1980s/

1 year ago

Transformer neural net learns to run Conway's Game of Life just from examples

https://sidsite.com/posts/life-transformer/

1 year ago

OBNC – Oberon-07 Compiler

https://miasap.se/obnc/

1 year ago

You do not need NixOS on the desktop

https://aruarian.dance/blog/you-do-not-need-nixos/

1 year ago

Programming in Martin-Lof's Type Theory: An Introduction (1990)

https://www.cse.chalmers.se/research/group/logic/book/

1 year ago

Science funding was already way too low

https://gabrielweinberg.com/p/science-funding-was-already-way-too

1 year ago

Google reverses course after blocking Nextcloud Files app

https://www.neowin.net/news/google-reverses-course-after-blocking-nextcloud-files-app/

1 year ago

The Dezyne Programming Language

https://dezyne.org/dezyne/manual/dezyne/dezyne.html

1 year ago

MIT paper on AI for materials research found to be fraudulent

https://thebsdetector.substack.com/p/ai-materials-and-fraud-oh-my

1 year ago

MinorMiner: We turn your kid's maths homework into Bitcoin

https://robertheaton.com/minor-miner/

1 year ago

Why Are There So Many 'Alternative Devices' All of a Sudden?

https://www.theatlantic.com/technology/archive/2025/05/alternative-device-fair/682837/

1 year ago

Lufthansa plane flown by autopilot after pilot faints in cockpit

https://www.scmp.com/news/world/europe/article/3310779/lufthansa-plane-flown-autopilot-after-pilot-faints-cockpit

1 year ago

Don't Use ISO/IEC 14977:1996 Extended Backus-Naur Form (EBNF) (2023)

https://dwheeler.com/essays/dont-use-iso-14977-ebnf.html

1 year ago

Harmonic: Modern Android client for Hacker News

https://github.com/SimonHalvdansson/Harmonic-HN

1 year ago

Ugly infrastructure: Why can't we have nice things?

https://jordanwtaylor2.substack.com/p/ugly-infrastructure-why-cant-we-have

1 year ago

Racket – the Language-Oriented Programming Language – 8.17 is now available

https://blog.racket-lang.org/2025/05/racket-v8-17.html

1 year ago

Show HN: Fahmatrix – A Lightweight, Pandas-Like DataFrame Library for Java

https://github.com/moustafa-nasr/fahmatrix

1 year ago

Xata: Postgres at scale, with copy-on-write branching and anonymization

https://xata.io/blog/xata-postgres-with-data-branching-and-pii-anonymization

1 year ago