DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] (github.com)

209 points by fspeech 20 hours ago | 45 comments

61

Louvre to hike ticket prices for most non-EU tourists by 45% (bbc.com)

28 points by geox 2 hours ago | 48 comments

62

Voyager 1 is about to reach one light-day from Earth (scienceclock.com)

1066 points by ashishgupta2209 2 days ago | 372 comments

63

Experimenting with Robin Hood Hashing (twdev.blog)

24 points by signa11 5 days ago | 10 comments

64

Designing a Mechanical Calculator (signoregalilei.com)

30 points by surprisetalk 5 days ago | 10 comments

65

Giving the Jakks Atari Paddle a Spin (nicole.express)

30 points by ingve 5 days ago | 1 comment

66

Great Math Software: List of fun visual math programs (xahlee.info)

14 points by the-mitr 7 hours ago | 0 comments

67

Linux Kernel Explorer (reverser.dev)

578 points by tanelpoder a day ago | 86 comments

68

Willis Whitfield: Creator of clean room technology still in use today (2024) (sandia.gov)

145 points by rbanffy 4 days ago | 56 comments

69

Interactive λ-Reduction (deltanets.org)

126 points by jy14898 4 days ago | 24 comments

70

G0-G3 corners, visualised: learn what "Apple corners" are (printables.com)

135 points by dgroshev 5 days ago | 64 comments

71

Inspired by Spider-Man, scientists recreate web-slinging technology (scienceclock.com)

61 points by ohjeez 2 days ago | 17 comments

72

Underrated reasons to be thankful V (dynomight.net)

211 points by numeri 20 hours ago | 87 comments

73

The current state of the theory that GPL propagates to AI models (shujisado.org)

210 points by jonymo a day ago | 289 comments

74

ML-KEM Mythbusting (keymaterial.net)

38 points by durumcrustulum 17 hours ago | 8 comments

75

Optery (YC W22) Hiring CISO, Release Manager, Tech Lead (Node), Full Stack Eng (optery.com)

2 days ago

76

Show HN: KiDoom – Running DOOM on PCB Traces (mikeayles.com)

351 points by mikeayles 3 days ago | 49 comments

77

Cats became our companions way later than you think (bbc.co.uk)

41 points by n1b0m 5 hours ago | 42 comments

78

Indie game developers have a new sales pitch: being 'AI free' (theverge.com)

188 points by 01-_- 2 days ago | 156 comments

79

Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)

113 points by SchwKatze 2 days ago | 20 comments

80

Technical Deflation (benanderson.work)

81 points by 0x79de 4 days ago | 74 comments

81

10 years of writing a blog nobody reads (flowtwo.io)

38 points by thejoeflow a day ago | 7 comments

82

Show HN: Runprompt – run .prompt files from the command line (github.com)

126 points by chr15m a day ago | 40 comments

83

Show HN: MkSlides – Markdown to slides with a similar workflow to MkDocs (github.com)

70 points by MartenBE a day ago | 14 comments

84

Google denies 'misleading' reports of Gmail using your emails to train AI (theverge.com)

57 points by causenad 6 hours ago | 52 comments

85

DIY NAS: 2026 Edition (blog.briancmoses.com)

434 points by sashk 2 days ago | 287 comments

86

To Get a Man's Attention, Meow Harder (nytimes.com)

11 points by quapster 5 hours ago | 1 comment

87

Migrating the main Zig repository from GitHub to Codeberg (ziglang.org)

885 points by todsacerdoti 2 days ago | 852 comments

88

Everything's Fake Now – Liam Fallen (liamfallen.substack.com)

13 points by bariscan 6 hours ago | 1 comment

89

Show HN: SyncKit – Offline-first sync engine (Rust/WASM and TypeScript) (github.com)

82 points by danbitengo a day ago | 32 comments

90

More...