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 |
38 comments
243
A Lament for Aperture
(ikennd.ac)
by
firloop
7 days ago |
55 comments
9
Joel Spolsky: Painless Software Schedules (2000)
(joelonsoftware.com)
by
MonkeyClub
a day ago |
2 comments
24
Ask HN: How to prevent Claude/GPT/Gemini from reinforcing your biases?
by
akshay326
19 hours ago |
17 comments
ask
90
Shared Claude: A website controlled by the public
(sharedclaude.com)
by
reasonableklout
3 days ago |
27 comments
30
Clawdbot: Personal AI Assistant
(clawd.bot)
by
puppion
a day ago |
1 comments
1319
Show HN: isometric.nyc – giant isometric pixel art map of NYC
(cannoneyed.com)
by
cannoneyed
5 days ago |
240 comments
113
France passes bill to ban social media use by under-15s
(rte.ie)
by
austinallegro
9 hours ago |
139 comments
5
Skåpa, a parametric 3D printing app like an IKEA manual
(nmattia.com)
by
iamjackg
19 hours ago |
discuss
125
Agent orchestration for the timid
(substack.com)
by
markferree
3 days ago |
30 comments
538
How I estimate work
(seangoedecke.com)
by
mattjhall
3 days ago |
313 comments
8
A Ruby Regular Expression Engine
(kddnewton.com)
by
thunderbong
10 hours ago |
discuss
14
Ubuntu Pro subscription – should you pay to use Linux?
(optimizedbyotto.com)
by
ottoke
a day ago |
23 comments
67
Understanding Rust Closures
(antoine.vandecreme.net)
by
avandecreme
3 days ago |
34 comments
224
Show HN: Coi – A language that compiles to WASM, beats React/Vue
by
io_eric
7 days ago |
69 comments
119
Microsoft suspects some PCs might not boot after Windows 11 January 2026 Update
(windowslatest.com)
by
nsoonhui
2 days ago |
94 comments
108
80386 Multiplication and Division
(nand2mario.github.io)
by
nand2mario
3 days ago |
30 comments
288
Doctors in Brazil using tilapia fish skin to treat burn victims (2017)
(pbs.org)
by
kaycebasques
5 days ago |
84 comments
70
Show HN: C From Scratch – Learn safety-critical C with prove-first methodology
(github.com)
by
william1872
3 days ago |
11 comments
126
State of the Windows: What is going on with Windows 11?
(ntdotdev.wordpress.com)
by
xd1936
17 hours ago |
189 comments
214
I Like GitLab
(whileforloop.com)
by
lukas346
3 days ago |
120 comments
6
The Home Computer Hybrids: Atari, TI, and the FCC
(technicshistory.com)
by
cfmcdonald
20 hours ago |
discuss
7
Claude's Constitutional Structure
(thezvi.substack.com)
by
paulpauper
10 hours ago |
discuss
11
TikTok reports 'major infrastructure issue' causing app glitches, bugs
(zdnet.com)
by
Gaishan
15 hours ago |
1 comments
6
Let's Talk About Those Watches in 'Severance'
(hodinkee.com)
by
wslh
8 hours ago |
discuss
10
Show HN: Hybrid Markdown Editing
(tiagosimoes.github.io)
by
eropatori
20 hours ago |
4 comments
4
An ultra-high-resolution map of (dark) matter
(nature.com)
by
neom
8 hours ago |
discuss
182
DHS keeps trying and failing to unmask anonymous ICE critics online
(arstechnica.com)
by
duxup
a day ago |
147 comments
233
Updates to our web search products and Programmable Search Engine capabilities
(programmablesearchengine.googleblog.com)
by
01jonny01
4 days ago |
190 comments
130
Wine-Staging 11.1 Adds Patches for Enabling Recent Photoshop Versions on Linux
(phoronix.com)
by
LorenDB
2 days ago |
49 comments