Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
121.
Aura-State: Formally Verified LLM State Machine Compiler
23 points
rohanmunshi08
3 months ago
6 comments
122.
Show HN: I made Million – It's a Virtual DOM made for the future
22 points
aidenyb
4 years ago
10 comments
123.
Show HN: Holos – Configure Helm and Kustomize Holistically with Cue (holos.run)
21 points
JeffMcCune
2 years ago
8 comments
124.
Show HN: Orloj – agent infrastructure as code (YAML and GitOps) (github.com/OrlojHQ)
20 points
An0n_Jon
2 months ago
12 comments
125.
Show HN: InsForge AI, Open-Source Agent Friendly Alternative to Supabase (insforge.dev)
15 points
tonychang430
8 months ago
19 comments
126.
Show HN: I made a free (open-source) extension, to use any LLM on Google sheet (aisheeter.com)
14 points
tuantruong
2 years ago
6 comments
127.
Show HN: IaSQL – Open-source tool to manage cloud infra as data in PostgreSQL (github.com/iasql)
14 points
pombo
3 years ago
1 comment
128.
Show HN: Meta-agent: self-improving agent harnesses from live traces (github.com/canvas-org)
14 points
essamsleiman
2 months ago
discuss
129.
Show HN: iq – jq for images (using rust, LALRPOP) (github.com/michaelgiba)
13 points
michaelgiba
4 years ago
1 comment
130.
Show HN: Go Command-streaming lib for distributed systems (3x faster than gRPC) (github.com/cmd-stream)
12 points
ymz_ncnk
10 months ago
4 comments
131.
NetBird raises €1.1M – Open-Source P2P WireGuard-based overlay network
12 points
braginini
3 years ago
discuss
132.
Show HN: LLM Aided Transcription Improvement (github.com/Dicklesworthstone)
11 points
eigenvalue
2 years ago
4 comments
133.
Show HN: RAG, No Vectors (github.com/VectifyAI)
11 points
vectify_AI
a year ago
1 comment
134.
Show HN: AES-256 brute force using structured logic (UUIDs and xy = x/y rule) (github.com/ElSolem)
11 points
polymetron
a year ago
discuss
135.
Tell HN: Why and how we raised VC funding for an open-source project
11 points
navaneethpk
4 years ago
discuss
136.
Show HN: Codex context bloat? 87% avg reduction on SWE-bench Verified traces (npmjs.com)
10 points
george_ciobanu
a month ago
2 comments
137.
Show HN: Logos of Aether – Rebuilding Physics Without Zero or Empty Space (github.com/chrisnchips42-blip)
10 points
chrisnchips
5 months ago
1 comment
138.
Show HN: GPU Perpetual Futures Prototype (github.com/zacharyfrederick)
9 points
ozzymandiaz96
4 months ago
3 comments
139.
Show HN: Forensic evidence of iOS mesh networking bypassing Airplane Mode (github.com/JGoyd)
8 points
TakeFlight007
5 months ago
13 comments
140.
Show HN: Themeable HN (github.com/insin)
8 points
insin
2 months ago
1 comment
141.
Show HN: P2Party – Encrypted WebRTC Room URLs (github.com/p2party)
8 points
fuzzc0re
9 months ago
1 comment
142.
Show HN: Another “Who Is Hiring” Aggregator: www.whoishiring.work
8 points
Rebles
6 years ago
discuss
143.
Ask HN: Why can't I get an internship?
7 points
mehrzad
11 years ago
17 comments
144.
Ask HN: What is wrong with my resume and portfoilo?
7 points
wornoutman
11 years ago
11 comments
145.
Show HN: I am creating a campaign to mitigate Covid-19 crisis in Spain
7 points
eveningcoffee
6 years ago
7 comments
146.
Show HN: Morphik – Open-source MCP server for technical document search (docs.morphik.ai)
7 points
Adityav369
a year ago
6 comments
147.
Tell HN: Mattermost "upgrade" to v11 enforces 10k UI message limit
7 points
nemosaltat
5 months ago
3 comments
148.
Using Tailscale with an OrbStack VM on macOS (github.com/highpost)
7 points
highpost
11 days ago
discuss
149.
Show HN: Fabro – open-source dark software factory (github.com/fabro-sh)
7 points
brynary
2 months ago
discuss
150.
Rust-accelerated reinforcement learning, 140x faster than Python (github.com/riserally)
7 points
wkowalpl
3 months ago
discuss
More