Search: github.com/sys4 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Show HN: ChroniclerJ, efficient record-replay for Java programs

github.com/Programming-Systems-Lab

13 years ago

3 points

212.

Userdb: Add birthDate field to JSON user records

github.com/systemd

3 months ago

3 points

213.

Show HN: Morfist – A Multi-target Random Forest capable of mixed learning

github.com/systemallica

6 years ago

3 points

214.

Show HN: Type-safe metaprogramming for Java (and other killer lang features)

github.com/manifold-systems

8 years ago

3 points

215.

My systemtap toolkit to online analyze on production

github.com/detailyang

10 years ago

3 points

216.

System2 – Multi-Agents for Data

github.com/diegoscarabelli

a month ago

3 points

217.

Type-Safe JDBC: Schema-First Native SQL in Java

github.com/manifold-systems

4 months ago

3 points

218.

Show HN: A terminal-native web search agent built with the Subconscious SDK

github.com/subconscious-systems

5 months ago

3 points

219.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle

github.com/welltyped-systems

6 months ago

3 points

220.

Noto: Local journaling chat UI with per-handle memory (Flask, SQLite, LM Studio)

github.com/brodiedellis-sys

10 months ago

3 points

221.

Somebody on Reddit got the full 400 line devin AI system prompt

github.com/x1xhlol

a year ago

3 points

222.

github.com/manifold-systems

2 years ago

3 points

223.

IJON Deep State Space Explorer

github.com/RUB-SysSec

2 years ago

3 points

224.

Systeminformer: Monitor system resources, debug software and detect malware

github.com/winsiderss

4 years ago

3 points

225.

Sysbox now works on K8s v1.21

github.com/nestybox

5 years ago

3 points

226.

sys_metrics is the fastest information fetching lib written in Rust

github.com/Martichou

5 years ago

3 points

227.

System Programming wiki (UIUC)

github.com/angrave

6 years ago

3 points

228.

Syscalls – A tool for building seccomp-bpf policies

github.com/avilum

8 years ago

3 points

229.

Systemd: hostnamed does not like fqdns with trailing dots

github.com/systemd

9 years ago

binaryapparatus

3 points

230.

Distributed A/V Across Multiple Raspberry-Pis

github.com/systemics

10 years ago

3 points

231.

Systemd reinvents mount(8) with systemd-mount

github.com/systemd

10 years ago

3 points

232.

Chrome extension to replace “systemd” with “butts” on websites

github.com/jfrazelle

12 years ago

3 points

233.

OSv, a new open-source operating system for virtual-machines

github.com/cloudius-systems

12 years ago

3 points

234.

github.com/systemd

3 months ago

3 points

235.

Show HN: System prompts and models of top AI tools (Claude Code, Cursor, Devin)

github.com/x1xhlol

4 months ago

3 points

236.

Show HN: Chaos Agents – Run chaos experiments with Agents

github.com/system32-ai

4 months ago

3 points

237.

Show HN: Covpeek – Cross-language coverage report CLI parser (Rust/Go/TS/Python)

github.com/Chapati-Systems

8 months ago

3 points

238.

MVS-sysgen/sysgen: Jay Moseley MVS 3.8j sysgen automation

github.com/MVS-sysgen

9 months ago

3 points

239.

System Manager – Manage system config using Nix on any distro

github.com/numtide

a year ago

3 points

240.

Learn how to design large-scale systems. Includes Anki flashcards

github.com/donnemartin

a year ago

3 points