Search: github.com/systemd | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Unit expressions with Java, remarkably expressive

github.com/manifold-systems

7 years ago

4 points

302.

Manifold: Java Extension Methods and Type-Safe Metaprogramming

github.com/manifold-systems

7 years ago

4 points

303.

The System Design Primer

github.com/donnemartin

8 years ago

4 points

304.

System Design Primer: Learn how to design large scale systems

github.com/donnemartin

9 years ago

4 points

305.

Show HN: Perch-Eye – Cross-Platform Face Comparison SDK for Android and iOS

github.com/Onix-Systems

a year ago

3 points

306.

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

github.com/Programming-Systems-Lab

13 years ago

3 points

307.

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

github.com/systemallica

6 years ago

3 points

308.

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

github.com/manifold-systems

8 years ago

3 points

309.

My systemtap toolkit to online analyze on production

github.com/detailyang

10 years ago

3 points

310.

System2 – Multi-Agents for Data

github.com/diegoscarabelli

a month ago

3 points

311.

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

github.com/manifold-systems

4 months ago

3 points

312.

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

github.com/subconscious-systems

5 months ago

3 points

313.

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

github.com/welltyped-systems

6 months ago

3 points

314.

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

github.com/x1xhlol

a year ago

3 points

315.

github.com/manifold-systems

2 years ago

3 points

316.

Systeminformer: Monitor system resources, debug software and detect malware

github.com/winsiderss

4 years ago

3 points

317.

System Programming wiki (UIUC)

github.com/angrave

6 years ago

3 points

318.

Distributed A/V Across Multiple Raspberry-Pis

github.com/systemics

10 years ago

3 points

319.

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

github.com/cloudius-systems

12 years ago

3 points

320.

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

github.com/x1xhlol

4 months ago

3 points

321.

Show HN: Chaos Agents – Run chaos experiments with Agents

github.com/system32-ai

4 months ago

3 points

322.

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

github.com/Chapati-Systems

8 months ago

3 points

323.

System Manager – Manage system config using Nix on any distro

github.com/numtide

a year ago

3 points

324.

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

github.com/donnemartin

a year ago

3 points

325.

Systemctl Services on Alpine Linux

github.com/mobydeck

a year ago

3 points

326.

Show HN: My Literate System Configuration

github.com/gamedolphin

a year ago

sandeep-nambiar

3 points

327.

Byte-Sized System Design Concepts

github.com/ByteByteGoHq

3 years ago

3 points

328.

Manifold: Extensions to the Java Programming Language

github.com/manifold-systems

3 years ago

3 points

329.

Functional Programming Course

github.com/system-f

4 years ago

3 points

330.

Chrome Suspender

github.com/albertz

6 years ago

3 points