Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
31.
▲
Terraform releases template provider v2.0.0 (broke my terraform)
(github.com/terraform-providers)
2 points
mrmattyboy
7 years ago
1 comment
32.
▲
Proveyouragent: Cryptographic identity for AI agents (Ed25519 and DPoP)
(github.com/lujainkhalil)
2 points
lujainkhalil
4 days ago
discuss
33.
▲
Provedex: Tamper-evident audit logs for AI agents (Pipecat, LangChain)
(github.com/provedex)
2 points
adi-suresh
8 days ago
discuss
34.
▲
Show HN: OBDium – free, open-source on-board diagnostics software.
(github.com/provrb)
2 points
provrb
a year ago
discuss
35.
▲
Provenance 2.2.0
(github.com/Provenance-Emu)
2 points
tosh
3 years ago
discuss
36.
▲
Provose: The easiest way to manage your AWS infrastructure
(github.com/provose)
2 points
gjvc
3 years ago
discuss
37.
▲
Quickly Search over Billions of Images
(github.com/ProvenanceLabs)
2 points
timdaub
5 years ago
discuss
38.
▲
Aya: a dependently-typed programming language
(github.com/aya-prover)
2 points
limoce
5 years ago
discuss
39.
▲
Provenance
(github.com/Provenance-Emu)
2 points
tosh
6 years ago
discuss
40.
▲
Show HN: Prove.js, jquery form validation
(github.com/provejs)
2 points
dhollenbeck
9 years ago
discuss
41.
▲
Show HN: IronCurtain: A secure* runtime for AI agent loops
(github.com/provos)
1 point
nielsprovos
3 months ago
1 comment
42.
▲
Provenance Marks: An open system for authenticating digital and physical goods
(github.com/wolfmcnally)
1 point
wolfsir
3 years ago
1 comment
43.
▲
Typography in Rust with HarfBuzz/FreeType and OpenGL
(github.com/o2sh)
1 point
ossamahjaji
5 years ago
1 comment
44.
▲
Show HN: UI for Apache Kafka v0.7 is out with ACLs, Dark theme and RBAC improvs
(github.com/provectus)
1 point
haarolean
3 years ago
discuss
45.
▲
Show HN: Provision and automate cloud hosts in Go
(github.com/inlets)
1 point
alexellisuk
5 years ago
discuss
46.
▲
Math step-by-step proof checker in Node JavaScript
(github.com/solviofoundation)
1 point
dteiml
7 years ago
discuss
47.
▲
Show HN: Racket Provide Generator
(github.com/DexterLagan)
1 point
dexterlagan
8 years ago
discuss
48.
▲
Provoj: simple python library to test API endpoints in a clean and beautiful way
(github.com/arnaucode)
1 point
petteralexander
8 years ago
discuss
49.
▲
Provent – Promises and Events, combined
(github.com/mauriciosoares)
1 point
mauriciosoares
11 years ago
discuss
50.
▲
Show HN: Open-source OAuth service for 40+ APIs
(nango.dev)
206 points
rguldener
3 years ago
56 comments
51.
▲
Show HN: Poozle – open-source Plaid for LLMs
(github.com/poozlehq)
132 points
harshithmul
3 years ago
39 comments
52.
▲
Show HN: Arrakis-How to Build an AI Sandbox from Scratch [video]
(youtube.com)
2 points
abshkbh
a year ago
discuss
53.
▲
Show HN: AI sandbox that runs on your homelab
(github.com/deevus)
1 point
deevus
3 months ago
discuss
54.
▲
Ask HN: Why is there no Terraform OpenAPI generator?
1 point
mooreds
4 years ago
discuss
55.
▲
Show HN: Cuckoo Filter implementation in Go (github.com/kuba--/cuckoo)
1 point
kuba--
9 years ago
discuss
56.
▲
Terraform Provider for Spotify
(github.com/conradludgate)
219 points
marinesebastian
4 years ago
75 comments
57.
▲
The Terraform Plugin for the Dominos Pizza Provider
(github.com/ndmckinley)
154 points
mooreds
7 years ago
87 comments
58.
▲
Show HN: Terraform Provider for Inexpensive Switches
(github.com/brennoo)
90 points
brennoo
a year ago
13 comments
59.
▲
J-Bob – The proof assistant from “The Little Prover”
(github.com/the-little-prover)
59 points
ayberkt
11 years ago
4 comments
60.
▲
Show HN: terraform-provider-factorio
(github.com/efokschaner)
55 points
efokschaner
5 years ago
19 comments
More