Search: github.com/techniq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

841.

Show HN: Oneleet – Penetration Testing for SOC 2 and beyond

3 years ago

52 points

842.

Show HN: Sparktype – a CMS and SSG that runs entirely in the browser

app.sparktype.org

8 months ago

48 points

843.

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

3 months ago

FranciscoAngulo

47 points

844.

Show HN: Stagewise (YC S25) – Front end coding agent for existing codebases

github.com/stagewise-io

a year ago

46 points

845.

Ask HN: Which ActivityPub software to use for a personal server?

4 years ago

46 points

846.

Show HN: Ideogram 4.0 – open-weight 9.3B text-to-image model

github.com/ideogram-oss

22 days ago

46 points

847.

Show HN: First Claude Code client for Ollama local models

github.com/21st-dev

5 months ago

SerafimKorablev

44 points

848.

Show HN: Encycla – like GitHub for knowledge

4 years ago

44 points

849.

Show HN: Ggc – A Git CLI tool written in Go with interactive UI

github.com/bmf-san

9 months ago

44 points

850.

Show HN: Datree (YC W20) – End-to-End Policy Management for Kubernetes

3 years ago

43 points

851.

Show HN: Lingo – A linguistic database in Rust with nanosecond-level performance

9 months ago

42 points

852.

Show HN: A high-altitude low-power flight computer for high-altitude balloons

github.com/New-England-Weather-Balloon-Society

a year ago

42 points

853.

Show HN: Dexto – Connect your AI Agents with real-world tools and data

github.com/truffle-ai

8 months ago

41 points

854.

Show HN: Cellarium: A Playground for Cellular Automata

github.com/andrewosh

4 months ago

41 points

855.

Show HN: Self-hosted and self-contained web app password manager written in Go

6 years ago

40 points

856.

Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents

github.com/TheAuditorTool

6 months ago

40 points

857.

Show HN: Local LLM Notepad – run a GPT-style model from a USB stick

github.com/runzhouye

a year ago

40 points

858.

Show HN: Cua-Bench – a benchmark for AI agents in GUI environments

github.com/trycua

5 months ago

40 points

859.

Show HN: Digital Carrot – Block social media with programmable rules and goals

digitalcarrot.app

5 months ago

39 points

860.

I wrote a compression algorithm, hire me?

14 years ago

39 points

861.

Show HN: Zipslicer, a library for loading LLM checkpoints on consumer hardware

github.com/kir-gadjello

3 years ago

38 points

862.

Show HN: Aurion OS – A 32-bit GUI operating system written from scratch in C

github.com/Luka12-dev

3 months ago

35 points

863.

Show HN: A terminal tool for Logseq journal entries

github.com/jrswab

2 years ago

35 points

864.

Why Git is no "good" for AI-generated code

github.com/specstoryai

a year ago

35 points

865.

Show HN: Txt2plotter – True centerline vectors from Flux.2 for pen plotters

github.com/malvarezcastillo

5 months ago

35 points

866.

Show HN: Chirp – Local Windows dictation with ParakeetV3 no executable required

github.com/Whamp

7 months ago

34 points

867.

Show HN: Clippy – a better pbcopy for macOS that handles files properly

github.com/neilberkman

a year ago

34 points

868.

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

github.com/monostate

10 months ago

andrewmonostate

33 points

869.

Verbalize – text editor with writing assistance for Brazilian Portuguese

2 years ago

33 points

870.

Show HN: AdaShape-3D modeler for intuitive 3D printing parts / Windows 11

3 months ago

32 points