HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
91.
▲
Show HN: SkillFortify, a formal verification for AI agent skills
github.com/varun369
2 comments
4 months ago
varunpratap369
2 points
92.
▲
Show HN: Veritas OS – Local OS for LLM Governance
github.com/veritasfuji-japan
2 comments
7 months ago
VERITAS_OS_JP
2 points
93.
▲
Show HN: Alpha- The fine structure constant emerged and code
zenodo.org
1 comment
10 months ago
pajuhaan
2 points
94.
▲
Show HN: AGI Lite for Free,Semantic AI boost with WFGY(stability ×3.6, open SDK
github.com/onestardao
1 comment
a year ago
PSBigBig
2 points
95.
▲
Prior art and simulation results for a non-von Neumann coordination
discuss
3 months ago
LUMENPIXEL
2 points
96.
▲
Show HN: Hierarchical Mission Authority Architecture for autonomous systems
github.com/burakoktenli-ai
discuss
4 months ago
burakoktenli
2 points
97.
▲
Show HN: Sleeping LLM – A language model that remembers by sleeping
github.com/vbario
discuss
4 months ago
vbaranov87
2 points
98.
▲
Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap
github.com/Shariq81
discuss
4 months ago
shariq81
2 points
99.
▲
Show HN: Browser-based EEG neurofeedback detecting golden ratio brain coherence
resonate.neurokinetikz.com
discuss
4 months ago
neurokinetikz
2 points
100.
▲
NASA ID Sy1174304 – O(1) Strategic Proposal: Alzheimer's and Longevity
discuss
5 months ago
MASTER_shivam
2 points
101.
▲
Show HN: Long-horizon LLM coherence benchmark (500 cycles)
zenodo.org
discuss
5 months ago
teugent
2 points
102.
▲
Ask HN: Critical review of a spec-first economic protocol
discuss
5 months ago
AGsist
2 points
103.
▲
Show HN: Sigma Runtime – model-agnostic identity control for LLMs
github.com/sigmastratum
discuss
5 months ago
teugent
2 points
104.
▲
Show HN: Informational Inertia – Measuring irreducible structure beyond entropy
github.com/eon715
discuss
6 months ago
eon715
2 points
105.
▲
Show HN: Catelingo – Constraint-Based Semantic Validity Checker for LLM Outputs
github.com/ShinobuMiya
discuss
6 months ago
shinobu_miya
2 points
106.
▲
Show HN: Dream – An LLM memory architecture using adaptive TTL to control cost
discuss
7 months ago
matheusdevmp
2 points
107.
▲
MatrixTransformer – A Unified Framework for Matrix Transformations
discuss
a year ago
AyodeleFikayomi
2 points
108.
▲
Reimagining the imaginary unit I – new proof (PGP signed)
2 comments
a year ago
purrplexia
1 points
109.
▲
Show HN: Turkish Sieve Engine – Reaching 1.1T-Items/S on a Single GPU
github.com/bilgisofttr
1 comment
5 months ago
bilgisoft
1 points
110.
▲
Show HN: Sigma Runtime – A Cognitive Runtime Standard for LLMs
wiki.sigmastratum.org
1 comment
7 months ago
teugent
1 points
111.
▲
Show HN: MirrorMind – A Recursive Agent Framework for Interpretable AI
mirrormind-mvp-5o4r8sttmusaptvkckl2n9.streamlit.app
1 comment
a year ago
SH_Oh
1 points
112.
▲
Show HN: Caelix, a balanced-ternary lattice field laboratory
caelix.co.uk
discuss
3 months ago
alan_caelix
1 points
113.
▲
Show HN: Lila-E8 – 40M Parameter LLM with 0.37 Loss via E8 Lattice Attention
discuss
4 months ago
bootstraptor
1 points
114.
▲
Show HN: 500-cycle runtime test for long-horizon LLM coherence
zenodo.org
discuss
5 months ago
teugent
1 points
115.
▲
Show HN: Faramesh – A deterministic gate for stochastic Autonomous AI agents
discuss
5 months ago
amjadfatmi1
1 points
116.
▲
RGE-256:A New ARX-Based PRNG with Structured Entropy and Empirical Validation
discuss
6 months ago
sreid90
1 points
117.
▲
HN- Built a self-upgrading AI with an emotional OS and secured file system
discuss
7 months ago
rafeez
1 points
118.
▲
Show HN: RankLens – Track your brand's visibility in AI answers reliably
seovendor.co
discuss
7 months ago
digitalpeak
1 points
119.
▲
Show HN: Skreeb – Governance and AI Blueprint White Paper (With DOI)
github.com/speykye
discuss
8 months ago
Speykey
1 points
120.
▲
DDSE Foundation Announces Agentic Contract Model (ACM) Framework v0.5.0
discuss
8 months ago
mrmanna
1 points
More