Login
故事
< prev
page 7
more >
Loading...
129
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(bloomberg.github.io)
by
clarus
7 days ago |
35 comments
8
Show HN: Hybrid Markdown Editing
(tiagosimoes.github.io)
by
eropatori
18 hours ago |
2 comments
90
Shared Claude: A website controlled by the public
(sharedclaude.com)
by
reasonableklout
3 days ago |
27 comments
1100
Bugs Apple loves
(bugsappleloves.com)
by
nhod
4 days ago |
535 comments
13
AI Was Supposed to "Revolutionize" Work. In Many Offices, It's Creating Chaos
(slate.com)
by
ryan_j_naughton
13 hours ago |
3 comments
119
Microsoft suspects some PCs might not boot after Windows 11 January 2026 Update
(windowslatest.com)
by
nsoonhui
a day ago |
94 comments
125
Agent orchestration for the timid
(substack.com)
by
markferree
3 days ago |
30 comments
1318
Show HN: isometric.nyc – giant isometric pixel art map of NYC
(cannoneyed.com)
by
cannoneyed
5 days ago |
240 comments
537
How I estimate work
(seangoedecke.com)
by
mattjhall
3 days ago |
313 comments
67
Understanding Rust Closures
(antoine.vandecreme.net)
by
avandecreme
3 days ago |
34 comments
223
Show HN: Coi – A language that compiles to WASM, beats React/Vue
by
io_eric
7 days ago |
69 comments
8
China hacked Downing Street phones for years
(telegraph.co.uk)
by
isaacfrond
4 hours ago |
discuss
178
DHS keeps trying and failing to unmask anonymous ICE critics online
(arstechnica.com)
by
duxup
20 hours ago |
129 comments
108
80386 Multiplication and Division
(nand2mario.github.io)
by
nand2mario
3 days ago |
30 comments
4
I have written gemma3 inference in pure C
(github.com)
by
robitec97
a day ago |
discuss
8
TikTok censorship claims spark probe of app's handling of anti-Trump content
(nbcnews.com)
by
top_sigrid
3 hours ago |
1 comments
7
EU and India sign landmark trade agreement
(theguardian.com)
by
Archelaos
4 hours ago |
discuss
44
AI will not replace software engineers (hopefully)
(medium.com)
by
fwef64
a day ago |
70 comments
288
Doctors in Brazil using tilapia fish skin to treat burn victims (2017)
(pbs.org)
by
kaycebasques
5 days ago |
84 comments
214
I Like GitLab
(whileforloop.com)
by
lukas346
3 days ago |
120 comments
67
Show HN: C From Scratch – Learn safety-critical C with prove-first methodology
(github.com)
by
william1872
3 days ago |
11 comments
130
Wine-Staging 11.1 Adds Patches for Enabling Recent Photoshop Versions on Linux
(phoronix.com)
by
LorenDB
2 days ago |
49 comments
38
Publishing on the ATmosphere
(tynanistyping.offprint.app)
by
danabramov
7 days ago |
32 comments
36
Bridging the Gap Between PLECS and SPICE
(erickschulz.dev)
by
eschu
2 days ago |
14 comments
296
Poland's energy grid was targeted by never-before-seen wiper malware
(arstechnica.com)
by
Bender
3 days ago |
144 comments
232
Updates to our web search products and Programmable Search Engine capabilities
(programmablesearchengine.googleblog.com)
by
01jonny01
4 days ago |
190 comments
71
Show HN: AutoShorts – Local, GPU-accelerated AI video pipeline for creators
(github.com)
by
divyaprakash
2 days ago |
32 comments
219
Postmortem: Our first VLEO satellite mission (with imagery and flight data)
(albedo.com)
by
topherhaddad
3 days ago |
72 comments
21
Over 700k (UK) graduates out of work and claiming benefits, analysis suggests
(bbc.com)
by
hmmmmmmmmmmmmmm
19 hours ago |
4 comments
474
Proof of Corn
(proofofcorn.com)
by
rocauc
4 days ago |
306 comments