Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
841.
▲
Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI
(github.com/Chimera-Protocol)
2 points
aytuakarlar
4 months ago
7 comments
842.
▲
Show HN: GnuRAMage – A Bash tool to sync files between HDDs and RAM disks
(github.com/FPGArtktic)
2 points
mokulanis
a year ago
6 comments
843.
▲
New Open Source from Non-Traditional Builder
2 points
BrainDAnderson
3 months ago
5 comments
844.
▲
Show HN: Loki Mode hit 99.67% SWE-Bench – MAF built a SaaS overnight
(github.com/asklokesh)
2 points
slogansand
5 months ago
5 comments
845.
▲
Show HN: Detach – Mobile UI for managing AI coding agents from your phone
(github.com/salvozappa)
2 points
salvozappa
3 months ago
4 comments
846.
▲
300 Founders, 3M LOC, 0 engineers. Here's our workflow
2 points
parsak
3 months ago
4 comments
847.
▲
Show HN: Сulsans – Thread-safe async-aware queue for Python
(github.com/x42005e1f)
2 points
x42005e1f
6 months ago
4 comments
848.
▲
Ask HN: Thoughts on Async in Embedded?
2 points
the__alchemist
5 years ago
4 comments
849.
▲
Show HN: Costile – open-source proxy, blocks AI API requests when budget is hit
(costile.com)
2 points
Mkiza
2 months ago
3 comments
850.
▲
Show HN: Reticle – Postman for AI Agents
(github.com/fwdai)
2 points
alchaplinsky
3 months ago
3 comments
851.
▲
Ask HN: How do solo founders find academic co-founders for STTR grants?
2 points
Rao_Atreya
3 months ago
3 comments
852.
▲
Show HN: GitAgent – Clone a repo, get an AI agent – Claude Code / OpenClaw
(gitagent.sh)
2 points
Shreyaskapale
3 months ago
3 comments
853.
▲
Show HN: Open Line Protocol – a minimal wire for AI agents (MIT)
(github.com/terryncew)
2 points
terrynce
9 months ago
3 comments
854.
▲
Show HN: Built an open-source local firewall for AI coding agents
2 points
ashishp15
2 days ago
2 comments
855.
▲
Show HN: I built an open source background agent inspired by Ramp Inspect
(github.com/jvaill)
2 points
jvaill
a month ago
2 comments
856.
▲
Show HN: memory.fm – revisit your life through your music listening history
2 points
shsiddhant
a month ago
2 comments
857.
▲
A language model that emits raw VM opcodes instead of text
2 points
ilbert
2 months ago
2 comments
858.
▲
Show HN: Orc – Release the horde. Multi-agent orchestration in pure bash
(github.com/spencermarx)
2 points
mrxdev
3 months ago
2 comments
859.
▲
Hawkeye – open-source flight recorder
2 points
mklamine
3 months ago
2 comments
860.
▲
Show HN: NeoMud – A multiplayer dungeon game with AI agents that QA and playtest
(github.com/terrymaster)
2 points
terrymaster
3 months ago
2 comments
861.
▲
Show HN: Direct to silicon DLinear AI accelerator on the Sky130 open-source node
(github.com/Aperion-Technologies)
2 points
NotJustBinary
3 months ago
2 comments
862.
▲
Show HN: OmoiOS–190K lines of Python to stop babysitting AI agents (Apache 2.0)
(github.com/kivo360)
2 points
kanddle
3 months ago
2 comments
863.
▲
Show HN: I'm building TaskWeave, a typesafe task orchestrator
(github.com/spicyPoke)
2 points
spicypoke
3 months ago
2 comments
864.
▲
Show HN: Sinkai – Let AI agents hire humans for real-world tasks
(sinkai.tokyo)
2 points
tetubrah
4 months ago
2 comments
865.
▲
Show HN: Pyzam, Shazam for DJs and Mixtapes in Python
(github.com/lukafilipxvic)
2 points
filipovic
2 years ago
2 comments
866.
▲
Understanding how to run a fleet of agents
2 points
sermakarevich
21 days ago
1 comment
867.
▲
Show HN: PrismoDev – local CLI for finding token waste in Claude Code/Codex
(github.com/shanirsh)
2 points
shanirshad
22 days ago
1 comment
868.
▲
Show HN: Cordon – Security gateway for MCP tool calls with HITL approvals
(github.com/marras0914)
2 points
babas03
a month ago
1 comment
869.
▲
Python and C killer seekers rejoice
2 points
kvthweatt
a month ago
1 comment
870.
▲
Show HN: A 30-minute course to get up to speed on how AI agents work
2 points
ahd94
3 months ago
1 comment
More