News
Newest
Ask
Show
Jobs
Open on GitHub - (Updated The Title)
< prev
1 / 10
more >
263
Ironclad – formally verified, real-time capable, Unix-like OS kernel
(ironclad-os.org)
by
vitalnodo
11 hours ago
|
15 comments
315
I Am Mark Zuckerberg
(iammarkzuckerberg.com)
by
jb1991
4 hours ago
|
34 comments
75
Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican
(simonwillison.net)
by
simonw
6 hours ago
|
4 comments
240
Largest cargo sailboat completes first Atlantic crossing
(marineinsight.com)
by
defrost
14 hours ago
|
25 comments
293
Marko – A declarative, HTML‑based language
(markojs.com)
by
ulrischa
15 hours ago
|
31 comments
36
Defeating Kaslr by Doing Nothing at All
(googleprojectzero.blogspot.com)
by
aa_is_op
4 days ago
|
1 comments
30
Runc breaks pods when CPU requests aren't multiples of 10
(github.com)
by
dropbox_miner
5 hours ago
|
3 comments
354
Study identifies weaknesses in how AI systems are evaluated
(ox.ac.uk)
by
pseudolus
20 hours ago
|
31 comments
35
Forth – is it still relevant?
(github.com)
by
lioeters
5 hours ago
|
12 comments
169
Open-source communications by bouncing signals off the Moon
(open.space)
by
fortran77
6 days ago
|
11 comments
< prev
1 / 10
more >