HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
661.
▲
Tilck – Tiny Linux-Compatible Kernel
github.com/vvaltchev
7 comments
5 years ago
petschge
97 points
662.
▲
Show HN: Cuq – Formal Verification of Rust GPU Kernels
github.com/neelsomani
63 comments
8 months ago
nsomani
94 points
663.
▲
Nvidia Tilus: A Tile-Level GPU Kernel Programming Language
github.com/NVIDIA
48 comments
10 months ago
ashvardanian
94 points
664.
▲
C++ implementation of the Jupyter kernel protocol
github.com/QuantStack
11 comments
8 years ago
seletz
94 points
665.
▲
Deep Reinforcement Learning Using Keras and OpenAI Gym
github.com/coreylynch
2 comments
10 years ago
fchollet
94 points
666.
▲
Commodore 64 BASIC and KERNAL on Atari 8-bit hardware
github.com/unbibium
38 comments
5 years ago
TMWNN
92 points
667.
▲
Linux kernel memory management, part 1
github.com/0xAX
2 comments
11 years ago
0xAX
91 points
668.
▲
Linux kernel booting process, part 2
github.com/0xAX
3 comments
11 years ago
0xAX
90 points
669.
▲
LwIP on BareMetal: Lightweight TCP/IP stack running on ultra-lightweight kernel
github.com/ReturnInfinity
23 comments
12 years ago
nkurz
89 points
670.
▲
Linux-insides: Queued spinlocks in the Linux kernel
github.com/0xAX
5 comments
10 years ago
0xAX
88 points
671.
▲
Linux kernel booting process, part 5
github.com/0xAX
3 comments
11 years ago
0xAX
88 points
672.
▲
Linux kernel initialization, part 8
github.com/0xAX
discuss
11 years ago
0xAX
88 points
673.
▲
Truck: CAD Kernel in Rust
github.com/ricosjp
44 comments
3 years ago
adamnemecek
86 points
674.
▲
Jacqueline – A minimal i386 kernel written in Pascal (2019)
github.com/danirod
25 comments
8 months ago
peter_d_sherman
86 points
675.
▲
History of the Plan 9 kernel (1990 – 2003)
github.com/0intro
3 comments
7 years ago
0intro
86 points
676.
▲
“this code very fast” pull request to remove whitespace from linux kernel
github.com/torvalds
55 comments
9 years ago
namanyayg
83 points
677.
▲
Bypassing the kernel for 56ns cross-language IPC
github.com/riyaneel
33 comments
2 months ago
riyaneel
83 points
678.
▲
Linux kernel booting process, part 3
github.com/0xAX
4 comments
11 years ago
0xAX
82 points
679.
▲
Treebomination: Convert a scikit-learn decision tree into a Keras model
github.com/Dobiasd
6 comments
3 years ago
Dobiasd
79 points
680.
▲
Keras Implementation of Alpha Zero for Chess
github.com/Zeta36
4 comments
8 years ago
atroyn
78 points
681.
▲
In-kernel QUIC implementation with Userspace handshake
github.com/lxin
7 comments
3 years ago
wseqyrku
75 points
682.
▲
Calysto: A Scheme kernel for Jupyter that can use Python libraries
github.com/Calysto
3 comments
10 years ago
pmoriarty
74 points
683.
▲
StackRot (CVE-2023-3269): Linux kernel privilege escalation vulnerability
github.com/lrh2000
64 comments
3 years ago
simonpure
73 points
684.
▲
Linux-insides: System calls in the Linux kernel, Part 3
github.com/0xAX
1 comment
11 years ago
0xAX
73 points
685.
▲
Linux kernel initialization, part 10: Running first process
github.com/0xAX
1 comment
11 years ago
0xAX
72 points
686.
▲
Multiplix, operating system kernel for RISC-V and AArch64 SBCs
github.com/zyedidia
26 comments
3 years ago
yawniek
70 points
687.
▲
Linux-insides: System calls in the Linux kernel, Part 2
github.com/0xAX
9 comments
11 years ago
0xAX
70 points
688.
▲
Linux kernel initialization, part 9: RCU initialization
github.com/0xAX
2 comments
11 years ago
0xAX
70 points
689.
▲
Raw Gadget is a kernel module that allows to emulate USB devices from userspace
github.com/xairy
25 comments
6 years ago
SomeSnail
68 points
690.
▲
Show HN: A 10KiB kernel for cloud apps
github.com/ReturnInfinity
12 comments
5 months ago
ianseyler
68 points
More