frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

TLHO – A domain-agnostic, fail-closed verification substrate

1•tlho•2h ago
TLHO (Patent pending) is a formal substrate designed to verify the structural integrity of a judgment rather than the semantic truth of its content. In an era of probabilistic AI and "black-box" decision-making, TLHO provides a strictly deterministic, contentless framework for high-stakes verification. The Problem: Most validation systems rely on domain knowledge or probability. This introduces "gray zones" where it is unclear if all requirements were met, or if the system simply "hallucinated" a high confidence score. The Approach: TLHO operates strictly at the meta-level. It doesn't know what is "true"; it only knows if a judgment is formally valid based on a 5-component tuple: TLHO = < S, O, W, C, TCB > * S (Specification): Closed description of the subject. * O (OutCore): Binary criterion (VALID/INVALID). * W (Witness): Finite evidence covering S. * C (Checker): Deterministic verifier. * TCB (Trusted Computing Base): Cryptographically anchored minimal trust base. Key Technical Pillars: * Fail-Closed Semantics: Any missing element or hash mismatch results in an INVALID state. No partial success. * Delta-Analysis: Uncertainty is modeled as incompleteness. Instead of a score, TLHO returns a finite list of missing requirements: Delta = {Required} - {Provided}. * Byte-Reproducibility: We use canonical JSON encoding and prefix-free framing) to ensure judgments are audit-stable and verifiable down to the byte. * Implementation Independence: To ensure integrity, we develop independent checkers that must reach the same out_hash without sharing code. Formal Assurance: We are moving toward machine-checked proofs for the core logic: * Coq/Lean: Proving fail-closed behavior and checker totality. * TLA+: Modeling the verification pipeline and safety invariants. Why I’m sharing this: I’m looking for feedback from the community, I want to go public soon, and wonder if there are any experts who can help us out. It will be an open-core licensing, commercial use needs licence (contact: tlho-enterprises@protonmail.com). I trully believe TLHO is the last missing layer for the digital era. TLHO is right on time or even maybe a bit too early. This is a opportunity for early birds, and the people who really see the paradigm shift. It changes from “trust us” to “verify us”. TLHO can be wrapped and is universal, domain agnostic, healthcare, law, finance, governance and even quantum computing.. TLHO is extremely lightweight and with split responsibility it can be put on sensors and IoT. It will change the audit world, reconstructions can be done in seconds, in stead of months. Selfdriving cars, robots, and all critical softwares will need TLHO for a safe future. This is an once in a lifetime opportunity. And we would appreciate all the help we can get. For any questions please ask as many as possible. And be as critical as possible. Dont trust words, trust the math.

Love, TLHO

Decades-old mystery solved as scientists identify what makes ice slippery

https://www.thebrighterside.news/post/decades-old-mystery-solved-as-scientists-identify-what-real...
1•thunderbong•1m ago•0 comments

Meta to acquire Chinese startup Manus to boost advanced AI features

https://www.reuters.com/world/china/meta-acquire-chinese-startup-manus-boost-advanced-ai-features...
2•testrun•2m ago•0 comments

The human fingerprint of medicinal plant species diversity

https://www.cell.com/current-biology/fulltext/S0960-9822(25)01250-3
1•PaulHoule•3m ago•0 comments

Compile JavaScript to C with Static Hermes

https://devongovett.me/blog/static-hermes.html
1•rexpan•5m ago•0 comments

Transform Your Data Effortlessly

https://documain.ai/
1•abahjat•6m ago•1 comments

Ensayo Sobre El Dolor

https://elidiolatorrelagares.substack.com/p/ensayo-sobre-el-dolor-lluvia-pequena
1•Blakevox•9m ago•0 comments

Converting between geographic and geocentric latitude

https://www.johndcook.com/blog/2025/12/29/geographic-vs-geocentric-latitude/
1•ibobev•9m ago•0 comments

Freedom from Incompetence

https://lemire.me/blog/2025/12/29/freedom-from-incompetence/
1•ibobev•10m ago•0 comments

Pharmaicy

https://www.pharmaicy.store
1•erhuve•11m ago•0 comments

El Yo Infiltrado

https://elidiolatorrelagares.substack.com/p/el-yo-infiltrado-hegemonia-escision
1•Blakevox•12m ago•0 comments

U-Boot Has Joined Software Freedom Conservancy

https://sfconservancy.org/news/2025/dec/29/u-boot-has-joined-sfc/
3•pabs3•12m ago•0 comments

Seed Factories and Self-Improving Systems

https://en.wikibooks.org/wiki/Seed_Factories
1•o4c•13m ago•0 comments

Ask HN: Why did Python fail to evolve?

2•fud101•17m ago•0 comments

State of GPU Hardware (End of Year 2025)

https://asawicki.info/articles/state_of_gpu_hardware_2025.php
2•ibobev•18m ago•0 comments

Honestly Im Sad:(

2•ilikesweden•19m ago•1 comments

Why I'm Leaving Harvard

https://www.compactmag.com/article/why-im-leaving-harvard/
3•typeofhuman•19m ago•0 comments

Sam Altman offers $555k salary to fill most daunting role in AI

https://www.theguardian.com/technology/2025/dec/29/sam-altman-openai-job-search-ai-harms
3•devonnull•23m ago•1 comments

How can they claim millions in ARR under a year?

1•haebom•28m ago•0 comments

Innovative ways the world used AI in 2025

https://restofworld.org/2025/ai-innovation-global-2025/
4•billybuckwheat•29m ago•0 comments

From Zero to NVMM hypervisor for NetBSD (2019)

https://blog.netbsd.org/tnf/entry/from_zero_to_nvmm
1•transpute•34m ago•0 comments

Tell HN: No Scrollbar on Google Gemini UI

1•albert_e•35m ago•0 comments

US Justice Department using fraud law to target companies on DEI

https://www.reuters.com/sustainability/society-equity/us-justice-department-using-fraud-law-targe...
3•mandeepj•39m ago•0 comments

1959 Michigan Mid-Century Modern House

https://www.apartmenttherapy.com/1959-michigan-mid-century-modern-house-tour-photos-36985773
1•avonmach•39m ago•0 comments

Show HN: Min. Calendar – Monthly business hours image maker for small shops

https://3min.llll-ll.com
1•kako-jun•40m ago•0 comments

AI Chatbots Linked to Psychosis, Say Doctors

https://www.wsj.com/tech/ai/ai-chatbot-psychosis-link-1abf9d57
3•1vuio0pswjnm7•42m ago•1 comments

Illustrating Motion Through DLP Photography

https://www.cs.cmu.edu/~koppal/procams%20webpage/motion_illustrations.html
1•joebig•43m ago•0 comments

Michael Burry Bets He Isn't Too Early to Go Against the AI Juggernaut

https://www.wsj.com/finance/stocks/michael-burry-bets-he-isnt-too-early-to-go-against-the-ai-jugg...
2•1vuio0pswjnm7•46m ago•0 comments

I gave Claude Code the ability to run its own radio show 24/7

https://www.khaledeltokhy.com/claude-show
2•eltokh7•47m ago•6 comments

Show HN: ScreenCraft – Screenshot and PDF API Without the Puppeteer Headaches

https://screencraftapi.com/
2•RobTheFrog•48m ago•4 comments

Coding is hard, especially during a layoff

https://zero.fail/coding-is-hard-specially-during-layoff/
4•ahmgeek•50m ago•0 comments