Login
故事
< prev
page 3
more >
Loading...
123
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(bloomberg.github.io)
by
clarus
5 days ago |
27 comments
37
The Kept and the Killed (2022)
(publicdomainreview.org)
by
nomagicbullet
a day ago |
4 comments
103
80386 Multiplication and Division
(nand2mario.github.io)
by
nand2mario
a day ago |
30 comments
21
KAOS – The Kubernetes Agent Orchestration System
(github.com)
by
axsaucedo
5 days ago |
5 comments
209
Show HN: Coi – A language that compiles to WASM, beats React/Vue
by
io_eric
5 days ago |
67 comments
199
Tao Te Ching – Translated by Ursula K. Le Guin
(github.com)
by
andsoitis
21 hours ago |
91 comments
69
JSON-render: LLM-based JSON-to-UI tool
(json-render.dev)
by
rickcarlino
19 hours ago |
20 comments
322
When employees feel slighted, they work less
(penntoday.upenn.edu)
by
consumer451
5 days ago |
240 comments
44
The Concatative Language XY
(nsl.com)
by
ofalkaed
19 hours ago |
17 comments
32
The future of work when work is meaningless
(letters.thedankoe.com)
by
saikatsg
21 hours ago |
2 comments
262
Europe wants to end its dangerous reliance on US internet technology
(theconversation.com)
by
DyslexicAtheist
15 hours ago |
218 comments
42
Show HN: Semantic search engine for Studio Ghibli movie
(ghibli-search.anini.workers.dev)
by
aninibread
4 days ago |
10 comments
124
Alex Honnold completes Taipei 101 skyscraper climb without ropes or safety net
(cnn.com)
by
keepamovin
11 hours ago |
103 comments
14
Emulator2000 – Seiko Digital Watch Emulator
(github.com)
by
rickcarlino
13 hours ago |
discuss
70
Like digging 'your own grave': The translators grappling with losing work to AI
(cnn.com)
by
myk-e
6 hours ago |
57 comments
38
JVIC: New web-based Commodore VIC 20 emulator
(vic20.games)
by
lance_ewing
a day ago |
39 comments
149
December in Servo: multiple windows, proxy support, better caching, and more
(servo.org)
by
t-3
21 hours ago |
12 comments
437
Unrolling the Codex agent loop
(openai.com)
by
tosh
2 days ago |
201 comments
18
We are building a new browser from scratch, backed by a non-profit
(ladybird.org)
by
nailer
14 hours ago |
3 comments
285
Internet Archive's Storage
(blog.dshr.org)
by
zdw
5 days ago |
88 comments
45
ollama launch
(ollama.com)
by
tosh
21 hours ago |
discuss
467
Proof of Corn
(proofofcorn.com)
by
rocauc
2 days ago |
305 comments
1073
Bugs Apple loves
(bugsappleloves.com)
by
nhod
2 days ago |
516 comments
21
Show HN: Polymcp – Turn Any Python Function into an MCP Tool for AI Agents
by
justvugg
19 hours ago |
4 comments
344
Comma openpilot – Open source driver-assistance
(comma.ai)
by
JumpCrisscross
2 days ago |
210 comments
68
XHTML Club
(xhtml.club)
by
bradley_taunt
a day ago |
113 comments
21
Language may rely less on complex grammar than previously thought: study
(scitechdaily.com)
by
mikhael
a day ago |
15 comments
30
C++26 Reflection loves QRangeModel
(qt.io)
by
jandeboevrie
5 days ago |
9 comments
137
Anthropic Economic Index report: economic primitives
(anthropic.com)
by
malshe
3 days ago |
73 comments
3
A note from Claude Opus to vibe coders
(talkwithopus.com)
by
manthangupta109
3 hours ago |
discuss