Search: github.com/LSYS | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Ask HN: Any interactive math tutorials that use a computational algebra system?

1 point

2 years ago

932.

Show HN: MicroSafe-RL – Deterministic 1.18µs safety layer for Edge AI (github.com/Kretski)

1 point

2 months ago

933.

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

1 point

4 months ago

934.

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

1 point

4 months ago

935.

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

1 point

6 months ago

936.

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

1 point

7 months ago

937.

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

1 point

9 months ago

938.

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

1 point

9 months ago

939.

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

1 point

a year ago

940.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

1 point

a year ago

941.

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

1 point

9 years ago

942.

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

58 points

7 years ago

943.

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

46 points

8 years ago

944.

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

5 points

14 years ago

945.

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

3 points

4 months ago

946.

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

3 points

a year ago

947.

The Managarm Operating System (github.com/managarm)

2 points

6 years ago

948.

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

2 points

11 years ago

949.

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

2 points

3 months ago

950.

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

2 points

14 years ago

951.

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

2 points

8 years ago

952.

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

1 point

13 years ago

953.

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

1 point

3 months ago

954.

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

1 point

3 years ago

955.

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

1 point

4 years ago

956.

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

1 point

9 years ago

957.

Red View Graphic System (github.com/red)

1 point

10 years ago

958.

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

1096 points

3 years ago

959.

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

939 points

5 years ago

960.

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

668 points

a year ago