N
Hacker Next
new
past
show
ask
show
jobs
submit
login
451
▲
We used Quint to find over 10 bugs in SQLite while hardening Turso
(
turso.tech
)
39 points by
0xedb
5 days ago
|
0 comments
452
▲
Aether: High-performance, formally-verified storage engine written in Rust
(
codeberg.org
)
37 points by
dboreham
6 days ago
|
14 comments
453
▲
DashAttention: Differentiable and Adaptable Sparse Hierarchical Attention
(
arxiv.org
)
8 points by
cmogni1
3 days ago
|
0 comments
454
▲
You Only Use 10% of Printf() – Here Are Things They Didn't Teach You [video]
(
youtube.com
)
11 points by
bwidlar
1 days ago
|
1 comment
455
▲
The OEIS meta sequence and subway stations
(
jeremykun.com
)
13 points by
surprisetalk
6 days ago
|
3 comments
456
▲
A case against Boolean logic
(
abuseofnotation.github.io
)
68 points by
boris_m
2 days ago
|
86 comments
457
▲
Peter Salus has died
(
tuhs.org
)
172 points by
speckx
5 days ago
|
15 comments
458
▲
I was bored so I turned my dev tools into an alien planet ruled by my dog
(
github.com
)
30 points by
bkawa-bot
1 days ago
|
3 comments
459
▲
Designing an FPGA Calculator from Scratch
(
baltazarstudios.com
)
74 points by
zdw
6 days ago
|
11 comments
460
▲
Open Source Burnout Claims Another Project
(
vlad.website
)
14 points by
linolevan
4 days ago
|
1 comment
461
▲
Show HN: Free Fonts – a collection of 400+ original, open-source typefaces
(
mixfont.com
)
11 points by
justswim
2 days ago
|
1 comment
462
▲
Show HN: Dari-docs – Optimize your docs using parallel coding agents
(
github.com
)
23 points by
byhong03
4 days ago
|
7 comments
463
▲
Porting my 3D points renderer on a ZX Spectrum 48K
(
github.com
)
85 points by
ttsiodras
7 days ago
|
13 comments
464
▲
Linus Torvalds: Linux 7.1-rc4
(
lkml.org
)
7 points by
vnykmshr
8 hours ago
|
1 comment
465
▲
Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely
(
idahonews.com
)
245 points by
ChrisArchitect
7 days ago
|
252 comments
466
▲
Searching for 'Disregard' Breaks Google
(
macrumors.com
)
21 points by
ndr42
2 days ago
|
8 comments
467
▲
Native all the way, until you need text
(
justsitandgrin.im
)
451 points by
dive
7 days ago
|
306 comments
468
▲
Unusual uses of OEIS sequences on GitHub
(
jeremykun.com
)
33 points by
surprisetalk
6 days ago
|
3 comments
469
▲
Comparing Objective Caml and Standard ML
(
adam.chlipala.net
)
14 points by
lambertsimnel
3 days ago
|
2 comments
470
▲
GitHub faces a fight for its survival at Microsoft
(
theverge.com
)
62 points by
sbulaev
3 days ago
|
13 comments
471
▲
I keep bouncing off the Scheme language
(
sicpers.info
)
27 points by
ingve
2 days ago
|
1 comment
472
▲
AI is a technology not a product
(
daringfireball.net
)
477 points by
ch_sm
7 days ago
|
209 comments
473
▲
There's Never Been a Better Time to Study Computer Science
(
theatlantic.com
)
8 points by
chrisaycock
22 hours ago
|
1 comment
474
▲
Shira: Anti Phishing Training Platform
(
shira.app
)
9 points by
carohadad
3 days ago
|
7 comments
475
▲
Java: Rethink Domain Primitives with Valhalla
(
dfa1.github.io
)
31 points by
dfa11
5 days ago
|
11 comments
476
▲
Jury clears Boeing in 737 MAX fraud lawsuit
(
reuters.com
)
7 points by
josephwegner
13 hours ago
|
1 comment
477
▲
web-ai-sdk: experimenting with browser-native AI APIs and WebMCP
(
web-ai-sdk.dev
)
7 points by
obetomuniz
3 days ago
|
0 comments
478
▲
Show HN: Id-agent – Token efficient UUID alternative for AI agents
(
github.com
)
41 points by
pranshuchittora
5 days ago
|
55 comments
479
▲
Mug Shots: A Small Town Noir (2014)
(
theappendix.net
)
13 points by
samclemens
5 days ago
|
3 comments
480
▲
Era: From Nature publication to catalyzing Computational Discovery
(
research.google
)
30 points by
praccu
5 days ago
|
0 comments
Rendered at 10:26:30 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.