Search: github.com/a-ve | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

512.

MetaGenesis Core – offline verification for computational claims

metagenesis-core.dev

3 months ago

15 points

513.

Ask HN: Writing code with diff-readability in mind?

11 years ago

15 points

514.

Show HN: Mmar – open-source, zero-dependancy, cross-platform HTTP tunneling

github.com/yusuf-musleh

a year ago

15 points

515.

Second Reality source code (demoscene)

github.com/mtuomi

13 years ago

15 points

516.

Show HN: Thread-Parallel Decompression and Random Access to Gzip Files (Pragzip)

github.com/mxmlnkn

4 years ago

15 points

517.

Show HN: Mira – Open-source and self-hosted AI code reviewer

github.com/miracodeai

6 days ago

15 points

518.

Steve Wozniak on PC board design

3 years ago

15 points

519.

Show HN: UpvoteRate – Towards a fairer ranking formula for Hacker News

3 years ago

15 points

520.

Show HN: I wrote a load balancer with XDP and Go

github.com/davidcoles

4 years ago

15 points

521.

Ask HN: How does Hacker News avoid (successful) DDoS attacks?

4 years ago

14 points

522.

Show HN: Makejinja: Automatically generate complex Home Assistant configurations

github.com/mirkolenz

3 years ago

14 points

523.

Show HN: Pandora – Zero config key-value database services

6 years ago

13 points

524.

Show HN: KlavisAI-Open Source MCP Clients on Slack/Discord AndHosted MCP Servers

github.com/Klavis-AI

a year ago

13 points

525.

VictoriaLogs Beats Elasticsearch, MongoDB and PostgreSQL in ClickBench

a year ago

13 points

526.

Show HN: I Built an Open Source API with Insanely Fast Whisper and Fly GPUs

github.com/JigsawStack

2 years ago

13 points

527.

Bitcoin vs. Nano

5 years ago

12 points

528.

Show HN: Pushduck – S3 uploads that run on Cloudflare Workers, no AWS SDK

2 months ago

12 points

529.

Show HN: SpeechOS – Wispr Flow-inspired voice input for any web app

5 months ago

12 points

530.

Show HN: www.sopajs.org - simple SOPA banner for your website

14 years ago

12 points

531.

Show HN: Atomic Database: A deductive database with a natural language interface

7 years ago

12 points

532.

Tell HN: I forked and republished a popular, abandoned Python library

a year ago

12 points

533.

Show HN: Ebiose – A Darwin‑Style Playground for Self‑Evolving AI Agents

github.com/ebiose-ai

a year ago

12 points

534.

Show HN: Ledit – all your procrastination in one place

ledit.marioslab.io

2 years ago

12 points

535.

Show HN: Hm – a task runner with a Python DSL, growing into a CI/CD system

github.com/harmont-dev

a month ago

12 points

536.

Show HN: Polyfire – Javascript SDK to build AI apps without a backend

github.com/polyfire-ai

3 years ago

victorforissier

12 points

537.

Show HN: UpTrain (YC W23) – open-source tool to evaluate LLM response quality

demo.uptrain.ai

3 years ago

12 points

538.

Show HN: Open-source vector & data lake to debug, curate and version AI data

3 years ago

12 points

539.

Show HN: Open-source distributed quantum compute network

3 months ago

11 points

540.

MessagEase decided to go subscription-based, here's some alternatives

2 years ago

11 points