Search: github.com/systemd | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

4 points

a year ago

752.

Show HN: Detecting API degradation before thresholds are crossed

4 points

2 months ago

753.

Show HN: Klarity – OS tool to debug LLM reasoning patterns with entropy analysis (github.com/klara-research)

3 points

a year ago

754.

Show HN: A CardDAV server for LDAP (github.com/isubsoft)

3 points

2 months ago

755.

Show HN: Nudge – AI for macOS that detects procrastination via screenshots (github.com/felipap)

3 points

a year ago

756.

Laitos – personal web infrastructure and assistance over telephone/SMS/satellite

3 points

7 years ago

757.

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

2 points

4 months ago

758.

Show HN: A web-based lighting controller built because my old became a brick (github.com/Arian-Ott)

2 points

5 months ago

759.

Show HN: Play with our Agentic Agentic builder (agfactory-web.fly.dev)

2 points

8 months ago

760.

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

2 points

9 months ago

761.

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

2 points

a year ago

762.

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

1 point

5 months ago

763.

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

1 point

2 years ago

764.

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

1 point

2 years ago

765.

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

1 point

2 months ago

766.

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

1 point

4 months ago

767.

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

1 point

4 months ago

768.

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

1 point

6 months ago

769.

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

1 point

7 months ago

770.

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

1 point

9 months ago

771.

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

1 point

9 months ago

772.

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

1 point

a year ago

773.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

1 point

a year ago

774.

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

1 point

9 years ago

775.

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

46 points

8 years ago

776.

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

5 points

14 years ago

777.

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

3 points

4 months ago

778.

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

3 points

a year ago

779.

The Managarm Operating System (github.com/managarm)

2 points

6 years ago

780.

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

2 points

11 years ago