Black
Cat
.top
主页
实验室
博客
项目
留言
设置
主页
实验室
博客
项目
留言
设置
实验室
HackerNews
new
Current page:
hot
past
ask
show
jobs
Hot HN
刷新
Ironclad – formally verified, real-time capable, Unix-like OS kernel
ironclad-os.org
vitalnodo
12 hours ago
271 points
64 条回复
I Am Mark Zuckerberg
iammarkzuckerberg.com
jb1991
5 hours ago
368 points
128 条回复
Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican
simonwillison.net
simonw
7 hours ago
76 points
35 条回复
Largest cargo sailboat completes first Atlantic crossing
www.marineinsight.com
defrost
15 hours ago
250 points
172 条回复
Marko – A declarative, HTML‑based language
markojs.com
ulrischa
16 hours ago
295 points
140 条回复
Defeating Kaslr by Doing Nothing at All
googleprojectzero.blogspot.com
aa_is_op
5 day ago
41 points
2 条回复
Show HN: I built a self-hosted error tracker in Rails
telebugs.com
kyrylo
8 day ago
27 points
13 条回复
Forth – is it still relevant?
github.com
lioeters
6 hours ago
41 points
18 条回复
Study identifies weaknesses in how AI systems are evaluated
www.oii.ox.ac.uk
pseudolus
20 hours ago
357 points
176 条回复
Open-source communications by bouncing signals off the Moon
open.space
fortran77
6 day ago
174 points
42 条回复
1
2
3
4
5
…
50
我是底线...