HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
421.
▲
Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)
1 comment
4 months ago
kitasan
2 points
422.
▲
Show HN: Feistly – Cryptographically secure ID obfuscation with Feistel cipher
github.com/JunDev76
1 comment
5 months ago
jundev76
2 points
423.
▲
Show HN: NyxProxy – Destroy rate limits with IPv6 rotation (100K+ req/s)
github.com/Jannik-Schroeder
1 comment
7 months ago
jsdeme
2 points
424.
▲
Show HN: I built an AI that remembers everything and learns from mistakes
github.com/vac-architector
1 comment
10 months ago
VAC-AGI
2 points
425.
▲
Show HN: JSONDetective – Instantly understand large JSON files without a schema
github.com/timf34
1 comment
2 years ago
timf34
2 points
426.
▲
[benchmarks] MongoDB kicks MySQL's ass no matter the circumstances
1 comment
15 years ago
zeeone
2 points
427.
▲
Tell HN: I made my first open source contribution.
1 comment
15 years ago
mrcharles
2 points
428.
▲
Show HN: Run production AI in your cloud in 5 mins
github.com/dagploy
discuss
13 days ago
yodi
2 points
429.
▲
Show HN: LocalFlow – AI data analysis where the LLM never sees your data
github.com/localflow-ai
discuss
22 days ago
renaudpawlak
2 points
430.
▲
Show HN: Elmo (Open Source AEO)
github.com/elmohq
discuss
a month ago
jrhizor
2 points
431.
▲
Show HN: Netscope – Inspect HAR Files on Your Desktop
netscopeapp.com
discuss
2 months ago
Dru89
2 points
432.
▲
Show HN: Bucket Delta – Compute differences between two S3-compatible buckets
github.com/nutanix
discuss
3 months ago
drstrange14
2 points
433.
▲
Show HN: Beta-Claw – I built an AI agent runtime that cuts token costs by 44%
github.com/Rawknee-69
discuss
4 months ago
Kyoiske
2 points
434.
▲
Show HN: BXP – An open standard for atmospheric exposure data
discuss
4 months ago
BXP
2 points
435.
▲
Show HN: I solo-validated Fed learning at 10M nodes with 50% Byzantine tolerance
github.com/rwilliamspbg-ops
discuss
4 months ago
rwilliamspbgops
2 points
436.
▲
Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM
mnemom.ai
discuss
4 months ago
alexgarden
2 points
437.
▲
Show HN: Tiny-parquet – JavaScript lib to read/write Parquet in 326KB of WASM
github.com/nktrchk
discuss
4 months ago
Nikitaita
2 points
438.
▲
Show HN: MarkdownLM – Stop being the human middleware for your AI agent
discuss
4 months ago
sundancegh
2 points
439.
▲
Show HN: Spheni – A Vector Search Engine in C++ built from scratch, for Python
github.com/datavorous
discuss
4 months ago
datavorous_
2 points
440.
▲
Show HN: ChatProjects Open-source WordPress plugin for document RAG and chat
github.com/chatprojects-com
discuss
4 months ago
morog
2 points
441.
▲
Show HN: Cuttlefish – 40ns causal consistency using algebra instead of consensus
github.com/abokhalill
discuss
5 months ago
yousef06
2 points
442.
▲
Show HN: Noether – ML framework to train physical engineering models
github.com/Emmi-AI
discuss
5 months ago
markush_
2 points
443.
▲
Show HN: Lobsim: L3 Limit Order Book replay and paper execution simulator
github.com/kpetridis24
discuss
5 months ago
kpetridis24
2 points
444.
▲
NASA ID Sy1174304 – O(1) Strategic Proposal: Alzheimer's and Longevity
discuss
5 months ago
MASTER_shivam
2 points
445.
▲
Show HN: Warper – React virtualization with Rust/WASM for 10M+ items
github.com/warper-org
discuss
6 months ago
itsmeadarsh
2 points
446.
▲
Show HN: Vanilla PHP genetics engine – 14 loci, zero dependencies
github.com/kanarazu-project
discuss
6 months ago
platoon5121
2 points
447.
▲
Show HN: High Perf. Event Broadcast Engine (PubSub, Kafka, SQS Alternative)
rayattack.github.io
discuss
a year ago
sooiam
2 points
448.
▲
Show HN: Digger Solo – Semantic Search and Maps for Local Files
solo.digger.lol
discuss
a year ago
sean_pedersen
2 points
449.
▲
Show HN: Clai – Unixlike vendor agnostic LLM context feeder
github.com/baalimago
discuss
a year ago
baalimago
2 points
450.
▲
A Scalable Standard for Clean ECommerce Data in LLMs (Fork of Llms.txt)
discuss
a year ago
nicola_alessi
2 points
More