Search: github.com/rigovo | Heykuki News

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)

1 point

3 months ago

2.

Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis (github.com/robertjakob)

108 points

a year ago

3.

Show HN: A Rigorous Proofless Approach to Linear Algebra [pdf] (github.com/murisi)

14 points

murisitarusenga

9 years ago

4.

Stabilizer: Statistically Rigorous Performance Evaluation (github.com/ccurtsinger)

1 point

13 years ago

5.

Viron - straightfoward and rigorously imbecilic templates (github.com/fish2000)

1 point

14 years ago

6.

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

650 points

4 years ago

7.

Show HN: Kreuzberg – Modern async Python library for document text extraction (github.com/Goldziher)

197 points

a year ago

8.

Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)

188 points

a year ago

9.

Show HN: A geometric analysis of Chopin's Prelude No. 4 using 3D topology (github.com/jimishol)

50 points

3 months ago

10.

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

26 points

4 months ago

11.

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

11 points

5 years ago

12.

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem? (academia.edu)

7 points

5 months ago

13.

Show HN: Achieves Perfect 100 Score Across 6 Leading AI Model Evaluations (github.com/onestardao)

6 points

a year ago

14.

Show HN: VeilStream – Per-Branch Preview Environments (veilstream.com)

6 points

4 months ago

15.

Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory (github.com/coredipper)

6 points

5 months ago

16.

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

4 points

a month ago

17.

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

4 points

a year ago

18.

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

4 points

5 years ago

19.

Show HN: A Prompting Framework for Non-Vibe-Coders (github.com/No3371)

4 points

4 months ago

20.

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

4 points

9 months ago

21.

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

3 points

5 years ago

22.

Show HN: I blind-tested 14 LLMs on a WP plugin task. Surprising Findings (github.com/guilamu)

3 points

a month ago

23.

Show HN: I ran every Claude agent turn through the Batch API (eran.sandler.co.il)

3 points

a month ago

24.

Show HN: Project Chimera – AI Debates Itself for Better Code and Reasoning (github.com/tomwolfe)

2 points

project_chimera

10 months ago

25.

Mylinux an OS by Me

2 points

8 months ago

26.

Show HN: Mylinux Made by Me

2 points

8 months ago

27.

Show HN: Helices Create a New Model of Deterministic Computation [pdf] (lambdalord.github.io)

2 points

a year ago

28.

Show HN: Smart-commit-rs – A zero-dependency Git commit tool in Rust (github.com/gtkacz)

2 points

3 months ago

29.

Show HN: Ergo – Minimal, fast, persistent task backlog in your repo (github.com/sandover)

2 points

4 months ago

30.

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

2 points

5 months ago