Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
61.
▲
Show HN: Gunnner – a handy open source Dribbble client for Android
2 points
egor-n
12 years ago
2 comments
62.
▲
Show HN: SkillFortify, a formal verification for AI agent skills
(github.com/varun369)
2 points
varunpratap369
3 months ago
2 comments
63.
▲
Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)
(github.com/varun369)
2 points
varunpratap369
3 months ago
1 comment
64.
▲
Show HN: Wozz – open-source Kubernetes cost linter and cluster auditor
2 points
wozzio
5 months ago
1 comment
65.
▲
Show HN: RunCycles – pre-execution budget enforcement for autonomous agents
(github.com/runcycles)
2 points
amavashev
3 months ago
discuss
66.
▲
Show HN: Agent Memory DB – Episodic memory for agents (97.5% vs. 85% recall)
(github.com/sathvikkurap)
2 points
andy9829
4 months ago
discuss
67.
▲
Show HN: Pyfrontkit Update
2 points
Edybrown
5 months ago
discuss
68.
▲
Show HN: OmnAI – Sovereign AI infrastructure with multi-vault isolation
(github.com/TadTanyaTalaTadenTadhgTaya)
2 points
6teepees
6 months ago
discuss
69.
▲
Show HN: Scoring dev work by how hard it is for AI to copy it
(github.com/valdrox)
2 points
valdrox
10 months ago
discuss
70.
▲
Show HN: Brain-rot Factory – Italian meme characters powered by AI (Next.js 15)
(brain-rot-factory.vercel.app)
2 points
rodrigogs
10 months ago
discuss
71.
▲
Show HN: A server that gives AI tools like ls/diff/cat to explore github repos
(github.com/BaoNguyen09)
2 points
baobaoyc24
a year ago
discuss
72.
▲
Show HN: Spress – A vibe coded programming language
(github.com/ryanmcdermott)
2 points
ryansworks
a year ago
discuss
73.
▲
Show HN: RF-DETR, SOTA Real-Time Object Detection Model
(github.com/roboflow)
2 points
zerojames
a year ago
discuss
74.
▲
Show HN: Codeinspect – Check source code for issues
(code-inspect.com)
2 points
irqlevel
2 years ago
discuss
75.
▲
Show HN: Supamodel -- monitor ML training sessions on your iPhone
(supamodel.ai)
2 points
sarangzambare
2 years ago
discuss
76.
▲
Show HN: RLM-MCP optimize context in Claude Code Using MIT's recursive LM paper
1 point
ahmedm24
4 months ago
1 comment
77.
▲
Show HN: Framework for Transferring AI Capabilities (Students Surpass Teachers)
(github.com/DRawson5570)
1 point
drawson5570
7 months ago
1 comment
78.
▲
Ask HN: How do you manage application configuration?
1 point
epignosisx
5 years ago
1 comment
79.
▲
Show HN: An agent that remembers across sessions (no chat history)
(github.com/umbecanessa)
1 point
wasnaga
a month ago
discuss
80.
▲
Show HN: Drift-guard – Protect your UI from AI agents' design drift
1 point
stayicon
3 months ago
discuss
81.
▲
Show HN: TubeTrim – A local YouTube summarizer using Qwen in pure Python
(github.com/GuglielmoCerri)
1 point
guglielmoce
3 months ago
discuss
82.
▲
I built two Loihi-parity neuromorphic processors from scratch
1 point
catalyst-neuro
4 months ago
discuss
83.
▲
Show HN: A2A Protocol – A Quantum-Humanistic Economy for AI Agents on Base L2
1 point
swimmingkiim
4 months ago
discuss
84.
▲
Show HN: H.e.i.m.d.a.l.l – Telemetry-to-insight pipeline for fleet telemetry
(github.com/KarthikSriramGit)
1 point
starksriram
4 months ago
discuss
85.
▲
Show HN: Semantic Primitives- TypeScript types that understand natural language
(github.com/elicollinson)
1 point
emcodes
4 months ago
discuss
86.
▲
Show HN: Convert OpenAPI Specifications into Agent Skills
(github.com/neutree-ai)
1 point
yz-yu
4 months ago
discuss
87.
▲
"A public origin record for a phase‑resonance hybrid computing architecture"
1 point
LUMENPIXEL
4 months ago
discuss
88.
▲
Testing a LangChain agent revealed a 95% failure rate on adversarial inputs
1 point
frankhumarang
5 months ago
discuss
89.
▲
StillMe – an open-source "transparent RAG" framework
1 point
Anh_Nguyen_vn
6 months ago
discuss
90.
▲
Show HN: Relia – Open-Source "ESLint" for AWS Costs (Python, Local-First)
(github.com/davidahmann)
1 point
davidresilify
6 months ago
discuss
More