Hacker News on Friday, 18 April 2025

Cozy video games can quell stress and anxiety(reuters.com)

505 points by vinhnx 1 year ago | 302 comments

Reuters illustrated feature on research suggesting cozy video games can serve as an antidote to stress and anxiety.

Show HN: I made a Doom-like game fit inside a QR code(github.com)

498 points by kuberwastaken 1 year ago | 127 comments

GitHub repository for backdooms, a self-contained Doom- and Backrooms-inspired game small enough to fit inside a QR code.

15,000 lines of verified cryptography now in Python(jonathan.protzenko.fr)

447 points by todsacerdoti 1 year ago | 142 comments

Blog post by Jonathan Protzenko describing how CPython now uses the formally verified HACL* library for all its default hash and HMAC algorithms.

Kagi Assistant is now available to all users(blog.kagi.com)

434 points by angilr 1 year ago | 238 comments

Kagi blog post from April 17, 2025 announcing that Kagi Assistant, its AI assistant combining top LLMs without training on user data, is available to all users.

Judge Rules Blanket Search of Cell Tower Data Unconstitutional(404media.co)

429 points by bradac56 1 year ago | 163 comments

A 404 Media news article reporting that a judge ruled blanket police searches of cell tower data unconstitutional.

Full Text Search of US Court records(judyrecords.com)

412 points by FigurativeVoid 1 year ago | 81 comments

Judyrecords is a free full-text search engine covering over 740 million United States court cases, with an API.

Defold: cross-platform game engine(defold.com)

370 points by xd 1 year ago | 154 comments

Homepage of Defold, a free game engine for building high-performance cross-platform games.

Intuit, Owner of TurboTax, Wins Battle Against America's Taxpayers(prospect.org)

298 points by leotravis10 1 year ago | 157 comments

Deafening Silence from the Cybersecurity Industry(forbes.com)

231 points by rbanffy 1 year ago | 134 comments

AMP and why emails are not (and should never be) interactive(buttondown.com)

207 points by maguay 1 year ago | 142 comments

Hypertext TV(hypertext.tv)

198 points by coloneltcb 1 year ago | 30 comments

IBM orders US sales to locate near customers, RTO for cloud staff, DEI purge(theregister.com)

181 points by rntn 1 year ago | 272 comments

Less Slow C++(github.com)

175 points by ashvardanian 1 year ago | 78 comments

arXiv moving from Cornell servers to Google Cloud(info.arxiv.org)

173 points by ColinWright 1 year ago | 131 comments

A New ASN.1 API for Python(blog.trailofbits.com)

160 points by woodruffw 1 year ago | 80 comments

I passionately hate hype, especially the AI hype(unixdigest.com)

155 points by smartmic 1 year ago | 150 comments

I gave up on self-hosted Sentry (2024)(bugsink.com)

151 points by roywashere 1 year ago | 115 comments

We Diagnosed and Fixed the 2023 Voyager 1 Anomaly from 15B Miles Away [video](youtube.com)

140 points by noselasd 1 year ago | 9 comments

Haskelling My Python(unnamed.website)

130 points by barrenko 1 year ago | 49 comments

There's Life Inside Earth's Crust(noemamag.com)

113 points by jprohov 1 year ago | 37 comments

Walled Gardens Can Kill(aneesiqbal.ai)

110 points by steelbrain 1 year ago | 89 comments

A Math Lesson From Hitler’s Germany (2017)(undark.org)

110 points by perihelions 1 year ago | 29 comments

UML diagram for the DDD example in Evans' book(github.com)

106 points by takaakit 1 year ago | 60 comments

DHL suspends B2C shipments over 800 USD until further notice(dhl.com)

97 points by lategloriousgnu 1 year ago | 43 comments

Unikernel Linux (UKL) (2023)(dl.acm.org)

93 points by pabs3 1 year ago | 12 comments

Why is Good Friday called Good Friday?(historyextra.com)

91 points by vitoc 1 year ago | 117 comments

Show HN: Attune - Build and publish APT repositories in seconds(github.com)

83 points by ilikebits 1 year ago | 27 comments

Ink and Switch Constraint System (2023)(inkandswitch.com)

82 points by mpweiher 1 year ago | 12 comments

Viral ChatGPT trend is doing 'reverse location search' from photos(techcrunch.com)

80 points by jnord 1 year ago | 36 comments

OpenAI's new reasoning AI models hallucinate more(techcrunch.com)

76 points by almog 1 year ago | 59 comments

The appeal of serving your web pages with a single process(utcc.utoronto.ca)

74 points by ingve 1 year ago | 44 comments

Show HN: (bits) of a Libc, Optimized for Wasm(github.com)

69 points by ncruces 1 year ago | 12 comments

Hextraction, a free and open source board game(playhextraction.com)

65 points by chedoku 1 year ago | 13 comments

Native American names extend earthquake history of northeastern North America(phys.org)

58 points by pseudolus 1 year ago | 29 comments

College Towns: Urbanism from a Past Era(governance.fyi)

54 points by toomuchtodo 1 year ago | 86 comments

Electric Propulsion's Dirty Secret: Why Lithium Can't Fly (Or Float) Profitably(kumarletter.com)

52 points by kumarski 1 year ago | 146 comments

Curiosity rover finds large carbonate deposits on Mars(phys.org)

50 points by pseudolus 1 year ago | 6 comments

Waiting 100 years for a home isn't a housing crisis, it's a moral collapse(architectsjournal.co.uk)

48 points by microflash 1 year ago | 86 comments

Loglan'82: programming language for object-oriented and distributed programming(lem12.uksw.edu.pl)

48 points by danielam 1 year ago | 6 comments

The Good Karma Kit(archivebox.github.io)

42 points by jedeusus 1 year ago | 14 comments

Optimizing Heap Allocations in Go: A Case Study(dolthub.com)

41 points by ingve 1 year ago | 7 comments

More details for London's new Roman Basilica museum revealed(ianvisits.co.uk)

39 points by zeristor 1 year ago | 3 comments

Ref Butts and Slam Dunks: What It's Like Photographing an NBA Game(petapixel.com)

37 points by PaulHoule 1 year ago | 21 comments

Zig and GPUs(alichraghi.github.io)

35 points by Cloudef 1 year ago | 4 comments

SDFs from Unoriented Point Clouds Using Neural Variational Heat Distances(arxiv.org)

29 points by haxiomic 1 year ago | 5 comments

NSF halts grant awards while staff do second review(science.org)

28 points by chriskanan 1 year ago | 3 comments

Soldiers in combat can kill without moral injury(bps.org.uk)

26 points by domofutu 1 year ago | 32 comments

PDCurses – for environments that don't fit the termcap/terminfo model(github.com)

26 points by smartmic 1 year ago | 1 comments

Tracking types of non-parents in the United States(onlinelibrary.wiley.com)

25 points by PaulHoule 1 year ago | 38 comments

Kagi Assistant is now available to all users(blog.kagi.com)

24 points by elashri 1 year ago | 2 comments

Americans Are Obsessed with Protein and It's Driving Nutrition Experts Nuts(wsj.com)

22 points by littlexsparkee 1 year ago | 10 comments

UI tip: maybe don't round percentages to 0% or 100%(evanhahn.com)

21 points by goranmoomin 1 year ago | 2 comments

A deep-cover KGB spy recruited his own son(theguardian.com)

19 points by pepys 1 year ago | 1 comments

Phase I/II trial of iPS-cell-derived dopaminergic cells for Parkinson's disease(nature.com)

18 points by LinuxBender 1 year ago | 0 comments

The Computer Revolution Hasn't Happened Yet (1997) [video](youtube.com)

17 points by ColinWright 1 year ago | 1 comments

Meta MCP: Chaining Tools via Prompt-Driven Arguments(cefboud.com)

14 points by Gajika981 1 year ago | 1 comments

Dear Lewis, my CEO wants AI to do it all. How do I argue for humans?(lewislin.substack.com)

14 points by kiyanwang 1 year ago | 30 comments

Honest and Elitist Thoughts on Why Computers Were More Fun Before(datagubbe.se)

13 points by todsacerdoti 1 year ago | 1 comments

Yale sells up to $6B of its PE portfolio amid federal funding challenge(secondariesinvestor.com)

12 points by themgt 1 year ago | 0 comments

Moon Bugs (2018)(michalfarkas.net)

10 points by susam 1 year ago | 1 comments