Search: github.com/Urigo | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

188 points

a year ago

32.

Show HN: C From Scratch – Learn safety-critical C with prove-first methodology (github.com/SpeyTech)

72 points

4 months ago

33.

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

50 points

3 months ago

34.

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

26 points

4 months ago

35.

Show HN: Airplane Views – code-first platform for building internal UIs (airplane.dev)

23 points

4 years ago

36.

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

11 points

5 years ago

37.

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

7 points

5 months ago

38.

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

6 points

a year ago

39.

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

6 points

4 months ago

40.

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

6 points

5 months ago

41.

A practical way to test HTML and CSS in real-time using only CSS

6 points

2 years ago

42.

Show HN: I built an open-source “unit testing” suite for prompts ⮂ inputs (github.com/jordanful)

5 points

3 years ago

43.

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

4 points

a month ago

44.

The AI Reproducibility Crisis

4 points

3 years ago

45.

Show HN: A Vaadin Algebra and Calculus Solver Built with AI Assistance

4 points

3 months ago

46.

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

4 points

a year ago

47.

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

4 points

5 years ago

48.

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

4 points

4 months ago

49.

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

4 points

9 months ago

50.

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

3 points

5 years ago

51.

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

3 points

a month ago

52.

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

3 points

a month ago

53.

Show HN: An MPSC Queue Optimizing for Non-Uniform Bursts and Bulk Operations (github.com/dakingffo)

3 points

6 months ago

54.

Show HN: Linkitall – create dependency-graphs of ideas (github.com/charstorm)

3 points

3 years ago

55.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

56.

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

2 points

project_chimera

10 months ago

57.

Mylinux an OS by Me

2 points

8 months ago

58.

Show HN: Mylinux Made by Me

2 points

8 months ago

59.

InfoSeek: The First Open-Source Framework for Deep Research Data Synthesis

2 points

9 months ago

60.

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

2 points

a year ago