Search: github.com/groue | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

TLA+ Formal Modeling and Programmers: Avoiding the Imperative “Brainwash”

4 points

5 years ago

662.

Ask HN: What is keeping you from leaving a large centralized service?

4 points

10 years ago

663.

Ask HN: Anyone Waiting on BT Auracast?

4 points

jauntywundrkind

2 years ago

664.

Show HN: Script and Live Code Ableton Live in Scheme Lisp (youtube.com)

4 points

4 years ago

665.

Show HN: Grattr – Gravatar for Demographics

4 points

6 years ago

666.

Cosmos and Tendermint

4 points

8 years ago

667.

Ask HN: Are social and political conflicts within tech pushing you away?

4 points

9 years ago

668.

KVS Erlang Data Framework for N2O (github.com/synrc)

4 points

13 years ago

669.

Show HN: Opthash – Rust implementations of Elastic and Funnel hashing (github.com/aaron-ang)

4 points

6 days ago

670.

Show HN: Chuddy, self-hosted media downloading, translation and OCR Telegram bot (github.com/kivirnz)

4 points

23 days ago

671.

Show HN: OQP – A verification protocol for AI agents

4 points

2 months ago

672.

Show HN: Ship of Theseus License (github.com/tilework-tech)

4 points

2 months ago

673.

Show HN: Kubernetes Security Profile Generator Using eBPF

4 points

3 months ago

674.

Show HN: Slate – Open-source AI workspace with a built-in browser (github.com/slate-ai)

4 points

3 months ago

675.

Show HN: Cardea, SSH bastion with per-key ACLs, TPM keys and session recording (github.com/hectorm)

4 points

3 months ago

676.

Show HN: pqry – A fast, lightweight CLI tool to diagnose Parquet datasets (github.com/symblic)

4 points

4 months ago

677.

Show HN: ProtocolSoup – Interactive Sandbox for OAuth, OIDC, SAML, Spiffe, SSF (protocolsoup.com)

4 points

5 months ago

678.

Show HN: Ayder – Nginx for event streaming (50K msg/s, P99 3ms, 40s recovery) (github.com/A1darbek)

4 points

5 months ago

679.

Show HN: CCQL – SQL Queries for Claude Code (github.com/douglance)

4 points

5 months ago

680.

Show HN: Python UI-ME – Bringing life to Python functions (github.com/livetheoogway)

4 points

6 months ago

681.

Show HN: Kumi – a portable, declarative, functional core for business logic (kumi-play-web.fly.dev)

4 points

7 months ago

682.

Show HN: PyTogether, open-source lightweight real-time Python IDE for learners (pytogether.org)

4 points

8 months ago

683.

Show HN: RefForge – A WIP modern, lightweight reading list/reference manager (github.com/amanasci)

4 points

9 months ago

684.

Show HN: Tap – Interactive CLI Prompts for Go (Clack Port) (github.com/yarlson)

4 points

10 months ago

685.

Show HN: Harbor Guard – Manage and Scan Container Images (Open Source) (github.com/HarborGuard)

4 points

10 months ago

686.

Show HN: Fallinorg – Offline Mac app that organizes files by meaning (fallinorg.com)

4 points

10 months ago

687.

Show HN: I built an extension to integrate my own knowledge into ChatGPT/Claude (knollapp.com)

4 points

a year ago

688.

Show HN: Mycelium – A graph viewer library for neural networks (apple.github.io)

4 points

2 years ago

689.

Show HN: Langtrace – OpenTelemetry-Based LLM App Observability Tool

4 points

2 years ago

690.

Show HN: Deploy highly available infra to EC2 with Docker-compose and CDK (github.com/EmmanuelOga)

4 points

2 years ago