Search: github.com/rigovo | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: We built governed multi-agent teams months before Anthropic announced

github.com/rigovo

4 months ago

1 points

2.

Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis

github.com/robertjakob

a year ago

108 points

3.

Show HN: A Rigorous Proofless Approach to Linear Algebra [pdf]

github.com/murisi

9 years ago

murisitarusenga

14 points

4.

Stabilizer: Statistically Rigorous Performance Evaluation

github.com/ccurtsinger

13 years ago

1 points

5.

Viron - straightfoward and rigorously imbecilic templates

github.com/fish2000

14 years ago

1 points

6.

I accidentally started a movement – Policing the Police by scraping court data

4 years ago

650 points

7.

Show HN: Kreuzberg – Modern async Python library for document text extraction

github.com/Goldziher

a year ago

197 points

8.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

9.

Show HN: A geometric analysis of Chopin's Prelude No. 4 using 3D topology

github.com/jimishol

4 months ago

50 points

10.

Show HN: SymDerive – A functional, stateless symbolic math library

5 months ago

26 points

11.

Ask HN: 30 years old attempting a career change, advice needed.

5 years ago

11 points

12.

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem?

6 months ago

7 points

13.

Show HN: Achieves Perfect 100 Score Across 6 Leading AI Model Evaluations

github.com/onestardao

a year ago

6 points

14.

Show HN: VeilStream – Per-Branch Preview Environments

5 months ago

6 points

15.

Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory

github.com/coredipper

6 months ago

6 points

16.

Show HN: Code on the Go, an IDE for Android with On-Device Debugging (GPLv3)

appdevforall.org

2 months ago

4 points

17.

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

a year ago

4 points

18.

Ask HN: What do I need to know to be hired as a junior back-end web developer?

5 years ago

4 points

19.

Show HN: A Prompting Framework for Non-Vibe-Coders

github.com/No3371

4 months ago

4 points

20.

Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)

10 months ago

4 points

21.

Ask HN: How can I rekindle my passion for CS after my so-so undergrad degree?

5 years ago

3 points

22.

Show HN: I blind-tested 14 LLMs on a WP plugin task. Surprising Findings

github.com/guilamu

2 months ago

3 points

23.

Show HN: I ran every Claude agent turn through the Batch API

eran.sandler.co.il

2 months ago

3 points

24.

Show HN: Project Chimera – AI Debates Itself for Better Code and Reasoning

github.com/tomwolfe

10 months ago

project_chimera

2 points

25.

Mylinux an OS by Me

9 months ago

2 points

26.

Show HN: Mylinux Made by Me

8 months ago

2 points

27.

Show HN: Helices Create a New Model of Deterministic Computation [pdf]

lambdalord.github.io

a year ago

2 points

28.

Show HN: Smart-commit-rs – A zero-dependency Git commit tool in Rust

github.com/gtkacz

4 months ago

2 points

29.

Show HN: Ergo – Minimal, fast, persistent task backlog in your repo

github.com/sandover

4 months ago

2 points

30.

Ask HN: Critical review of a spec-first economic protocol

5 months ago

2 points