Search: github.com/sys4 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Built a Symbolic System to Control and Audit GPT Interactions

1 point

a year ago

482.

device-hub – a self-hosted solution for collecting and storing IoT device data

1 point

a year ago

483.

Show HN: RuGiVi – Adult media landscape browser (github.com/pronopython)

1 point

3 years ago

484.

Super easy comment system in express Node.js

1 point

5 years ago

485.

$96 3D-printed rocket that recalculates its mid-air trajectory using a $5 sensor (github.com/novatic14)

452 points

3 months ago

486.

Awesome Sysadmin: Open-source sysadmin resources (github.com/kahun)

250 points

12 years ago

487.

Zeal OS is a modernized fork of the Temple Operating System (github.com/Zeal-Operating-System)

219 points

4 years ago

488.

Microsoft Fluent UI System Icons (github.com/microsoft)

182 points

6 years ago

489.

SystemE – A lightweight systemd replacement written in Emacs Lisp (github.com/a-schaefers)

167 points

5 years ago

490.

SystemE: A lightweight systemd replacement written in Emacs Lisp (github.com/a-schaefers)

162 points

6 years ago

491.

Awesome-sysadmin: A curated list of amazingly open source sysadmin resources (github.com/kahun)

160 points

6 years ago

492.

Haskus – A Haskell Framework for Systems Programming (github.com/haskus)

146 points

9 years ago

493.

Formal Systems in Biology (github.com/prathyvsh)

133 points

6 years ago

494.

Implementations of various type systems in OCaml (github.com/tomprimozic)

113 points

12 years ago

495.

Grow Your Own Type System (github.com/tomprimozic)

105 points

11 years ago

496.

Testing distributed systems with AI agents (github.com/shenli)

96 points

19 days ago

497.

Systemd-manager-TUI: A TUI application for managing systemd services (github.com/Matheus-git)

84 points

a month ago

498.

Leaked ChatGPT and CustomGPT Prompts (github.com/LouisShark)

79 points

3 years ago

499.

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

69 points

2 years ago

500.

Linux Sysadmin/DevOps Interview Questions (github.com/chassing)

62 points

10 years ago

501.

Django System Monitor (github.com/hakanzy)

61 points

13 years ago

502.

Zeal OS (github.com/Zeal-Operating-System)

57 points

2 years ago

503.

Show HN: Simple refined types implementation that can prevent Heartbleed (github.com/tomprimozic)

56 points

12 years ago

504.

Liberated Systemd (github.com/jeffrey-sardina)

33 points

3 months ago

505.

Show HN: Leaked system prompts (e.g.: GitHub-copilot chat, Microsoft-Bing chat) (github.com/jujumilk3)

30 points

3 years ago

506.

systemE, a lightweight systemd replacement written in Emacs Lisp (github.com/a-schaefers)

29 points

6 years ago

507.

V0 System Prompt (github.com/x1xhlol)

16 points

a year ago

508.

Show HN: Minimal DL library in C – 24 NAIVE CUDA/CPU ops, autodiff, Python API (github.com/IaroslavElistratov)

13 points

6 months ago

509.

Hamster-system: Ultra-simple framework to organize your life (github.com/slowernews)

11 points

5 years ago

510.

Show HN: Patina, an AI that learns your judgment, not just your tasks (github.com/Sanctum-Origo-Systems)

8 points

3 days ago