Search: github.com/systemjs | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Ask HN: Leetcode for Back End and Server Development

2 points

3 years ago

182.

Show HN: AFS – filesystem-native memory layer for AI agents

2 points

4 months ago

183.

Show HN: Maia – Open-source framework for testing AI systems before deployment (maiaframework.com)

2 points

9 months ago

184.

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

2 points

a year ago

185.

Show HN: PolyMCP – a toolkit for MCP servers and agent integration

1 point

5 months ago

186.

Show HN: Django Protego - A Flexible and Dynamic Circuit Breaker

1 point

2 years ago

187.

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

1 point

2 years ago

188.

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

1 point

2 months ago

189.

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

1 point

4 months ago

190.

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

1 point

6 months ago

191.

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

1 point

7 months ago

192.

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

1 point

9 months ago

193.

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

1 point

a year ago

194.

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

5 points

14 years ago

195.

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

2 points

11 years ago

196.

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

1 point

3 years ago

197.

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

1273 points

8 years ago

198.

Hotline for modern Apple systems (github.com/mierau)

519 points

a year ago

199.

Writing correct lock-free and distributed stateful systems in Rust, with TLA+ (github.com/spacejam)

374 points

9 years ago

200.

Comcast: Simulating shitty network connections so you can build better systems (github.com/tylertreat)

370 points

4 years ago

201.

I summarized my understanding of Linux systems (github.com/lsc4719)

342 points

2 years ago

202.

Drasi: Microsoft's open source data processing platform for event-driven systems (github.com/drasi-project)

331 points

2 years ago

203.

Comcast: Simulating shitty network connections so you can build better systems (github.com/tylertreat)

330 points

11 years ago

204.

Qt binding for Go with support for all major operating systems (github.com/therecipe)

324 points

10 years ago

205.

An introduction to distributed systems (2017) (github.com/aphyr)

318 points

7 years ago

206.

A Python implementation of formal systems from the book “Gödel, Escher, Bach” (github.com/alexprengere)

310 points

9 years ago

207.

Right-sizes LLM models to your system's RAM, CPU, and GPU (github.com/AlexsJones)

301 points

3 months ago

208.

Tiny-LLM – a course of serving LLM on Apple Silicon for systems engineers (github.com/skyzh)

297 points

a year ago

209.

Verified Rust for low-level systems code (github.com/verus-lang)

284 points

2 years ago

210.

x86 Bare Metal Examples: Minimal operating systems, learn x86 system programming (github.com/cirosantilli)

279 points

peter_d_sherman

5 years ago