Login
故事
< prev
page 8
more >
Loading...
58
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
(arxiv.org)
by
PaulHoule
2 days ago |
12 comments
14
California's Ro Khanna faces Silicon Valley backlash after embracing wealth tax
(cnbc.com)
by
1vuio0pswjnm7
18 hours ago |
6 comments
4
GPU-Agnostic Programming Using CubeCL
(thomasantony.com)
by
tantony
19 hours ago |
discuss
41
Lottocracy: Democracy Without Elections
(lottocracy.org)
by
egghack
6 hours ago |
86 comments
229
Clock synchronization is a nightmare
(arpitbhayani.me)
by
grep_it
7 days ago |
156 comments
12
Russian number station UVB-76 suddenly plays Swan Lake and Erika [video]
(youtube.com)
by
agentifysh
5 hours ago |
2 comments
266
Ask HN: What skills do you want to develop or improve in 2026?
by
meridion
5 days ago |
411 comments
ask
176
T-Ruby is Ruby with syntax for types
(type-ruby.github.io)
by
thunderbong
4 days ago |
147 comments
27
Formulaic Delimiters in the Iliad and the Odyssey
(glthr.com)
by
glth
4 days ago |
13 comments
163
Hungry Fat Cells Could Someday Starve Cancer
(ucsf.edu)
by
mrtnmrtn
3 days ago |
51 comments
8
Ruby Array Pack Bleed – Impacts Ruby 1.6.7 to 4.0.0
(nastystereo.com)
by
pentestercrab
13 hours ago |
discuss
777
Package managers keep using Git as a database, it never works out
(nesbitt.io)
by
birdculture
4 days ago |
455 comments
307
Janet Jackson had the power to crash laptop computers (2022)
(devblogs.microsoft.com)
by
montalbano
3 days ago |
124 comments
131
Spherical Cow
(lib.rs)
by
Natfan
2 days ago |
20 comments
688
How we lost communication to entertainment
(ploum.net)
by
8organicbits
3 days ago |
394 comments
7
7,020 Days of Hacker News
(da0a80a4.static-news-dtg.pages.dev)
by
keepamovin
a day ago |
1 comments
9
China mandates 50% domestic equipment rule for chipmakers
(reuters.com)
by
novaRom
5 hours ago |
discuss
9
Elon Musk's top Tesla predictions for 2025 that didn't happen
(electrek.co)
by
breve
2 hours ago |
2 comments
7
Election betting on prediction markets apps is set to boom ahead of midterms
(npr.org)
by
mhb
10 hours ago |
4 comments
99
Splice a Fibre
(react-networks-lib.rackout.net)
by
matt-p
4 days ago |
43 comments
148
Inside the proton, the ‘most complicated thing you could possibly imagine’ (2022)
(quantamagazine.org)
by
tzury
4 days ago |
61 comments
8
Worktrunk – CLI for Git worktree management
(github.com)
by
mihau
a day ago |
discuss
439
Gpg.fail
(gpg.fail)
by
todsacerdoti
3 days ago |
353 comments
6
Evolution: Training neural networks with genetic selection achieves 81% on MNIST
(github.com)
by
AsyncVibes
a day ago |
2 comments
328
Ask HN: What did you read in 2025?
by
kwar13
4 days ago |
434 comments
ask
39
2025 Was Another Exceptionally Hot Year
(e360.yale.edu)
by
Brajeshwar
9 hours ago |
26 comments
490
Experts explore new mushroom which causes fairytale-like hallucinations
(nhmu.utah.edu)
by
astronads
4 days ago |
322 comments
152
Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines
(github.com)
by
isitcontent
4 days ago |
36 comments
12
A curated directory of open-source AI projects
by
doanbactam
15 hours ago |
2 comments
28
Linux 7.0 Expected to Bring IO_uring Iopoll Polling Improvements
(phoronix.com)
by
rbanffy
a day ago |
discuss