N
Hacker Next
new
past
show
ask
show
jobs
submit
login
31
▲
Kani: A Model Checker for Rust
(
arxiv.org
)
150 points by
Jimmc414
20 hours ago
|
9 comments
32
▲
NSA and IETF: Fairness
(
blog.cr.yp.to
)
122 points by
WatchDog
13 hours ago
|
95 comments
33
▲
Clojure 1.13 adds support for checked keys
(
clojure.org
)
216 points by
FelipeCortez
5 days ago
|
46 comments
34
▲
A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku
(
arxiv.org
)
45 points by
Jimmc414
3 days ago
|
14 comments
35
▲
EndBASIC 0.14: Are we multimedia yet?
(
endbasic.dev
)
43 points by
jmmv
3 days ago
|
10 comments
36
▲
Evaluation order and nontermination in query languages
(
rntz.net
)
39 points by
luu
5 days ago
|
4 comments
37
▲
Using precision editing to study human embryo development shows master gene
(
cam.ac.uk
)
63 points by
gmays
4 days ago
|
47 comments
38
▲
Introduction to Genomics for Engineers
(
learngenomics.dev
)
250 points by
yreg
5 days ago
|
40 comments
39
▲
Full Writeup of the Windows GDID
(
github.com
)
75 points by
typeofhuman
14 hours ago
|
39 comments
40
▲
The LLVM Compiler Infrastructure
(
cacm.acm.org
)
65 points by
tosh
3 days ago
|
13 comments
41
▲
The Making of Claude Code
(
anthropic.com
)
6 points by
kanamekun
6 hours ago
|
3 comments
42
▲
Poly/ML – A Standard ML Implementation
(
github.com
)
61 points by
Lyngbakr
14 hours ago
|
23 comments
43
▲
As Amazon lets Mechanical Turk fade, Mercor hits a $2B gross run rate
(
runtimewire.com
)
20 points by
ryanmerket
15 hours ago
|
3 comments
44
▲
Show HN: Pulpie – Models for Cleaning the Web
(
usefeyn.com
)
94 points by
snyy
20 hours ago
|
25 comments
45
▲
Egypt Is Building a New Nile
(
theb1m.com
)
143 points by
geox
4 days ago
|
92 comments
46
▲
Fable 5 On Vending-Bench: Misbehaving, With Plausible Deniability
(
andonlabs.com
)
189 points by
optimalsolver
24 hours ago
|
129 comments
47
▲
The Music of Destruction
(
thebaffler.com
)
24 points by
lermontov
5 days ago
|
11 comments
48
▲
Aluminum foil (2021)
(
dernocua.github.io
)
271 points by
firephox
23 hours ago
|
120 comments
49
▲
1k Words: A Writing Contest
(
writingclub.world
)
90 points by
surprisetalk
21 hours ago
|
37 comments
50
▲
Tiny-C Reference Manual Excerpt
(
permacomputer.solarpunk.au
)
21 points by
surprisetalk
5 days ago
|
1 comment
51
▲
Companies hire more after AI adoption
(
ramp.com
)
38 points by
mooreds
18 hours ago
|
9 comments
52
▲
Does code cleanliness affect coding agents? A controlled minimal-pair study
(
arxiv.org
)
199 points by
softwaredoug
2 days ago
|
91 comments
53
▲
Real-time map of Great Britain's rail network
(
map.signalbox.io
)
399 points by
scrlk
1 days ago
|
149 comments
54
▲
Road to Elm 1.0
(
elm-lang.org
)
332 points by
wolfadex
1 days ago
|
167 comments
55
▲
Taiganet.com, Home of the WS4000 Simulator
(
taiganet.com
)
23 points by
Aloha
15 hours ago
|
3 comments
56
▲
Organic Maps
(
organicmaps.app
)
1154 points by
tosh
2 days ago
|
362 comments
57
▲
Apricot Computers: An underrated British brand
(
dfarq.homeip.net
)
88 points by
giuliomagnifico
6 days ago
|
37 comments
58
▲
Nintendo announces new product revisions in Europe with replaceable batteries
(
nintendo.com
)
353 points by
akyuu
23 hours ago
|
212 comments
59
▲
Giving a domain a hill to climb: benchmarking as data activation
(
sparsethought.com
)
12 points by
galsapir
4 days ago
|
7 comments
60
▲
Odin 1.0 Announcement
(
youtube.com
)
60 points by
jhack
7 hours ago
|
7 comments
Rendered at 12:14:51 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.