Search: github.com/mgth | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

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

34 points

2 years ago

752.

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

33 points

andrewmonostate

9 months ago

753.

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

32 points

11 days ago

754.

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

755.

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

30 points

a year ago

756.

Show HN: NLP Flashcards for Most of the Internet

29 points

5 years ago

757.

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

29 points

5 months ago

758.

Ask HN: Moving on from web development

27 points

9 years ago

759.

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

27 points

5 months ago

760.

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

25 points

3 years ago

761.

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

23 points

4 months ago

762.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

763.

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

17 points

a year ago

764.

Ask HN: Good resources for architecting simulation games?

15 points

4 years ago

765.

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

15 points

4 months ago

766.

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

14 points

a year ago

767.

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

12 points

14 years ago

768.

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

12 points

3 months ago

769.

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

12 points

15 years ago

770.

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

10 points

4 months ago

771.

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

10 points

4 years ago

772.

Show HN: Logos of Aether – Rebuilding Physics Without Zero or Empty Space (github.com/chrisnchips42-blip)

10 points

5 months ago

773.

Show HN: Chaum Pedersen ZK Protocol Using gRPC (github.com/Dyslex7c)

10 points

a year ago

774.

Show HN: I made a Web shooter in C++ with no engine. Fully deterministic netcode (hypersomnia.io)

10 points

2 years ago

775.

Show HN: Unsiloed AI – #1 on olmOCR-Bench

9 points

14 days ago

776.

I'm tired of LLM skill slop, so I built mine with regression tests

9 points

4 days ago

777.

Show HN: Open-source 3B param model better than Mistral OCR (nanonets.com)

9 points

a year ago

778.

Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms (github.com/DanexCodr)

8 points

6 months ago

779.

Show HN: The Atlas – I Built a 3D Universe Simulation with Python and Three.js (github.com/SurceBeats)

8 points

9 months ago

780.

Show HN: OpenEvolve – open-source implementation of DeepMind's AlphaEvolve

8 points

a year ago