Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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