Search: github.com/srs | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: I built yawdl a tiny language that compiles in the browser (chersbobers.github.io)

1 point

4 months ago

902.

Show HN: Nod – A protocol for agent-to-agent security handshakes (github.com/mraml)

1 point

4 months ago

903.

Show HN: PoG – the only open-source, live, privacy-first AI provenance system (github.com/TamTunnel)

1 point

6 months ago

904.

Show HN: Persistent Mind Model – AI that develops its own identity (github.com/scottonanski)

1 point

7 months ago

905.

Show HN: Simple sandboxed way to install and run Node.js scripts using Docker

1 point

9 months ago

906.

Show HN: Containers for Lean 4 (polynomial functors, with M-types) (github.com/fraware)

1 point

9 months ago

907.

Show HN: A Human-Centered Protocol for Containment-Aware AI Design

1 point

a year ago

908.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

1 point

a year ago

909.

Home Cloud: User Management System for the Server (OpenSource / GitHub)

1 point

9 years ago

910.

System Internals of Windows; OS X; Linux; ARM (github.com/rmusser01)

58 points

7 years ago

911.

Atom understands your code better than ever before (blog.github.com)

46 points

8 years ago

912.

Node.*s: JS.V8, JS.Net, Clojure, Lua, C++, C#, Java, Python, Ruby. What else? (okertanov.github.com)

5 points

14 years ago

913.

A Curated List of ML System Design Case Studies (github.com/Engineer1999)

3 points

4 months ago

914.

Bidirectional typing with unification for higher-rank polymorphism (github.com/brendanzab)

3 points

a year ago

915.

The Managarm Operating System (github.com/managarm)

2 points

6 years ago

916.

List of Data Center Operating Systems (github.com/albertux)

2 points

11 years ago

917.

ML System Design Case Studies (github.com/Engineer1999)

2 points

3 months ago

918.

Exec and Tail-call Optimization (jeapostrophe.github.com)

2 points

14 years ago

919.

Crash Course: EnTT Reflection System (github.com/skypjack)

2 points

8 years ago

920.

Filter your commit logs through this pirate-speak filter for Pirate Day (github.com/psypete)

1 point

13 years ago

921.

Show HN: ABES – a memory architecture for belief revision in AI agents (github.com/Aftermath-Technologies-Ltd)

1 point

3 months ago

922.

A clipboard across two systems (github.com/Slackadays)

1 point

3 years ago

923.

DALL·E 2 Preview – Risks and Limitations (github.com/openai)

1 point

4 years ago

924.

Explore your system deeper (through CHIPSEC) [pdf] (github.com/comaeio)

1 point

9 years ago

925.

Red View Graphic System (github.com/red)

1 point

10 years ago

926.

Try: run a command and inspect its effects before changing your live system (github.com/binpash)

1096 points

3 years ago

927.

I spent 5 years writing my own operating system (github.com/halfer53)

939 points

5 years ago

928.

Quarkdown: A modern Markdown-based typesetting system (github.com/iamgio)

668 points

a year ago

929.

Elfshaker: Version control system fine-tuned for binaries (github.com/elfshaker)

599 points

5 years ago

930.

Jellyfin: Free software media system (github.com/jellyfin)

592 points

3 years ago