Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
511.
▲
GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)
(github.com/JQCTeam)
1 point
justdoitookk
10 months ago
2 comments
512.
▲
.NET Standard Fast, Light, Flexible JSON Serializer
(github.com/justinamiller)
1 point
maverickeye
6 years ago
2 comments
513.
▲
XBPP – Open standard for governing AI agent payments (Apache 2.0)
(github.com/VanarChain)
1 point
vanardev
2 months ago
1 comment
514.
▲
Show HN: ISO 20022 Payments MCP – First standards-typed financial MCP server
(github.com/scalefirstai)
1 point
scalefirst
3 months ago
1 comment
515.
▲
Show HN: Soul Protocol – an open standard for portable AI identity
1 point
prakashdep
3 months ago
1 comment
516.
▲
WebMCP Not Quite a Standard Yet
(github.com/Starborn)
1 point
Paodim
4 months ago
1 comment
517.
▲
Show HN: ATS-1.0 – A 6-Tier Technical Standard for AI Authorship Disclosure
(github.com/MeaningfulnessMediaGroup)
1 point
djeffbee
5 months ago
1 comment
518.
▲
SkillHub – NPM for AI agent rules, share team standards across 13 AI tools
(github.com/cloudvalley-tech)
1 point
zxh
5 months ago
1 comment
519.
▲
A standard language for machine-readable code comments
(github.com/pomponchik)
1 point
levzettelin
6 months ago
1 comment
520.
▲
Show HN: Sigma Runtime – A Cognitive Runtime Standard for LLMs
(wiki.sigmastratum.org)
1 point
teugent
6 months ago
1 comment
521.
▲
Show HN: Agent Identity Protocol – Open Standard for AI Agent Signatures
(github.com/faalantir)
1 point
faalantir
6 months ago
1 comment
522.
▲
Show HN:.sagent –A standardized package format for AI agents (built with Claude)
(github.com/jinnks)
1 point
jinnks1881
6 months ago
1 comment
523.
▲
Show HN: Apaai Protocol – an open standard for accountable AI
(apaaiprotocol.org)
1 point
fpvidigas
8 months ago
1 comment
524.
▲
Universal standard for flow control across RxJS, Kafka, Node Streams
(github.com/Tryboy869)
1 point
anzizdaouda0
8 months ago
1 comment
525.
▲
Show HN: Open LLM Spec – Standardizing inputs and outputs across providers
1 point
gpt4o
a year ago
1 comment
526.
▲
Agents.json: a open standard for agents to interact with your website
(github.com/lando22)
1 point
panqueca
2 years ago
1 comment
527.
▲
LLM Agent and Notion = Standard Software Development Booster
(github.com/AI-Citizen)
1 point
wwwwww1020
3 years ago
1 comment
528.
▲
A proposed standard for source control robots
(github.com/hartez)
1 point
hartez
14 years ago
1 comment
529.
▲
Show HN: Timekit – Helpful functions to extend the Go `time` standard package
(github.com/bartmika)
1 point
bartmika
4 years ago
1 comment
530.
▲
Refactoring of Mobile Application Security Verification Standard (Masvs)
(github.com/OWASP)
1 point
sushi2k
5 years ago
1 comment
531.
▲
Segmod: Non-Standard Sound Synthesis
(github.com/lucdoebereiner)
1 point
erikschoster
5 years ago
1 comment
532.
▲
Show HN: Katlib – A Companion to Kotlin Standard Library
(github.com/LukasForst)
1 point
yatralalala
5 years ago
1 comment
533.
▲
Try Standard ML in the Browser, Courtesy of Univeristy of Saarland
1 point
metacontent
7 years ago
1 comment
534.
▲
Show HN: The PJDL (Padded Jittering Data Link) Open Standard
(github.com/gioblu)
1 point
gioscarab
7 years ago
1 comment
535.
▲
Open Location Code: An Open Source Standard for Addresses
(github.com/google)
1 point
gregknicholson
8 years ago
1 comment
536.
▲
Reactive web programming in Standard ML
(github.com/melsman)
1 point
eatonphil
10 years ago
1 comment
537.
▲
In reaction to PHP-FIG events, Community Driven Standards were created
(github.com/php-cds)
1 point
DominikD
10 years ago
1 comment
538.
▲
Show HN: Standard ES6 JavaScript with coffeescript-like syntax
(github.com/mark-hahn)
1 point
mchahn
11 years ago
discuss
539.
▲
Cppbestpractices: Forkable coding standards and best practices document for C++
(github.com/lefticus)
1 point
ingve
11 years ago
discuss
540.
▲
samurai-native – bring web standards to native iOS development
(github.com/hackers-painters)
1 point
davidbarker
11 years ago
discuss
More