Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
841.
▲
Show HN: Glass Box: writing editor that exports a verifiable PDF of your process
(firl.nl)
2 points
normanbell
3 months ago
discuss
842.
▲
Show HN: 4-tier self-healing AI agent (was silently broken for weeks)
(github.com/Ramsbaby)
2 points
ramsbaby-dev
4 months ago
discuss
843.
▲
Show HN: VerdictMail – IMAP daemon that uses LLM reasoning to catch phishing
(github.com/ascarola)
2 points
ascarola
4 months ago
discuss
844.
▲
Show HN: OctoFlow v1.0.0 – GPU VM where the GPU runs autonomously, CPU is BIOS
2 points
mr_octopus
4 months ago
discuss
845.
▲
Show HN: spec2commit – I automated my Claude Code and Codex workflow
(github.com/baturyilmaz)
2 points
arbayi
4 months ago
discuss
846.
▲
Show HN: I maintain Valkey GLIDE – built a Node queue doing 48k jobs/s
(github.com/avifenesh)
2 points
anotherCodder
4 months ago
discuss
847.
▲
Show HN: Mac apps are signed in. Why make an AI authenticate too?
2 points
spamsch
4 months ago
discuss
848.
▲
Show HN: Cosmic CLI – Build, deploy, and manage apps from your terminal with AI
(github.com/cosmicjs)
2 points
tonyspiro
4 months ago
discuss
849.
▲
Show HN: Pyrig – One command to set up a production-ready Python project
(github.com/Winipedia)
2 points
Winipedia
4 months ago
discuss
850.
▲
Show HN: Give Your AI the Ability to Find, Install, and Use Skill Autonomously
2 points
twwch
4 months ago
discuss
851.
▲
Show HN: Sandy – Accelerate AI agents: think once, replay forever
(github.com/Sangkwun)
2 points
sangkwun
4 months ago
discuss
852.
▲
Zero-Knowledge Privacy Infrastructure for Solana
2 points
2r1in
4 months ago
discuss
853.
▲
Show HN: Devin-CLI – The missing link for Agent-to-Agent orchestration
(github.com/revanthpobala)
2 points
revanth1108
4 months ago
discuss
854.
▲
Show HN: SBoM dashboard that pulls from GitHub release assets
(sbom.kftray.app)
2 points
hcavarsan
4 months ago
discuss
855.
▲
Show HN: A cross-framework Markdown/MDX parser to simplify content management
(github.com/aymericzip)
2 points
intlayer_org
4 months ago
discuss
856.
▲
Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source]
(github.com/nerv-bit)
2 points
Nerv_b
4 months ago
discuss
857.
▲
Show HN: PicoFlow – a minimal Python workflow for LLM agents
2 points
shijizhi_1919
4 months ago
discuss
858.
▲
Show HN: Spine – Verifiable audit logs with BLAKE3 and Ed25519
(github.com/EulBite)
2 points
mattiaaleo
5 months ago
discuss
859.
▲
Show HN: Consensus for Side Effects
(github.com/abokhalill)
2 points
yousef06
5 months ago
discuss
860.
▲
Astra v1.0 – Formally verified smart contracts with six mathematical axioms
2 points
kroesser4
5 months ago
discuss
861.
▲
Show HN: sc-membench for modern memory bandwidth and latency benchmarks
(github.com/spareCores)
2 points
daroczig
5 months ago
discuss
862.
▲
Show HN: QBox – Schrödinger's async (values in superposition until observed)
(github.com/gtwohig)
2 points
gtwohig
5 months ago
discuss
863.
▲
Show HN: Long-horizon LLM coherence benchmark (500 cycles)
(zenodo.org)
2 points
teugent
5 months ago
discuss
864.
▲
Show HN: Atomic Stream – pay-as-you-go real-time Solana data streams (x402)
2 points
missionsquad
5 months ago
discuss
865.
▲
Show HN: Kprotect – eBPF-based file protection using process lineage
(github.com/khoinp1012)
2 points
khoinp1012
5 months ago
discuss
866.
▲
Show HN: I Turned EU Cyber Laws into Open Source Code
(github.com)
2 points
FabDiP89
5 months ago
discuss
867.
▲
Show HN: DBMS OLTP written in Rust – prioritises clarity and correctness
(github.com/OxidizeLabs)
2 points
failsafe
5 months ago
discuss
868.
▲
Show HN: Catelingo – Constraint-Based Semantic Validity Checker for LLM Outputs
(github.com/ShinobuMiya)
2 points
shinobu_miya
5 months ago
discuss
869.
▲
Show HN: Dssrf – A safe‑by‑construction SSRF defense library for Node.js
2 points
relunsec
6 months ago
discuss
870.
▲
Show HN: Glogos: a consensus-free attestation proposal
2 points
vnlemanhthanh
6 months ago
discuss
More