Search: github.com/mtth | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

Show HN: A reference implementation of Turing's paper “On Computable Numbers” (github.com/planetlambert)

63 points

3 years ago

752.

Show HN: 20+ Claude Code agents coordinating on real work (open source) (github.com/mutable-state-inc)

53 points

4 months ago

753.

Show HN: Fast Random Library for C++17 (github.com/DmitriBogdanov)

52 points

a year ago

754.

Show HN: TensorZero – open-source data and learning flywheel for LLMs (github.com/tensorzero)

49 points

GabrielBianconi

2 years ago

755.

Show HN: System Prompt Learning – LLMs Learn Problem-Solving from Experience

48 points

a year ago

756.

Yon – a topos-oriented language with a content-addressed lattice heap (yon-lang.org)

47 points

4 days ago

757.

Show HN: I built a P2P network where AI agents publish formally verified science

47 points

FranciscoAngulo

3 months ago

758.

Show HN: Built an email marketing platform after paying $230/month (fertit.com)

44 points

a year ago

759.

Show HN: GlyphLang – An AI-first programming language

44 points

5 months ago

760.

Launch HN: Corgea (YC S23) – Auto fix vulnerable code

34 points

2 years ago

761.

Show HN: Entropy-Guided Loop – How to make small models reason (github.com/monostate)

33 points

andrewmonostate

9 months ago

762.

ATLAS: Autoformalized Textbook Library At Scale (github.com/facebookresearch)

32 points

12 days ago

763.

Show HN: I built an AI agent that turns ROS 2's turtlesim into a digital artist (github.com/Yutarop)

30 points

a year ago

764.

Show HN: I built a deep learning engine from scratch in Python (github.com/whitegra)

30 points

a year ago

765.

Show HN: NLP Flashcards for Most of the Internet

29 points

5 years ago

766.

Show HN: Go-Highway – Portable SIMD for Go (github.com/ajroetker)

29 points

5 months ago

767.

Ask HN: Moving on from web development

27 points

9 years ago

768.

Show HN: Tylax – A bidirectional LaTeX to Typst converter in Rust (github.com/scipenai)

27 points

5 months ago

769.

Show HN: Llama.go – port of llama.cpp to pure Go (github.com/gotzmann)

25 points

3 years ago

770.

Show HN: Polymcp – Turn Any Python Function into an MCP Tool for AI Agents

23 points

5 months ago

771.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

772.

Show HN: QwQ-32B APIs – o1 like reasoning at 1% the cost

17 points

a year ago

773.

Ask HN: Good resources for architecting simulation games?

15 points

4 years ago

774.

Show HN: CS – indexless code search that understands code, comments and strings (github.com/boyter)

15 points

4 months ago

775.

Show HN: Woxi - A Rust-based interpreter for a subset of the Wolfram Language (github.com/ad-si)

14 points

a year ago

776.

Share my pain point: I want dead easy version control.

12 points

14 years ago

777.

Show HN: Graph-Oriented Generation – Beating RAG for Codebases by 89% (github.com/dchisholm125)

12 points

3 months ago

778.

Ask HN: remote job for a new Python programmer - feasible?

12 points

15 years ago

779.

Show HN: Latex-wc – Word count and word frequency for LaTeX projects (github.com/sethbarrett50)

10 points

4 months ago

780.

Ask HN: Recommendations for Spaced Repetition (SRS) Beginners?

10 points

4 years ago