News
Newest
Ask
Show
Jobs
Open on GitHub - (Updated The Title)
< prev
1 / 10
more >
144
Ironclad – formally verified, real-time capable, Unix-like OS kernel
(ironclad-os.org)
by
vitalnodo
4 hours ago
|
8 comments
24
Tabloid: The Clickbait Headline Programming Language
(tabloid.vercel.app)
by
sadeshmukh
56 minutes ago
|
3 comments
228
Marko – A declarative, HTML‑based language
(markojs.com)
by
ulrischa
9 hours ago
|
26 comments
148
Largest cargo sailboat completes first Atlantic crossing
(marineinsight.com)
by
defrost
7 hours ago
|
17 comments
318
Study identifies weaknesses in how AI systems are evaluated
(ox.ac.uk)
by
pseudolus
13 hours ago
|
30 comments
48
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
(downtowndougbrown.com)
by
todsacerdoti
5 hours ago
|
0 comments
140
WriterdeckOS
(writerdeckos.com)
by
surprisetalk
9 hours ago
|
32 comments
5
Syntax and Semantics of Programming Languages (1995)
(cs.uiowa.edu)
by
nill0
35 minutes ago
|
2 comments
111
Control structures in programming languages: from goto to algebraic effects
(xavierleroy.org)
by
SchwKatze
5 days ago
|
2 comments
79
Open-source communications by bouncing signals off the Moon
(open.space)
by
fortran77
6 days ago
|
6 comments
< prev
1 / 10
more >