Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
241.
▲
Understanding how to run a fleet of agents
2 points
sermakarevich
16 days ago
1 comment
242.
▲
Show HN: Alint, a fast linter for repository structure and hygiene
(github.com/asamarts)
2 points
aleqs
16 days ago
1 comment
243.
▲
Show HN: We put ZK attribute proofs inside x402 payment headers
2 points
aggre
a month ago
1 comment
244.
▲
Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)
(github.com/varun369)
2 points
varunpratap369
3 months ago
1 comment
245.
▲
Show HN: Codified decades of domain expertise into open source agent skills
(github.com/ai-evos)
2 points
urav
3 months ago
1 comment
246.
▲
I accidentally made probabilistic programming 30-200x faster
2 points
Aeowulf
4 months ago
1 comment
247.
▲
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
(lambdalord.github.io)
2 points
bkaminsky
a year ago
1 comment
248.
▲
Show HN: Chonkify – updated 1kB chunker, now grapheme-aware
(github.com/ushakov-igor)
2 points
Beardier
a year ago
1 comment
249.
▲
Show HN: Cross-platform screen capture & OCR SDK, Rust with Node bindings
2 points
Cilvic
a year ago
1 comment
250.
▲
Show HN: It seems pretty easy to generate exploits using GPT-4?
(github.com/maxwell-bland)
2 points
mtbland
3 years ago
1 comment
251.
▲
Container scanners don't scan software not added by package manager
2 points
mkesper
4 years ago
1 comment
252.
▲
[benchmarks] MongoDB kicks MySQL's ass no matter the circumstances
2 points
zeeone
15 years ago
1 comment
253.
▲
Ask HN: Anyone self-host their payment gateway?
2 points
moe
16 years ago
1 comment
254.
▲
Ask HN: Has anyone tried swoole PHP in prod? Does it really beat Node.js?
2 points
osrec
9 years ago
1 comment
255.
▲
Ask HN: Open source rules engine for categorizing applications by productivity?
2 points
reubano
9 years ago
1 comment
256.
▲
Show HN: Bytery – a binary JSON protocol ~10x faster and ~10x smaller
(github.com/jacksonsolid)
2 points
teamsolid
11 days ago
discuss
257.
▲
Show HN: Built a verifiable, open-source SoC 2 readiness scanner
(loxeai.com)
2 points
arjavmehta
19 days ago
discuss
258.
▲
Show HN: Springdrift – A persistent runtime for long-lived LLM agents
(github.com/seamus-brady)
2 points
s_brady
2 months ago
discuss
259.
▲
Show HN: A tool to make AI show evidence inline
(github.com/dvelton)
2 points
deevelton
2 months ago
discuss
260.
▲
Show HN: Data that explains itself to Coding Agents (Bonus: free, BYOA Lovable)
(dataverse001.net)
2 points
TumbleCow
2 months ago
discuss
261.
▲
Show HN: LocalAgent v0.5.0, a local-first Rust agent runtime
(github.com/CalvinSturm)
2 points
CalvinBuild
3 months ago
discuss
262.
▲
Show HN: Endgame – Production-aware ML under the sklearn API
2 points
cameronhamilton
3 months ago
discuss
263.
▲
Show HN: Engram – Open-source agent memory that beats Mem0 by 20% on LOCOMO
(engram.fyi)
2 points
tstockham
3 months ago
discuss
264.
▲
Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM
(mnemom.ai)
2 points
alexgarden
3 months ago
discuss
265.
▲
Show HN: Tokio-prompt-orchestrator – LLM pipeline orchestration in Rust
(github.com/Mattbusel)
2 points
Shmungus
3 months ago
discuss
266.
▲
Show HN: Pragmatica Aether – a distributed Java runtime that replaces Kubernetes
(github.com/pragmaticalabs)
2 points
siy
3 months ago
discuss
267.
▲
Show HN: Beadhub.ai – Real time coord for coding agents across different minders
(beadhub.ai)
2 points
juanre
3 months ago
discuss
268.
▲
Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift)
(github.com/OneInX)
2 points
oneinx
4 months ago
discuss
269.
▲
Show HN: GuardRails – A new coding agent task tool inspired by Beads
(giancarlostoro.com)
2 points
giancarlostoro
4 months ago
discuss
270.
▲
Show HN: System architecture method using mythology and LLMs (no CS background)"
(github.com/FusionAlchemist)
2 points
fusionalchemist
4 months ago
discuss
More