Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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