Svelte Hacker News

ACM's flagship magazine seeks submissions by/for practitioners (cacm.acm.org)

53 points by underscoreF 2 days ago | 2 comments

91

Show HN: Formalizing Principia Mathematica using Lean (github.com)

183 points by ndrwnaguib 2 days ago | 34 comments

92

Launch HN: Cua (YC X25) – Open-Source Docker Container for Computer-Use Agents (github.com)

169 points by frabonacci 4 days ago | 72 comments

93

Finding Paths of Least Action with Gradient Descent (greydanus.github.io)

24 points by E-Reverance a day ago | 2 comments

94

Show HN: I build a Fantasy NHL app in 3 days with Claude AI

14 points by recvonline a day ago | 3 comments

95

The Gruen Transfer is consuming the internet (sebs.website)

355 points by Incerto 4 days ago | 250 comments

96

Reimagining Democracy (schneier.com)

33 points by cratermoon 17 hours ago | 10 comments

97

I wrote to the address in the GPLv2 license notice (2022) (code.mendhak.com)

784 points by ekiauhce 3 days ago | 553 comments

98

Amazon Japan ordered to pay 35M. yen for allowing listing of fakes (mainichi.jp)

165 points by resonious 2 days ago | 38 comments

99

A $20k American-made electric pickup with no paint, no stereo, no screen (theverge.com)

1394 points by kwindla 2 days ago | 1243 comments

100

GCC 15.1 (gcc.gnu.org)

275 points by jrepinc 2 days ago | 151 comments

101

Solar Orbiter's widest high-res view of the Sun (esa.int)

49 points by belter 18 hours ago | 4 comments

102

Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)

308 points by darajava 2 days ago | 180 comments

103

Differential Coverage for Debugging (research.swtch.com)

66 points by todsacerdoti 2 days ago | 9 comments

104

Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf] (web.ist.utl.pt)

94 points by luu 5 days ago | 76 comments

105

Gnirehtet provides reverse tethering for Android (github.com)

13 points by tosh a day ago | 0 comments

106

Careless People (pluralistic.net)

1028 points by Aldipower 3 days ago | 529 comments

107

Notation as a Tool of Thought (1979) (jsoftware.com)

314 points by susam 3 days ago | 98 comments

108

A Love Letter to People Who Believe in People (swiss-miss.com)

385 points by NaOH 3 days ago | 123 comments

109

AI Horseless Carriages (koomen.dev)

840 points by petekoomen 4 days ago | 474 comments

110

Scientists Develop Artificial Leaf, Uses Sunlight to Produce Valuable Chemicals (newscenter.lbl.gov)

287 points by gnabgib 3 days ago | 120 comments

111

9front "clause 15 common elements of maus and star type" released (9front.org)

24 points by todsacerdoti 14 hours ago | 7 comments

112

Show HN: Colanode, open-source and local-first Slack and Notion alternative (github.com)

141 points by hakanshehu 3 days ago | 49 comments

113

A Visual Journey Through Async Rust (github.com)

150 points by PaulHoule 3 days ago | 25 comments

114

Show HN: I built an AI that turns GitHub codebases into easy tutorials (github.com)

899 points by zh2408 8 days ago | 170 comments

115

Fundamental flaws of SIMD ISAs (2021) (bitsnbites.eu)

152 points by fanf2 3 days ago | 139 comments

116

A Principled Approach to Querying Data – A Type-Safe Search DSL (claudiu-ivan.com)

93 points by kioku 3 days ago | 17 comments

117

Curry: A functional logic programming language (curry-lang.org)

168 points by hyperbrainer 2 days ago | 37 comments

118