Search: github.com/OFA-Sys | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

A general representation modal across vision, audio, language modalities (github.com/OFA-Sys)

1 point

3 years ago

2.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

1 point

4 months ago

3.

Sysbox v0.3 Released

14 points

5 years ago

4.

Rustysd – A minimal drop-in for a subset of systemd in Rust (github.com/KillingSpark)

162 points

6 years ago

5.

Elements of System Design (github.com/jarulraj)

159 points

10 months ago

6.

A collection of sysadmin test questions and answers for interviews/exams (github.com/trimstray)

99 points

8 years ago

7.

Collection of System Design Articles (github.com/systemdesign42)

8 points

2 years ago

8.

A curated list of system integration software, patterns and resources (github.com/stn1slv)

5 points

3 years ago

9.

Show HN: A collection of sysadmin utilities, in a single binary (github.com/skx)

4 points

6 years ago

10.

Show HN: Simple Automation of System Containers (github.com/bravetools)

3 points

6 years ago

11.

Show HN: Paper and Book List of System for Machine Learning (github.com/HuaizhengZhang)

3 points

6 years ago

12.

A curated list of system design articles, videos, and resources (github.com/madd86)

3 points

6 years ago

13.

Curated list of sysadmin resources (github.com/kahun)

3 points

handpickednames

9 years ago

14.

List of Syscall Implemented in Windows Subsystem for Linux (github.com/Microsoft)

3 points

9 years ago

15.

Kali Linux Dockerized with the support of systemd (github.com/jz543fm)

2 points

3 years ago

16.

A curated list of system integration software, patterns and resources (github.com/stn1slv)

2 points

3 years ago

17.

AES in 300 lines of SystemVerilog (github.com/cjdrake)

2 points

13 years ago

18.

Show HN: A Thermodynamic Model of System Health (Entropy and Adaptability) (github.com/projectvitalis)

2 points

a year ago

19.

A formally verified proof of the soundness of System F (github.com/stepchowfun)

2 points

7 years ago

20.

Show HN: A collection of sysadmin utilities, in a single binary (github.com/skx)

1 point

4 years ago

21.

Show HN: A pure-Ruby implementation of systemd's sd_notify(3) (github.com/agis)

1 point

9 years ago

22.

Launch HN: SigNoz (YC W21) – Open-source alternative to DataDog

226 points

5 years ago

23.

Launch HN: Nestybox (YC S20) – Containers beyond microservices

168 points

6 years ago

24.

Show HN: R2R – Open-source framework for production-grade RAG (github.com/SciPhi-AI)

167 points

2 years ago

25.

Show HN: Ts-SSH – SSH over Tailscale without running the daemon (github.com/derekg)

103 points

a year ago

26.

Show HN: OCR Benchmark Focusing on Automation (nanonets.com)

58 points

a year ago

27.

Show HN: Open-source physical rack-mounted GUI for home lab (getubo.com)

42 points

10 months ago

28.

Ask HN: How to implement Telemetry for an Open Source project correctly?

9 points

6 years ago

29.

Latest Chat-GPT4 release (May 12th 2023) sure is buggy

8 points

3 years ago

30.

Ask HN: Why no one forks systemd and “fix” it?

6 points

9 years ago