N
Hacker Next
new
past
show
ask
show
jobs
submit
login
331
▲
F*: A general-purpose proof-oriented programming language
(
fstar-lang.org
)
187 points by
ducktective
3 days ago
|
99 comments
332
▲
Stanford Online: CS329A Self-Improving AI Agents
(
youtube.com
)
11 points by
OutOfHere
18 hours ago
|
1 comment
333
▲
A Sick People
(
householderkarl.com
)
71 points by
speckx
2 hours ago
|
94 comments
334
▲
Go 1.27 Interactive Tour
(
victoriametrics.com
)
364 points by
Hixon10
4 days ago
|
204 comments
335
▲
Glyphs 4 – the leading Mac font editor
(
glyphsapp.com
)
100 points by
microflash
8 days ago
|
18 comments
336
▲
The Dynamics of the Egg
(
the-hinternet.com
)
3 points by
Caiero
1 days ago
|
0 comments
337
▲
Situational Awareness and the Impending Stock Market Volatility
(
emergingtrajectories.com
)
70 points by
cl42
2 days ago
|
54 comments
338
▲
Why Estonians invite strangers into their back gardens each summer
(
bbc.com
)
6 points by
koolhead17
2 days ago
|
0 comments
339
▲
Show HN: Listnr – macOS meeting transcription that never mixes mic and speakers
(
github.com
)
10 points by
rokib16x
1 days ago
|
1 comment
340
▲
The Lua community needs to learn to move on
(
hisham.hm
)
17 points by
birdculture
20 hours ago
|
0 comments
341
▲
Show HN: What should the GUI for AI agents look like?
(
marbleos.com
)
137 points by
akbabu
5 days ago
|
81 comments
342
▲
Show HN: Adapt, Automatically Turns Files into REST APIs, Web UI, and MCP
(
github.com
)
5 points by
ilovetux
1 days ago
|
0 comments
343
▲
'Crush this lady': how eBay harassment campaign led to $56M payout
(
ft.com
)
273 points by
JumpCrisscross
3 days ago
|
136 comments
344
▲
This Month in Ladybird – July 2026
(
ladybird.org
)
30 points by
exploraz
1 days ago
|
5 comments
345
▲
Show HN: Korvo – Local-first AI workspace that traces answers to the source
(
korvo.xyz
)
7 points by
akshay_bhardwaj
1 days ago
|
0 comments
346
▲
DeepSeek V4 Flash 0731 Intelligence, Performance and Price Analysis
(
artificialanalysis.ai
)
589 points by
theanonymousone
5 days ago
|
312 comments
347
▲
The sale of Electronic Arts has been finalized
(
bbc.com
)
71 points by
1659447091
11 hours ago
|
65 comments
348
▲
A Civilian Plane Crashed in New Mexico. Was the Military's Tech to Blame?
(
wired.com
)
16 points by
embedding-shape
18 hours ago
|
1 comment
349
▲
RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2
(
rfc-editor.org
)
84 points by
Jimmc414
4 days ago
|
22 comments
350
▲
Building Community Out of Strangers
(
tracydurnell.com
)
4 points by
surprisetalk
1 days ago
|
0 comments
351
▲
Golang proposal: container/: generic collection types
(
github.com
)
185 points by
jabits
5 days ago
|
199 comments
352
▲
Folding Paper Globes
(
foldingglobes.com
)
188 points by
dango2506
7 days ago
|
38 comments
353
▲
Elena, a library for building Progressive Web Components
(
elenajs.com
)
77 points by
brianzelip
6 days ago
|
9 comments
354
▲
Cyberpunk on 1GB of VRAM [video]
(
youtube.com
)
5 points by
behnamoh
13 hours ago
|
0 comments
355
▲
Tech giant Palantir accused of 'agressive tax avoidance' at Europe's expense
(
ftm.eu
)
7 points by
robtherobber
7 hours ago
|
2 comments
356
▲
Manual: •.,:;…!?·
(
type.today
)
129 points by
behnamoh
7 days ago
|
33 comments
357
▲
Scientists find clearing cholesterol from blood also removes forever chemicals
(
independent.co.uk
)
25 points by
thunderbong
1 days ago
|
4 comments
358
▲
Topological Horizon – Zero-allocation Rust engine for predictive telemetry
(
github.com
)
4 points by
aboofx
1 days ago
|
0 comments
359
▲
Why is everyone trying to build a solid-state battery?
(
construction-physics.com
)
231 points by
crescit_eundo
6 days ago
|
312 comments
360
▲
Convex raises a $57M Series B
(
news.convex.dev
)
16 points by
eatonphil
1 days ago
|
0 comments
Rendered at 16:08:09 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.