Search: github.com/agda | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

571.

Project HeuNadel – Against ISPs Selling Your Private DATA

github.com/blubtxt

9 years ago

1 points

572.

Submitting a PR against Elm? Don't even bother

github.com/elm-lang

9 years ago

1 points

573.

Make prompt great again – add weather info to bash prompt

github.com/elfet

9 years ago

1 points

574.

A tool to detect and exploit timing attacks against web applications

github.com/ffleming

9 years ago

1 points

575.

Joseph, make working with Gerber files great again

github.com/AislerHQ

9 years ago

1 points

576.

Show HN: Guardonce – include guards to #pragma once and back again

github.com/cgmb

10 years ago

1 points

577.

Demonstrating how to make GTK+ code compile against Qt through a thin wrapper

github.com/e8johan

10 years ago

1 points

578.

Trumpify – Make ruby great again

github.com/rickr

10 years ago

1 points

579.

A Case Against Lookup Tables

github.com/Const-me

10 years ago

1 points

580.

Get Pidgin working with Yahoo again 2016

github.com/EionRobb

10 years ago

1 points

581.

Quine Relay (Ruby to Scala to Scheme to Ruby again)

github.com/mame

10 years ago

1 points

582.

Cards Against Humanity for the Web

github.com/ayonghosh

10 years ago

1 points

583.

NeoMutt – a place to gather all the patches against the Mutt MUA

github.com/neomutt

10 years ago

1 points

584.

Show HN: HackerNews Realified – Never Refresh HN Again

github.com/Bekt

10 years ago

1 points

585.

Try again to “prevent piracy”

github.com/Nainterceptor

11 years ago

1 points

586.

Easily test your Python HTTP library against a local copy of httpbin.org

github.com/kevin1024

11 years ago

1 points

587.

Descent 3 Source Code

github.com/kevinbentley

2 years ago

1255 points

588.

Show HN: InstantDB – A Modern Firebase

github.com/instantdb

2 years ago

1145 points

589.

Show HN: GodotOS – Fake operating system interface made in the Godot engine

github.com/popcar2

2 years ago

534 points

590.

Show HN: Z80-μLM, a 'Conversational AI' That Fits in 40KB

github.com/HarryR

6 months ago

quesomaster9000

514 points

591.

Show HN: AsteroidOS 2.0 – Nobody asked, we shipped anyway

4 months ago

470 points

592.

Show HN: We open sourced our entire text-to-SQL product

github.com/Dataherald

2 years ago

464 points

593.

Inside The Internet Archive's Infrastructure

5 months ago

456 points

594.

Tell HN: Stripe killed my music locker service, so I'm open sourcing it

3 years ago

446 points

595.

Show HN: Building a web server in assembly to give my life (a lack of) meaning

github.com/imtomt

a month ago

430 points

596.

Show HN: Open-source macOS AI copilot using vision and voice

github.com/elfvingralf

3 years ago

430 points

597.

Show HN: 80% faster, 50% less memory, 0% loss of accuracy Llama finetuning

github.com/unslothai

3 years ago

385 points

598.

Show HN: Stop AI scrapers from hammering your self-hosted blog (using porn)

github.com/vivienhenz24

6 months ago

373 points

599.

Launch HN: QuestDB (YC S20) – Fast open source time series database

6 years ago

357 points

600.

Show HN: Claude Code skills that build complete Godot games

github.com/htdt

3 months ago

337 points