Search: github.com/kern | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Xiaomi Mobile Phone Kernel OpenSource (github.com/MiCode)

1 point

7 years ago

122.

A project to track CVEs in the upstream linux kernel (github.com/nluedtke)

1 point

9 years ago

123.

A bunch of links related to Linux kernel fuzzing and exploitation (github.com/xairy)

1 point

9 years ago

124.

Java 9 Running in a Jupyter Notebook (github.com/Bachmann1234)

1 point

11 years ago

125.

Why are we accepting silent data corruption in Vector Search? (x86 vs. ARM)

5 points

5 months ago

126.

Rail a self hosting FP language with no C

1 point

2 months ago

127.

Show HN: ODL – Organization as Code. I wrote specs, AI wrote 100% of the code

1 point

3 months ago

128.

Hacked Nvidia 4090 GPU driver to enable P2P (github.com/tinygrad)

829 points

2 years ago

129.

Microsoft's Linux Kernel (github.com/microsoft)

801 points

7 years ago

130.

WSL2 corrupting Git repositories and shell history (github.com/microsoft)

614 points

5 years ago

131.

Nvidia-smi hangs indefinitely after ~66 days (github.com/NVIDIA)

200 points

4 months ago

132.

Band releases album as kernel module (github.com/usrbinnc)

173 points

12 years ago

133.

Minimal x86 Kernel Zig (github.com/lopespm)

155 points

4 months ago

134.

Show HN: Ansible Kernel – Run Ansible Tasks and Plays with Jupyter Notebook (github.com/ansible)

123 points

8 years ago

135.

Show HN: My microkernel-based OS built from scratch now has basic Unix commands (github.com/lux-operating-system)

69 points

2 years ago

136.

Nvidia Linux Open GPU Kernel Module Source (github.com/NVIDIA)

61 points

4 years ago

137.

Seattle Band 'netcat' Releases Album as a Linux Kernel Module (github.com/usrbinnc)

42 points

12 years ago

138.

Moss-kernel: Rust Linux-compatible kernel (github.com/hexagonal-sun)

8 points

4 months ago

139.

Cori – Give agents safe DB write access without raw SQL (open source in Rust) (github.com/cori-do)

6 points

4 months ago

140.

EwoK: secure embedded micro-kernel using SPARK/Ada formal verification (github.com/wookey-project)

5 points

8 years ago

141.

Coarray Fortran Jupyter kernel (github.com/sourceryinstitute)

3 points

9 years ago

142.

Suspend broken for Nvidia on latest Linux kernel (github.com/NVIDIA)

3 points

24 days ago

143.

DuckDB Kernel – analytical execution runtime for Jupyter (github.com/hugr-lab)

3 points

a month ago

144.

Linux Kernel module running WASM filters with wasm3 (github.com/cisco-open)

3 points

3 years ago

145.

JINY: Jana's tINY kernel designed for cloud workloads with Linux compatibility (github.com/naredula-jana)

3 points

4 years ago

146.

Writing dot graph using jupyter (github.com/laixintao)

3 points

8 years ago

147.

Why you not contributing yet? Contribute to Obsidian Kernel (github.com/roading-os)

2 points

2 months ago

148.

Obsidian will receive the 0.0.3-rc3 brief. You can see and follow clicking here (github.com/roading-os)

2 points

2 months ago

149.

Do you want to follow the Obsidian Kernel? Click here (github.com/roading-os)

2 points

2 months ago

150.

Obsidian Kernel – A post-POSIX kernel (github.com/roading-os)

2 points

3 months ago