Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
841.
Show HN: Lapisla – A Theorem Proving Platform for Openness and Reusability (github.com/lapisla-prover)
6 points
abap34
a year ago
discuss
842.
Show HN: Soperator – Run Slurm in Kubernetes (github.com/nebius)
6 points
rdjjke
2 years ago
discuss
843.
Show HN: I wrote a database engine in TypeScript (github.com/alexraffy)
6 points
skelet
4 years ago
discuss
844.
Helium.js – SSR React/Redux Applications
6 points
juliemoon
8 years ago
discuss
845.
Show HN: Give Claude a GitHub Codespace to automate all your apps via MCP (github.com/keyboard-dev)
5 points
linktothenew
10 months ago
7 comments
846.
Show HN: We have just released our first Debloating tool for Containers (github.com/negativa-ai)
5 points
ahmedaley
a year ago
4 comments
847.
Show HN: An open source astronomy dashboard (https://caelus.siderealcode.net)
5 points
rhannequin
7 months ago
3 comments
848.
Show HN: Open-source macOS dictation replacement, 5Mb (github.com/j05u3)
5 points
josue_0
10 months ago
2 comments
849.
Show HN: CancerDB: A public domain CSV file to help build a cure (github.com/breck7)
5 points
breck
4 years ago
2 comments
850.
Show HN: CodeBeam: The missing bridge between browser and IDE (github.com/gaurav-yadav)
5 points
rainmod
a year ago
1 comment
851.
Ask HN: What do you wish you knew when you started your career?
5 points
flaque
9 years ago
1 comment
852.
Show HN: Iceberg-JS, a TypeScript Client for the Apache Iceberg REST Catalog (github.com/supabase)
5 points
kiwicopple
6 months ago
discuss
853.
Show HN: WasmBots – A WebAssembly-powered programming game (shaneliesegang.com)
5 points
sjml
a year ago
discuss
854.
Show HN: Consulting Agreement Template - Seeking Feedback
5 points
jph
a year ago
discuss
855.
Show HN: Bin CLI – A simple task/script runner for any programming language (github.com/bin-cli)
5 points
d13r
2 years ago
discuss
856.
Show HN: Patchwork – Open-Source AI Workflows for Dev Chores (github.com/patched-codes)
5 points
rohansood15
2 years ago
discuss
857.
Freedom Shield
5 points
nickbild
6 years ago
discuss
858.
Show HN: HelixDB, Open-Source Hybrid Graph-Vector Database (github.com/HelixDB)
4 points
GeorgeCurtis
a year ago
4 comments
859.
NodeOS 1.0-RC1
4 points
piranna
11 years ago
4 comments
860.
Show HN: kiln – Git-native, age-encrypted secrets for dev workflows (kiln.sh)
4 points
pacmansyyu
a year ago
3 comments
861.
Show HN: Flumen – An open-source focus timer for macOS (menu bar, local data) (github.com/saranshbarua)
4 points
saranshbarua01
4 months ago
2 comments
862.
Show HN: Scholium, AI Research Assistant (github.com/QDScholium)
4 points
SunnyWan15
a year ago
2 comments
863.
Show HN: Options Trading – Another Quantitative Risk Analysis Software (github.com/aquarians)
4 points
MichaelRo
2 years ago
2 comments
864.
Valori – Deterministic Substrate for AI (Code and ArXiv Paper)
4 points
varshith17
5 months ago
1 comment
865.
Show HN: Tenant Operator – Provision Kubernetes Tenants Directly from Your DB (docs.kubernetes-tenants.org)
4 points
selenehyun
7 months ago
1 comment
866.
My speculations writing a coding platform in 8 weeks as a highschooler
4 points
tr1ll10nb1ll
6 years ago
1 comment
867.
Show HN: Treats Human and AI the Same (github.com/haozeli2009)
4 points
haozeli
14 days ago
discuss
868.
Show HN: Flux: A systems language with endianness in the type system
4 points
kvthweatt
3 months ago
discuss
869.
Show HN: Vocalinux // 100% offline voice typing for Linux (vocalinux.com)
4 points
jatinkrmalik
4 months ago
discuss
870.
ProjectCLI: The Swiss Army Knife CLI for bootstrapping any project
4 points
dawitworku
5 months ago
discuss
More