HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
91.
▲
Show HN: NativeWindUI – Native Feeling TailwindUI for React Native
nativewindui.com
5 comments
2 years ago
danstepanov
16 points
92.
▲
Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence
github.com/neelsomani
2 comments
6 months ago
nsomani
16 points
93.
▲
Show HN: A password system with no database, no sync, and nothing to breach
bastion-enclave.vercel.app
16 comments
5 months ago
KevinChasse
14 points
94.
▲
Show HN: Uniflow - A fast multipurpose workflow engine
github.com/siyul-park
discuss
2 years ago
kararap
14 points
95.
▲
Show HN: Prisma Next – data contracts, migration graphs, agent DX
github.com/prisma
2 comments
a month ago
wmadden
13 points
96.
▲
Show HN: Tt – P2P terminal sharing over WebRTC
2 comments
6 months ago
artpar
13 points
97.
▲
Show HN: BemiDB – Open-source data warehouse with zero-ETL
bemidb.com
2 comments
a year ago
exAspArk
13 points
98.
▲
Ask HN: Is Adrian Colyer of "The Morning Paper" fame ok?
discuss
a year ago
yencabulator
11 points
99.
▲
Show HN: Context42 – capture your coding style from across your projects
github.com/zenbase-ai
4 comments
a year ago
knrz
10 points
100.
▲
Show HN: I am running 3 coding agents non-stop over the last 3 days. Here is how
3 comments
9 days ago
sermakarevich
10 points
101.
▲
Show HN: A Provably Zero Trust VPN
github.com/vpdotnet
2 comments
10 months ago
rasengan
10 points
102.
▲
ClickHouse for usage metering with Kafka Connect
discuss
3 years ago
hekike
9 points
103.
▲
Show HN: Lockstep – A data-oriented programming language
github.com/seanwevans
6 comments
3 months ago
goosethe
8 points
104.
▲
Show HN: Elara- A free open-source coding game built with Rust and WebAssembly
elaragame.com
4 comments
3 years ago
polymathist
8 points
105.
▲
Show HN: AnyCable – real-time for Next.js, open source alternative to PaaS
docs.anycable.io
2 comments
3 years ago
palkan
8 points
106.
▲
Show HN: A Decentralized NFT Based Gaming Platform (Dragons vs. Tigers)
github.com/SachPlayZ
discuss
2 years ago
grobat79
8 points
107.
▲
Show HN: Cook for Mom
discuss
8 years ago
anulman
8 points
108.
▲
Show HN: Let your agent build its own tools with MCPglue
superglue.ai
2 comments
a year ago
adinagoerres
7 points
109.
▲
Progressive Mermaid and streaming diff code blocks – 100x faster render
discuss
9 months ago
simon_he
7 points
110.
▲
Show HN: Tysm, a Rust crate for using ChatGPT with Structured Outputs
github.com/not-pizza
discuss
a year ago
ChadNauseam
7 points
111.
▲
Ask HN: Pledges for SaaS startups valuing sustainability and ethics; any interest?
5 comments
12 years ago
jamesisaac
6 points
112.
▲
Show HN: Micron: a high performance C++23 (re)implementation of Libc and the STL
github.com/rfgplk
3 comments
17 days ago
rfgplk
6 points
113.
▲
Spotify's take on ADRs is great, but how do you enforce them at scale?
1 comment
4 months ago
iamalizaidi
6 points
114.
▲
Show HN: A systems language with runtime reflection and no GC
xxml-language.com
1 comment
6 months ago
thatsoulyguy
6 points
115.
▲
Show HN: Que, a Ruby-PostgreSQL job queue with ~20x the throughput of DelayedJob
discuss
13 years ago
chanks
6 points
116.
▲
Show HN: Quorum-free replicated state machine built atop S3
github.com/io-s2c
discuss
5 months ago
mzazaipsc
6 points
117.
▲
Show HN: Valid8r, Functional validation for Python CLIs using Maybe monads
github.com/mikelane
discuss
7 months ago
lanemik
6 points
118.
▲
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com/arcesium
discuss
9 months ago
mothukur
6 points
119.
▲
Ask HN: How to deal with the short vs. long function argument
9 comments
3 years ago
da39a3ee
5 points
120.
▲
Do Not Train" Meta Tags: The Robots.txt of AI – Will Anyone Respect Them?
7 comments
a year ago
alissa_v
5 points
More