Search: github.com/mgth | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

Show HN: Fast Random Library for C++17

github.com/DmitriBogdanov

a year ago

52 points

752.

Show HN: TensorZero – open-source data and learning flywheel for LLMs

github.com/tensorzero

2 years ago

GabrielBianconi

49 points

753.

Yon – a topos-oriented language with a content-addressed lattice heap

20 days ago

48 points

754.

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

a year ago

48 points

755.

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

3 months ago

FranciscoAngulo

47 points

756.

Show HN: Built an email marketing platform after paying $230/month

a year ago

44 points

757.

Show HN: GlyphLang – An AI-first programming language

5 months ago

44 points

758.

Show HN: Turn your name into a tree in an infinite procedural shanshui landscape

landscape.bairui.dev

14 days ago

41 points

759.

Show HN: I created a RAW to HDRI stacker in (mostly) Common Lisp

github.com/IBL-tools

19 days ago

35 points

760.

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

2 years ago

34 points

761.

Show HN: Entropy-Guided Loop – How to make small models reason

github.com/monostate

10 months ago

andrewmonostate

33 points

762.

ATLAS: Autoformalized Textbook Library At Scale

github.com/facebookresearch

a month ago

32 points

763.

Show HN: I built an AI agent that turns ROS 2's turtlesim into a digital artist

github.com/Yutarop

a year ago

30 points

764.

Show HN: I built a deep learning engine from scratch in Python

github.com/whitegra

a year ago

30 points

765.

Show HN: NLP Flashcards for Most of the Internet

5 years ago

29 points

766.

Show HN: Go-Highway – Portable SIMD for Go

github.com/ajroetker

6 months ago

29 points

767.

Ask HN: Moving on from web development

9 years ago

27 points

768.

Show HN: Tylax – A bidirectional LaTeX to Typst converter in Rust

github.com/scipenai

6 months ago

27 points

769.

Show HN: Llama.go – port of llama.cpp to pure Go

github.com/gotzmann

3 years ago

25 points

770.

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

5 months ago

23 points

771.

Aura-State: Formally Verified LLM State Machine Compiler

4 months ago

23 points

772.

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

a year ago

17 points

773.

Ask HN: Good resources for architecting simulation games?

4 years ago

15 points

774.

Show HN: CS – indexless code search that understands code, comments and strings

github.com/boyter

4 months ago

15 points

775.

Show HN: Woxi - A Rust-based interpreter for a subset of the Wolfram Language

github.com/ad-si

a year ago

14 points

776.

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

14 years ago

12 points

777.

Show HN: Graph-Oriented Generation – Beating RAG for Codebases by 89%

github.com/dchisholm125

4 months ago

12 points

778.

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

15 years ago

12 points

779.

Show HN: Latex-wc – Word count and word frequency for LaTeX projects

github.com/sethbarrett50

5 months ago

10 points

780.

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

4 years ago

10 points