Login
故事
< prev
page 6
more >
Loading...
5
ESBMC-Arduino: Closing the Deployment Gap for Formal Verification
(arxiv.org)
by
Jimmc414
8 hours ago |
1 comments
26
How sea stars build materials that can see
(engineering.upenn.edu)
by
hhs
2 days ago |
4 comments
3
Ask HN: Does anyone else find GPT-5.6 Sol in Codex slow?
by
linzhangrun
16 minutes ago |
1 comments
ask
96
Beavis Ultrasound PnP ISA Sound Card Replica
(github.com)
by
mariuz
a day ago |
43 comments
37
Counting ArXiv Delays
(fi-le.net)
by
fi-le
4 days ago |
12 comments
3
Netflix accidentally shipped a Claude.md file
(reddit.com)
by
Ozzie_osman
2 hours ago |
1 comments
194
Interrail: 6,379Km and 13 Countries over 7 weeks
(shkspr.mobi)
by
coinfused
a day ago |
138 comments
3
Weakening copyright to benefit AI would betray Australian Labor party's ethos
(theguardian.com)
by
ggm
2 hours ago |
discuss
24
Rubio announces campaign to 'dismantle' International Criminal Court
(upi.com)
by
Bondi_Blue
6 hours ago |
5 comments
37
Turn your singing voice into printable notes (in the browser)
(om-intelligence.ch)
by
busssard
8 hours ago |
14 comments
1471
Zig Creator Calls Spade a Spade, Anthropic Blows Smoke
(raymyers.org)
by
crowdhailer
a day ago |
740 comments
20
Georgia family says they're forced to sell home to power AI data centers
(cbsnews.com)
by
rhaynes
6 hours ago |
4 comments
5
Cash is king again at Tokyo's bars after credit processor fails
(japantimes.co.jp)
by
decimalenough
3 hours ago |
1 comments
16
Ask HN: Should I do a CS masters at Cambridge or start as a new grad at Amazon?
by
sspehr
15 hours ago |
73 comments
ask
11
Stop the GUARD Act and age verification laws worldwide
(fsf.org)
by
smitty1e
6 hours ago |
discuss
125
Kode Dot Programmable pocket device for makers, pentesters and geeks
(kode.diy)
by
iNic
a day ago |
35 comments
11
Show HN: I built a one-prompt hackathon platform, free entry, sponsored prizes
(1shotchallenge.ai)
by
lucasmartinic
10 hours ago |
8 comments
78
Frieve Vinyl Explained – Microscopic stylus/groove physics simulation
(frieve-a.github.io)
by
XzetaU8
5 days ago |
11 comments
1031
Ask HN: Add flag for AI-generated articles
by
levkk
a day ago |
443 comments
ask
31
DMS 1.5 "The Wolverine" Released
(danklinux.com)
by
sonixier
5 days ago |
19 comments
211
Why write code in 2026
(softwaredoug.com)
by
softwaredoug
4 days ago |
295 comments
3
A Trip to 90s Kansai: Exploring the XD FirstClass Network BBS
(cdrom.ca)
by
zetamax
7 hours ago |
discuss
5
Show HN: Taetype – a complete font engine for Rust and WASM
(github.com)
by
silly-tae
9 hours ago |
1 comments
15
Meta Is Flooding the Market with Smartglasses. Privacy Advocates Are Up in Arms
(wsj.com)
by
fortran77
6 hours ago |
2 comments
6
Venice's access fee doesn't reduce tourism: it selects who can afford it
(andreafontana.it)
by
trikko
11 hours ago |
5 comments
295
Ghostel.el: Terminal emulator powered by libghostty
(dakra.github.io)
by
signa11
2 days ago |
60 comments
167
Death of the Status Update: Why 55% of Americans Stopped Posting on Social Media
(ca.pcmag.com)
by
thunderbong
2 days ago |
183 comments
3
2026 Fields Medal List Accidentally Leaked
(old.reddit.com)
by
whwhyb
2 hours ago |
1 comments
11
Manifest Man
(thenewcritic.com)
by
ekluger
10 hours ago |
3 comments
5
HaikuOS now has Nvidia graphics acceloration
(youtube.com)
by
cable2600
3 hours ago |
discuss