Svelte Hacker News

Program-ing Finger Trees in Coq (2007) [pdf] (sozeau.gitlabpages.inria.fr)

2 points by todsacerdoti 8 hours ago | 0 comments

121

Is 'human' a risky AGI target (nullsy.com)

1 points by interstice 8 hours ago | 0 comments

122

Avoid UUID Version 4 Primary Keys (andyatkinson.com)

4 points by futurecat 8 hours ago | 0 comments

123

Pomelli (blog.google)

149 points by birriel 8 hours ago | 42 comments

124

(New Update) Back2Back: Deep Research for Music Discovery (back2back.ai)

1 points by pj4533 8 hours ago | 2 comments

125

Django ninja aio CRUD REST framework (github.com)

2 points by caspel26 8 hours ago | 0 comments

126

Bluesky Will Test a 'Dislike' Option (gizmodo.com)

12 points by ulrischa 8 hours ago | 0 comments

127

Boggle Roundup: My Fifteen Minutes of Fame (danvk.org)

2 points by ulrischa 8 hours ago | 0 comments

128

The purported benefits of effect systems (typesanitizer.com)

8 points by SchwKatze 8 hours ago | 1 comment

129

Mathematics disproves Matrix theory, says reality isn't simulation (interestingengineering.com)

2 points by thunderbong 8 hours ago | 0 comments

130

Principles of Epistemology (2025, essay) (alexpeek.org)

4 points by alexp312 8 hours ago | 0 comments

131

Kimi Linear: An Expressive, Efficient Attention Architecture (arxiviq.substack.com)

1 points by che_shr_cat 8 hours ago | 0 comments

132

Ask HN: Why are certain communities like Reddit so anti-AI?

3 points by ronbenton 8 hours ago | 11 comments

133

Show HN: KeyLeak Detector – Scan websites for exposed API keys and secrets (github.com)

18 points by amaldavid 8 hours ago | 6 comments

134

Diffwatch – Watch AI agents touch the FS and see diffs live (github.com)

3 points by deemkeen 8 hours ago | 9 comments

135

S.T.O.P. Sue NYPD for 'Domain Awareness' Surveillance System (stopspying.org)

5 points by raybb 8 hours ago | 1 comment

136

DDD and the Simplicity Gospel (oluatte.com)

3 points by dmofp 8 hours ago | 0 comments

137

Robot AI demands exorcism after meltdown in butter test (thefreesheet.com)

1 points by georgehopkin 8 hours ago | 1 comment

138

Dynamically Choosing a TTC algorithm has huge performance implications (neurometric.substack.com)

1 points by robmay 8 hours ago | 1 comment

139

The retrieval loss problem: why your AI memory / RAG fails at scale (youtube.com)

1 points by shawkatkabbara 8 hours ago | 1 comment

140

First Evidence for a Non-Gravitational Acceleration of 3I/Atlas at Perihelion (avi-loeb.medium.com)

4 points by luispa 8 hours ago | 3 comments

141

Show HN: Find and download fonts from any website (weekend project) (typecatch.com)

10 points by zdenham 8 hours ago | 0 comments

142

The Development of Radical Pie (terathon.com)

2 points by atan2 8 hours ago | 0 comments

143

Can you save on LLM tokens using images instead of text? (pagewatch.ai)

1 points by lpellis 8 hours ago | 0 comments

144

How often does Python allocate? (zackoverflow.dev)

3 points by ingve 8 hours ago | 1 comment

145

Neural network finds an enzyme that can break down polyurethane (arstechnica.com)

3 points by pseudolus 8 hours ago | 0 comments

146

Beloved bodega cat killed by driverless Waymo robotaxi: 'People loved him' (nypost.com)

9 points by pseudolus 9 hours ago | 5 comments

147

The Cruise Ship Graveyard Caused by Covid (bbc.com)

6 points by athousandsteps 9 hours ago | 1 comment

148