Search: github.com/nau | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

721.

Show HN: Trama – Agents don't need frameworks. They need a runtime (github.com/NaNhkNaN)

4 points

2 months ago

722.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com/namin)

4 points

4 months ago

723.

Show HN: Finite Element Analysis with JAX (github.com/Naruki-Ichihara)

4 points

ichihara_naruki

10 months ago

724.

Show HN: An ASCII/Node based fluid simulation library that you can play with (github.com/batman-nair)

4 points

6 years ago

725.

Show HN: SkyClaw -Self-healing LLM agent runtime in Rust with task checkpointing (github.com/nagisanzenin)

4 points

3 months ago

726.

Grove: Detect worktree conflicts at write time to scale parallel agents (github.com/NathanDrake2406)

4 points

4 months ago

727.

We built a browser extension for local LLMs with Ollama (github.com/NativeMindBrowser)

4 points

10 months ago

728.

Show HN: Typeconomy, a clicker game where you type (github.com/Nathan5471)

4 points

a year ago

729.

Why MCP can't be as simple as Naive Context Protocol (github.com/naivecontextprotocol)

4 points

a year ago

730.

Navidrome: Self-Hostable Music Server (github.com/navidrome)

4 points

2 years ago

731.

Breakpoint: Add breakpoints to GitHub Action workflows (github.com/namespacelabs)

4 points

3 years ago

732.

Show HN: Share a region of your screen on Google Meet (github.com/nathan-fiscaletti)

4 points

3 years ago

733.

Show HN: Qrgpt, a small CLI utility for better code generation (github.com/nathanleclaire)

4 points

3 years ago

734.

Experimental blockchain IP based consensus algorithm launched (github.com/hclivess)

4 points

4 years ago

735.

Exploration of the M1 chip architecture with Code Samples (github.com/name99-org)

4 points

4 years ago

736.

What's New in Ghidra 10.0 (htmlpreview.github.io)

4 points

5 years ago

737.

Nano Adblocker got compromised and is leaking user data (github.com/NanoAdblocker)

4 points

6 years ago

738.

Show HN: Nanoblog open source microblog with buffering and Twitter crossposting (github.com/nanoblog)

4 points

7 years ago

739.

Show HN: Skyscraper, a Clojure library for structural scraping of whole sites (github.com/nathell)

4 points

11 years ago

740.

Oneline: A Websocket Project (github.com/nadirhamid)

4 points

12 years ago

741.

Show HN: A simple HTTP interface for controlling Spotify Desktop (github.com/namuol)

4 points

12 years ago

742.

Gittip Button: Add Gittip to Github (github.com/nathancahill)

4 points

12 years ago

743.

Show HN: Nanocode-CLI – A lightweight terminal-based AI coding assistant (github.com/hit9)

4 points

8 days ago

744.

Made a Neovim Distro (github.com/natedemoss)

4 points

12 days ago

745.

Show HN: Nanorust – Minimal server-driven UI in Rust (github.com/skorotkiewicz)

4 points

a month ago

746.

Beating GPT-2 for less than $100 – Andrej Karpathy (github.com/karpathy)

4 points

4 months ago

747.

Nametag: A simple, yet effective Personal Relationship Manager (github.com/mattogodoy)

4 points

5 months ago

748.

Show HN: Holey: Staged execution from Python to SMT for synthesis (github.com/namin)

4 points

5 months ago

749.

Show HN: Old-school Napster interface on top of Spotify API (github.com/matthewhefferon)

4 points

matthewhefferon

9 months ago

750.

KCert: A Simple Let's Encrypt Manager for Kubernetes (github.com/nabsul)

4 points

a year ago