Hacker News on Saturday, 17 May 2025

Push Ifs Up and Fors Down(matklad.github.io)

495 points by goranmoomin 1 year ago | 177 comments

A blog post by matklad giving two rules of thumb: move if conditions up to callers and push for loops down into batch-processing functions, with Rust examples.

Proton threatens to quit Switzerland over new surveillance law(techradar.com)

428 points by taubek 1 year ago | 193 comments

TechRadar news article on Proton threatening to leave Switzerland over a proposed surveillance law requiring VPNs and messaging apps to identify users and retain data.

Mystical(suberic.net)

402 points by mmphosis 1 year ago | 45 comments

Project page for Mystical, a visual programming language that renders programs such as quicksort as magic-circle style diagrams.

AniSora: Open-source anime video generation model(komiko.app)

330 points by PaulineGar 1 year ago | 193 comments

Komiko web tool page for AniSora, Bilibili's open-source anime video generation model, letting users upload an image and prompt to generate animations.

O2 VoLTE: locating any customer with a phone call(mastdatabase.co.uk)

309 points by kragniz 1 year ago | 66 comments

JavaScript's New Superpower: Explicit Resource Management(v8.dev)

307 points by olalonde 1 year ago | 202 comments

If nothing is curated, how do we find things(tadaima.bearblog.dev)

301 points by nivethan 1 year ago | 213 comments

How to have the browser pick a contrasting color in CSS(webkit.org)

239 points by Kerrick 1 year ago | 69 comments

Dead Stars Don’t Radiate(johncarlosbaez.wordpress.com)

232 points by thechao 1 year ago | 121 comments

Pyrefly: A new type checker and IDE experience for Python(engineering.fb.com)

211 points by homarp 1 year ago | 135 comments

Palette lighting tricks on the Nintendo 64(30fps.net)

209 points by ibobev 1 year ago | 47 comments

XTool – Cross-platform Xcode replacement(github.com)

179 points by TheWiggles 1 year ago | 53 comments

Wow@Home – Network of Amateur Radio Telescopes(phl.upr.edu)

179 points by visviva 1 year ago | 29 comments

Directory of MCP Servers(github.com)

176 points by saikatsg 1 year ago | 59 comments

My favourite fonts to use with LaTeX (2022)(lfe.pt)

164 points by todsacerdoti 1 year ago | 49 comments

A kernel developer plays with Home Assistant(lwn.net)

161 points by pabs3 1 year ago | 176 comments

Catalog of Novel Operating Systems(github.com)

142 points by prathyvsh 1 year ago | 54 comments

The Lost Japanese ROM of the Macintosh Plus(journaldulapin.com)

138 points by ecliptik 1 year ago | 40 comments

A kernel developer plays with Home Assistant(lwn.net)

133 points by pabs3 1 year ago | 56 comments

Procolored printer drivers contained malware(neowin.net)

127 points by bundie 1 year ago | 62 comments

Show HN: I built a knife steel comparison tool(new.knife.day)

116 points by p-s-v 1 year ago | 76 comments

Understanding Transformers via N-gram Statistics(arxiv.org)

110 points by pona-a 1 year ago | 13 comments

Withnail and I (2001)(criterion.com)

109 points by dcminter 1 year ago | 41 comments

LLMs are more persuasive than incentivized human persuaders(arxiv.org)

109 points by flornt 1 year ago | 87 comments

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

107 points by thunderbong 1 year ago | 46 comments

FreeBASIC is a free/open source BASIC compiler for Windows DOS and Linux(freebasic.net)

100 points by 90s_dev 1 year ago | 32 comments

Gail Wellington, former Commodore executive, has died(legacy.com)

96 points by erickhill 1 year ago | 39 comments

Implementing a RISC-V Hypervisor(seiya.me)

94 points by ingve 1 year ago | 4 comments

Google is giving Amazon a leg up in digital book sales(washingtonpost.com)

94 points by bookofjoe 1 year ago | 61 comments

Compiling OCaml to the TI-84 CE Calculator(farlow.dev)

84 points by farlow 1 year ago | 3 comments

Behind Silicon Valley and the GOP’s campaign to ban state AI laws(bloodinthemachine.com)

83 points by spenvo 1 year ago | 35 comments

The longest train journey is epic – but nobody's ever taken it(bigthink.com)

82 points by PaulHoule 1 year ago | 29 comments

Open Problems in Computational geometry(topp.openproblem.net)

80 points by nill0 1 year ago | 12 comments

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

76 points by dvrp 1 year ago | 35 comments

Unspoken Currency of Office Politics: Leverage and Sanction Between Coworkers(graphthinking.blogspot.com)

73 points by physicsgraph 1 year ago | 9 comments

Show HN: Merliot – plugging physical devices into LLMs(github.com)

69 points by sfeldma 1 year ago | 19 comments

The Japanese method of creating forests comes to Mexico(english.elpais.com)

69 points by geox 1 year ago | 3 comments

OBNC – Oberon-07 Compiler(miasap.se)

61 points by AlexeyBrin 1 year ago | 16 comments

Ask HN: Conversational AI to Learn a Language

58 points by edweis 1 year ago | 39 comments

Life before the web – Running a Startup in the 1980's (2016)(blog.zamzar.com)

57 points by gscott 1 year ago | 13 comments

Federal agencies continue terminating all funding to Harvard(arstechnica.com)

55 points by MaysonL 1 year ago | 27 comments

Patience too cheap to meter(seangoedecke.com)

48 points by swah 1 year ago | 17 comments

Production tests: a guidebook for better systems and more sleep(martincapodici.com)

47 points by mcapodici 1 year ago | 6 comments

Lufthansa plane flown by autopilot after pilot faints in cockpit(scmp.com)

46 points by gscott 1 year ago | 37 comments

Transformer neural net learns to run Conway's Game of Life just from examples(sidsite.com)

45 points by montebicyclelo 1 year ago | 27 comments

Ugly infrastructure: Why can't we have nice things?(jordanwtaylor2.substack.com)

43 points by bilsbie 1 year ago | 35 comments

You do not need NixOS on the desktop(aruarian.dance)

43 points by transpute 1 year ago | 30 comments

Programming in Martin-Lof's Type Theory: An Introduction (1990)(cse.chalmers.se)

42 points by todsacerdoti 1 year ago | 0 comments

Dezyne Programming Language(dezyne.org)

40 points by aulisius 1 year ago | 5 comments

Show HN: Fahmatrix – A Lightweight, Pandas-Like DataFrame Library for Java(github.com)

37 points by mousomashakel 1 year ago | 5 comments

MIT paper on AI for materials research found to be fraudulent(thebsdetector.substack.com)

35 points by outrun86 1 year ago | 6 comments

Xata: Postgres at scale, with copy-on-write branching and anonymization(xata.io)

34 points by mebcitto 1 year ago | 4 comments

Starship Troopers Revolutionize Warfighting(perfectingequilibrium.substack.com)

33 points by Michelangelo11 1 year ago | 38 comments

Energy drinks linked to rise in colorectal and blood cancer(thenightly.com.au)

33 points by _xerces_ 1 year ago | 20 comments

A Critical Look at "A Critical Look at MCP."(docs.mcp.run)

30 points by palmfacehn 1 year ago | 9 comments

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

29 points by gslin 1 year ago | 21 comments

Why Are There So Many 'Alternative Devices' All of a Sudden?(theatlantic.com)

29 points by fortran77 1 year ago | 13 comments

A disk is a bunch of bits (2023)(cyberdemon.org)

28 points by rrampage 1 year ago | 6 comments

A Simulation in C++ of Joseph Weizenbaum's 1966 Eliza(github.com)

28 points by m1guelpf 1 year ago | 5 comments

The Language That Never Was(blog.celes42.com)

26 points by darthdeus 1 year ago | 1 comments