Search: github.com/sys4 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Show HN: Morfist – A Multi-target Random Forest capable of mixed learning (github.com/systemallica)

3 points

6 years ago

212.

Show HN: Type-safe metaprogramming for Java (and other killer lang features) (github.com/manifold-systems)

3 points

8 years ago

213.

My systemtap toolkit to online analyze on production (github.com/detailyang)

3 points

10 years ago

214.

System2 – Multi-Agents for Data (github.com/diegoscarabelli)

3 points

24 days ago

215.

Type-Safe JDBC: Schema-First Native SQL in Java (github.com/manifold-systems)

3 points

3 months ago

216.

Show HN: A terminal-native web search agent built with the Subconscious SDK (github.com/subconscious-systems)

3 points

5 months ago

217.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com/welltyped-systems)

3 points

5 months ago

218.

Noto: Local journaling chat UI with per-handle memory (Flask, SQLite, LM Studio) (github.com/brodiedellis-sys)

3 points

9 months ago

219.

Somebody on Reddit got the full 400 line devin AI system prompt (github.com/x1xhlol)

3 points

a year ago

220.

Java and SQL (github.com/manifold-systems)

3 points

2 years ago

221.

IJON Deep State Space Explorer (github.com/RUB-SysSec)

3 points

2 years ago

222.

Systeminformer: Monitor system resources, debug software and detect malware (github.com/winsiderss)

3 points

4 years ago

223.

Sysbox now works on K8s v1.21 (github.com/nestybox)

3 points

5 years ago

224.

sys_metrics is the fastest information fetching lib written in Rust (github.com/Martichou)

3 points

5 years ago

225.

System Programming wiki (UIUC) (github.com/angrave)

3 points

6 years ago

226.

Syscalls – A tool for building seccomp-bpf policies (github.com/avilum)

3 points

8 years ago

227.

Systemd: hostnamed does not like fqdns with trailing dots (github.com/systemd)

3 points

binaryapparatus

9 years ago

228.

Distributed A/V Across Multiple Raspberry-Pis (github.com/systemics)

3 points

10 years ago

229.

Systemd reinvents mount(8) with systemd-mount (github.com/systemd)

3 points

10 years ago

230.

Chrome extension to replace “systemd” with “butts” on websites (github.com/jfrazelle)

3 points

11 years ago

231.

OSv, a new open-source operating system for virtual-machines (github.com/cloudius-systems)

3 points

12 years ago

232.

systemd v260 (github.com/systemd)

3 points

3 months ago

233.

Show HN: System prompts and models of top AI tools (Claude Code, Cursor, Devin) (github.com/x1xhlol)

3 points

3 months ago

234.

Show HN: Chaos Agents – Run chaos experiments with Agents (github.com/system32-ai)

3 points

4 months ago

235.

Show HN: Covpeek – Cross-language coverage report CLI parser (Rust/Go/TS/Python) (github.com/Chapati-Systems)

3 points

7 months ago

236.

MVS-sysgen/sysgen: Jay Moseley MVS 3.8j sysgen automation (github.com/MVS-sysgen)

3 points

9 months ago

237.

System Manager – Manage system config using Nix on any distro (github.com/numtide)

3 points

a year ago

238.

Learn how to design large-scale systems. Includes Anki flashcards (github.com/donnemartin)

3 points

a year ago

239.

Systemctl Services on Alpine Linux (github.com/mobydeck)

3 points

a year ago

240.

Show HN: My Literate System Configuration (github.com/gamedolphin)

3 points

sandeep-nambiar

a year ago