New research reveals the strongest solar event ever detected, in 12350 BC (phys.org)

107 points by politelemon 3d ago 42 comments

The principles of database design, or, the Truth is out there (ebellani.github.io)

22 points by b-man 2h ago 8 comments

“There are people who can see and others who cannot even look” (worldhistory.substack.com)

77 points by crescit_eundo 4h ago 9 comments

Font Activations: A Note on the Type (robhorning.substack.com)

22 points by prismatic 2d ago 0 comments

Spaced repetition systems have gotten better (domenic.me)

780 points by domenicd 17h ago 437 comments

Ditching Obsidian and building my own (amberwilliams.io)

290 points by williamsss 12h ago 299 comments

Layers All the Way Down: The Untold Story of Shader Compilation (moonside.games)

11 points by birdculture 2h ago 3 comments

Show HN: I modeled the Voynich Manuscript with SBERT to test for structure (github.com)

304 points by brig90 12h ago 95 comments

France Endorses UN Open Source Principles (social.numerique.gouv.fr)

335 points by bzg 6h ago 76 comments

The Connoisseur of Desire (nybooks.com)

13 points by samclemens 2d ago 0 comments

$30 Homebrew Automated Blinds Opener (sifter.org)

222 points by busymom0 11h ago 92 comments

Show HN: Vaev – A browser engine built from scratch (It renders google.com) (github.com)

157 points by monax 11h ago 71 comments

America's College Towns Go from Boom to Bust (wsj.com)

37 points by JumpCrisscross 2h ago 16 comments

Show HN: A platform to find tech conferences, discounts, and ticket giveaways (tech.tickets)

61 points by danthebaker 2d ago 17 comments

Spaced Repetition Memory System (notes.andymatuschak.org)

191 points by gasull 13h ago 16 comments

Show HN: Job board aggregator for best paying remote SWE jobs in the U.S. (remoteswe.fyi)

19 points by xitang 4h ago 7 comments

The Tongue Is a Fire (lrb.co.uk)

11 points by Petiver 3d ago 1 comments

Hyper Typing (pscanf.com)

62 points by azhenley 8h ago 51 comments

Publisher: The Malloy Semantic Model Server (github.com)

14 points by cpard 1d ago 0 comments

K-Scale Labs: Open-source humanoid robots, built for developers (kscale.dev)

74 points by rbanffy 9h ago 39 comments

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time” (github.com)

60 points by SandroG 8h ago 7 comments

Comparing Parallel Functional Array Languages: Programming and Performance (arxiv.org)

62 points by vok 2d ago 11 comments

The Fall of Roam (2022) (every.to)

105 points by ingve 10h ago 56 comments

Show HN: Buckaroo – Data table UI for Notebooks (github.com)

90 points by paddy_m 13h ago 8 comments

In Memoriam: John L. Young, Cryptome Co-Founder (eff.org)

183 points by coloneltcb 3d ago 19 comments

Emergent social conventions and collective bias in LLM populations (science.org)

56 points by jbotz 12h ago 18 comments

Living beings emit a faint light that extinguishes upon death, study (phys.org)

53 points by pseudolus 4h ago 22 comments

The Journal of Imaginary Research (journalofimaginaryresearch.home.blog)

25 points by cenazoic 2d ago 2 comments

Mystical (suberic.net)

377 points by mmphosis 1d ago 44 comments

Show HN: Hardtime.nvim – break bad habits and master Vim motions (github.com)

175 points by m4xshen 16h ago 69 comments

Dezyne Programming Language (dezyne.org)

42 points by aulisius 1d ago 7 comments

KDE is finally getting a native virtual machine manager called “Karton” (neowin.net)

93 points by bundie 6h ago 33 comments

How the Sun Enterprise 10000 was born (2007) (filibeto.org)

59 points by robin_reala 16h ago 58 comments

The Utter Flimsiness of XAI's Processes (smol.news)

19 points by pavel_lishin 3h ago 4 comments

How the humble chestnut traced the rise and fall of the Roman Empire (bbc.com)

45 points by bookofjoe 4d ago 4 comments

Yahtzeeql – Yahtzee solver that's mostly SQL (github.com)

18 points by skadamat 3d ago 8 comments

Show HN: A web browser agent in your Chrome side panel (github.com)

134 points by parsabg 17h ago 58 comments

Show HN: Chat with 19 years of HN (app.camelai.com)

130 points by vercantez 1d ago 99 comments

Building my childhood dream PC (fabiensanglard.net)

156 points by todsacerdoti 14h ago 79 comments

Show HN: Model2vec-Rs – Fast Static Text Embeddings in Rust (github.com)

53 points by Tananon 13h ago 8 comments

Magic Leap One Bootloader Exploit (github.com)

64 points by mmastrac 4d ago 7 comments

Can You Trust Code Copilots? Evaluating LLMs from a Code Security Perspec (arxiv.org)

5 points by badmonster 5h ago 0 comments

Paper Mechanisms (cutfoldtemplates.com)

80 points by downboots 18h ago 3 comments

Coding without a laptop: Two weeks with AR glasses and Linux on Android (holdtherobot.com)

942 points by mikenew 4d ago 354 comments

What Every Programmer Should Know About Enumerative Combinatorics (leetarxiv.substack.com)

81 points by muragekibicho 3d ago 42 comments

The RISC OS GUI (telcontar.net)

61 points by rbanffy 15h ago 20 comments

Working with Git Patches in Apple Mail (2023) (btxx.org)

46 points by todsacerdoti 16h ago 21 comments

Developing Karton, the KDE Virtual Machine Manager (blogs.kde.org)

4 points by todsacerdoti 1h ago 1 comments

Show HN: A Wolfenstein3D-like raycaster made in Windows Batch (github.com)

7 points by nthornton 7h ago 1 comments

Show HN: Turn any workflow diagram into compilable, running and stateful code (workflows.diagrid.io)

97 points by yaronsc 4d ago 30 comments

Safety-Critical Rust Coding Guidelines

2 weinzierl 0 5/18/2025, 7:18:11 PM github.com ↗

Comments (0)

No comments yet