Search: github.com/kerv | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Show HN: Cuq – Formal Verification of Rust GPU Kernels

github.com/neelsomani

8 months ago

94 points

482.

Nvidia Tilus: A Tile-Level GPU Kernel Programming Language

github.com/NVIDIA

10 months ago

94 points

483.

C++ implementation of the Jupyter kernel protocol

github.com/QuantStack

8 years ago

94 points

484.

Deep Reinforcement Learning Using Keras and OpenAI Gym

github.com/coreylynch

10 years ago

94 points

485.

Commodore 64 BASIC and KERNAL on Atari 8-bit hardware

github.com/unbibium

5 years ago

92 points

486.

Linux kernel memory management, part 1

github.com/0xAX

11 years ago

91 points

487.

Linux kernel booting process, part 2

github.com/0xAX

11 years ago

90 points

488.

LwIP on BareMetal: Lightweight TCP/IP stack running on ultra-lightweight kernel

github.com/ReturnInfinity

12 years ago

89 points

489.

Linux-insides: Queued spinlocks in the Linux kernel

github.com/0xAX

10 years ago

88 points

490.

Linux kernel booting process, part 5

github.com/0xAX

11 years ago

88 points

491.

Linux kernel initialization, part 8

github.com/0xAX

11 years ago

88 points

492.

Truck: CAD Kernel in Rust

github.com/ricosjp

3 years ago

86 points

493.

Jacqueline – A minimal i386 kernel written in Pascal (2019)

github.com/danirod

8 months ago

peter_d_sherman

86 points

494.

History of the Plan 9 kernel (1990 – 2003)

github.com/0intro

7 years ago

86 points

495.

“this code very fast” pull request to remove whitespace from linux kernel

github.com/torvalds

9 years ago

83 points

496.

Bypassing the kernel for 56ns cross-language IPC

github.com/riyaneel

2 months ago

83 points

497.

Linux kernel booting process, part 3

github.com/0xAX

11 years ago

82 points

498.

Treebomination: Convert a scikit-learn decision tree into a Keras model

github.com/Dobiasd

3 years ago

79 points

499.

Keras Implementation of Alpha Zero for Chess

github.com/Zeta36

8 years ago

78 points

500.

In-kernel QUIC implementation with Userspace handshake

github.com/lxin

3 years ago

75 points

501.

Calysto: A Scheme kernel for Jupyter that can use Python libraries

github.com/Calysto

10 years ago

74 points

502.

StackRot (CVE-2023-3269): Linux kernel privilege escalation vulnerability

github.com/lrh2000

3 years ago

73 points

503.

Linux-insides: System calls in the Linux kernel, Part 3

github.com/0xAX

11 years ago

73 points

504.

Linux kernel initialization, part 10: Running first process

github.com/0xAX

11 years ago

72 points

505.

Multiplix, operating system kernel for RISC-V and AArch64 SBCs

github.com/zyedidia

3 years ago

70 points

506.

Linux-insides: System calls in the Linux kernel, Part 2

github.com/0xAX

11 years ago

70 points

507.

Linux kernel initialization, part 9: RCU initialization

github.com/0xAX

11 years ago

70 points

508.

Raw Gadget is a kernel module that allows to emulate USB devices from userspace

github.com/xairy

6 years ago

68 points

509.

Show HN: A 10KiB kernel for cloud apps

github.com/ReturnInfinity

5 months ago

68 points

510.

BugChecker – A SoftICE-like kernel debugger for Windows 11

github.com/vitoplantamura

3 years ago

67 points