Search: github.com/Urigo | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

4 years ago

650 points

32.

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

github.com/Goldziher

a year ago

197 points

33.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

34.

Show HN: C From Scratch – Learn safety-critical C with prove-first methodology

github.com/SpeyTech

5 months ago

72 points

35.

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

github.com/jimishol

4 months ago

50 points

36.

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

5 months ago

26 points

37.

Show HN: Airplane Views – code-first platform for building internal UIs

4 years ago

23 points

38.

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

5 years ago

11 points

39.

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

6 months ago

7 points

40.

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

github.com/onestardao

a year ago

6 points

41.

Show HN: VeilStream – Per-Branch Preview Environments

5 months ago

6 points

42.

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

github.com/coredipper

6 months ago

6 points

43.

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

2 years ago

6 points

44.

Show HN: I built an open-source “unit testing” suite for prompts ⮂ inputs

github.com/jordanful

3 years ago

5 points

45.

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

appdevforall.org

2 months ago

4 points

46.

The AI Reproducibility Crisis

3 years ago

4 points

47.

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

4 months ago

4 points

48.

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

a year ago

4 points

49.

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

5 years ago

4 points

50.

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

github.com/No3371

4 months ago

4 points

51.

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

10 months ago

4 points

52.

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

5 years ago

3 points

53.

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

github.com/guilamu

2 months ago

3 points

54.

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

eran.sandler.co.il

2 months ago

3 points

55.

Show HN: An MPSC Queue Optimizing for Non-Uniform Bursts and Bulk Operations

github.com/dakingffo

6 months ago

3 points

56.

Show HN: Linkitall – create dependency-graphs of ideas

github.com/charstorm

3 years ago

3 points

57.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

58.

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

github.com/tomwolfe

10 months ago

project_chimera

2 points

59.

Mylinux an OS by Me

9 months ago

2 points

60.

Show HN: Mylinux Made by Me

9 months ago

2 points