Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
931.
▲
Show HN: Simple sandboxed way to install and run Node.js scripts using Docker
1 point
freakynit
9 months ago
discuss
932.
▲
Show HN: Containers for Lean 4 (polynomial functors, with M-types)
(github.com/fraware)
1 point
MADEinPARIS
9 months ago
discuss
933.
▲
Show HN: A Human-Centered Protocol for Containment-Aware AI Design
1 point
architect137
a year ago
discuss
934.
▲
Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification
1 point
nandakishor_ml
a year ago
discuss
935.
▲
Home Cloud: User Management System for the Server (OpenSource / GitHub)
1 point
eorgiose
9 years ago
discuss
936.
▲
System Internals of Windows; OS X; Linux; ARM
(github.com/rmusser01)
58 points
SE_Student
7 years ago
3 comments
937.
▲
Atom understands your code better than ever before
(blog.github.com)
46 points
guessmyname
8 years ago
25 comments
938.
▲
Node.*s: JS.V8, JS.Net, Clojure, Lua, C++, C#, Java, Python, Ruby. What else?
(okertanov.github.com)
5 points
okertanov
14 years ago
discuss
939.
▲
A Curated List of ML System Design Case Studies
(github.com/Engineer1999)
3 points
tejonutella
4 months ago
discuss
940.
▲
Bidirectional typing with unification for higher-rank polymorphism
(github.com/brendanzab)
3 points
matt_d
a year ago
discuss
941.
▲
The Managarm Operating System
(github.com/managarm)
2 points
ingve
6 years ago
1 comment
942.
▲
List of Data Center Operating Systems
(github.com/albertux)
2 points
aayala
11 years ago
discuss
943.
▲
ML System Design Case Studies
(github.com/Engineer1999)
2 points
sonabinu
3 months ago
discuss
944.
▲
Exec and Tail-call Optimization
(jeapostrophe.github.com)
2 points
tvorryn
14 years ago
discuss
945.
▲
Crash Course: EnTT Reflection System
(github.com/skypjack)
2 points
skypjack
8 years ago
discuss
946.
▲
Filter your commit logs through this pirate-speak filter for Pirate Day
(github.com/psypete)
1 point
peterwwillis
13 years ago
discuss
947.
▲
Show HN: ABES – a memory architecture for belief revision in AI agents
(github.com/Aftermath-Technologies-Ltd)
1 point
bradkinnard
3 months ago
discuss
948.
▲
A clipboard across two systems
(github.com/Slackadays)
1 point
netr0ute
3 years ago
discuss
949.
▲
DALL·E 2 Preview – Risks and Limitations
(github.com/openai)
1 point
webmaven
4 years ago
discuss
950.
▲
Explore your system deeper (through CHIPSEC) [pdf]
(github.com/comaeio)
1 point
rishabhd
9 years ago
discuss
951.
▲
Red View Graphic System
(github.com/red)
1 point
vmorgulis
10 years ago
discuss
952.
▲
Try: run a command and inspect its effects before changing your live system
(github.com/binpash)
1096 points
espressoRunner
3 years ago
182 comments
953.
▲
I spent 5 years writing my own operating system
(github.com/halfer53)
939 points
halfer53
5 years ago
144 comments
954.
▲
Quarkdown: A modern Markdown-based typesetting system
(github.com/iamgio)
668 points
asicsp
a year ago
273 comments
955.
▲
Elfshaker: Version control system fine-tuned for binaries
(github.com/elfshaker)
599 points
jim90
5 years ago
113 comments
956.
▲
Jellyfin: Free software media system
(github.com/jellyfin)
592 points
majkinetor
3 years ago
393 comments
957.
▲
BootOS: Monolithic operating system in 512 bytes of x86 machine code
(github.com/nanochess)
588 points
nanochess
7 years ago
121 comments
958.
▲
QGIS is a free, open-source, cross platform geographical information system
(github.com/qgis)
573 points
rcarmo
9 months ago
127 comments
959.
▲
System Shock 1 source code released under GPL
(github.com/NightDiveStudios)
568 points
jsheard
8 years ago
188 comments
960.
▲
Show HN: Open-source private home security camera system (end-to-end encryption)
(github.com/privastead)
551 points
arrdalan
2 years ago
165 comments
More