Search: github.com/guarin | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com/neelsomani)

16 points

5 months ago

92.

Show HN: A password system with no database, no sync, and nothing to breach (bastion-enclave.vercel.app)

14 points

4 months ago

93.

Show HN: Uniflow - A fast multipurpose workflow engine (github.com/siyul-park)

14 points

2 years ago

94.

Show HN: Prisma Next – data contracts, migration graphs, agent DX (github.com/prisma)

13 points

14 days ago

95.

Show HN: Tt – P2P terminal sharing over WebRTC

13 points

5 months ago

96.

Show HN: BemiDB – Open-source data warehouse with zero-ETL (bemidb.com)

13 points

a year ago

97.

Ask HN: Is Adrian Colyer of "The Morning Paper" fame ok?

11 points

a year ago

98.

Show HN: Context42 – capture your coding style from across your projects (github.com/zenbase-ai)

10 points

a year ago

99.

Show HN: A Provably Zero Trust VPN (github.com/vpdotnet)

10 points

10 months ago

100.

ClickHouse for usage metering with Kafka Connect

9 points

3 years ago

101.

Show HN: Lockstep – A data-oriented programming language (github.com/seanwevans)

8 points

3 months ago

102.

Show HN: Elara- A free open-source coding game built with Rust and WebAssembly (elaragame.com)

8 points

3 years ago

103.

Show HN: AnyCable – real-time for Next.js, open source alternative to PaaS (docs.anycable.io)

8 points

3 years ago

104.

Show HN: A Decentralized NFT Based Gaming Platform (Dragons vs. Tigers) (github.com/SachPlayZ)

8 points

a year ago

105.

Show HN: Cook for Mom

8 points

8 years ago

106.

Show HN: Let your agent build its own tools with MCPglue (superglue.ai)

7 points

a year ago

107.

Progressive Mermaid and streaming diff code blocks – 100x faster render

7 points

9 months ago

108.

Show HN: Tysm, a Rust crate for using ChatGPT with Structured Outputs (github.com/not-pizza)

7 points

a year ago

109.

Ask HN: Pledges for SaaS startups valuing sustainability and ethics; any interest?

6 points

12 years ago

110.

Spotify's take on ADRs is great, but how do you enforce them at scale?

6 points

3 months ago

111.

Show HN: A systems language with runtime reflection and no GC (xxml-language.com)

6 points

6 months ago

112.

Show HN: Que, a Ruby-PostgreSQL job queue with ~20x the throughput of DelayedJob

6 points

12 years ago

113.

Show HN: Quorum-free replicated state machine built atop S3 (github.com/io-s2c)

6 points

4 months ago

114.

Show HN: Valid8r, Functional validation for Python CLIs using Maybe monads (github.com/mikelane)

6 points

7 months ago

115.

Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables (github.com/arcesium)

6 points

9 months ago

116.

Ask HN: How to deal with the short vs. long function argument

5 points

3 years ago

117.

Do Not Train" Meta Tags: The Robots.txt of AI – Will Anyone Respect Them?

5 points

a year ago

118.

Show HN: Costanza – an autonomous AI agent that can't be turned off (ahrussell.com)

5 points

a month ago

119.

Show HN: Egregore – Shared memory and coordination for multiplayer Claude Code (github.com/egregore-labs)

5 points

2 months ago

120.

Shift from passive documentation to active enforcement

5 points

3 months ago