frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Warcraftcn/UI – UI component library inspired by classic Warcraft III aesthetics

https://www.warcraftcn.com/
1•vyrotek•1m ago•0 comments

Trump Vodka Becomes Available for Pre-Orders

https://www.forbes.com/sites/kirkogunrinde/2025/12/01/trump-vodka-becomes-available-for-pre-order...
1•stopbulying•2m ago•0 comments

Velocity of Money

https://en.wikipedia.org/wiki/Velocity_of_money
1•gurjeet•5m ago•0 comments

Stop building automations. Start running your business

https://www.fluxtopus.com/automate-your-business
1•valboa•9m ago•1 comments

You can't QA your way to the frontier

https://www.scorecard.io/blog/you-cant-qa-your-way-to-the-frontier
1•gk1•10m ago•0 comments

Show HN: PalettePoint – AI color palette generator from text or images

https://palettepoint.com
1•latentio•11m ago•0 comments

Robust and Interactable World Models in Computer Vision [video]

https://www.youtube.com/watch?v=9B4kkaGOozA
1•Anon84•14m ago•0 comments

Nestlé couldn't crack Japan's coffee market.Then they hired a child psychologist

https://twitter.com/BigBrainMkting/status/2019792335509541220
1•rmason•16m ago•0 comments

Notes for February 2-7

https://taoofmac.com/space/notes/2026/02/07/2000
2•rcarmo•17m ago•0 comments

Study confirms experience beats youthful enthusiasm

https://www.theregister.com/2026/02/07/boomers_vs_zoomers_workplace/
2•Willingham•24m ago•0 comments

The Big Hunger by Walter J Miller, Jr. (1952)

https://lauriepenny.substack.com/p/the-big-hunger
2•shervinafshar•25m ago•0 comments

The Genus Amanita

https://www.mushroomexpert.com/amanita.html
1•rolph•30m ago•0 comments

We have broken SHA-1 in practice

https://shattered.io/
9•mooreds•31m ago•2 comments

Ask HN: Was my first management job bad, or is this what management is like?

1•Buttons840•32m ago•0 comments

Ask HN: How to Reduce Time Spent Crimping?

2•pinkmuffinere•33m ago•0 comments

KV Cache Transform Coding for Compact Storage in LLM Inference

https://arxiv.org/abs/2511.01815
1•walterbell•38m ago•0 comments

A quantitative, multimodal wearable bioelectronic device for stress assessment

https://www.nature.com/articles/s41467-025-67747-9
1•PaulHoule•40m ago•0 comments

Why Big Tech Is Throwing Cash into India in Quest for AI Supremacy

https://www.wsj.com/world/india/why-big-tech-is-throwing-cash-into-india-in-quest-for-ai-supremac...
1•saikatsg•40m ago•0 comments

How to shoot yourself in the foot – 2026 edition

https://github.com/aweussom/HowToShootYourselfInTheFoot
1•aweussom•40m ago•0 comments

Eight More Months of Agents

https://crawshaw.io/blog/eight-more-months-of-agents
4•archb•42m ago•0 comments

From Human Thought to Machine Coordination

https://www.psychologytoday.com/us/blog/the-digital-self/202602/from-human-thought-to-machine-coo...
1•walterbell•43m ago•0 comments

The new X API pricing must be a joke

https://developer.x.com/
1•danver0•44m ago•0 comments

Show HN: RMA Dashboard fast SAST results for monorepos (SARIF and triage)

https://rma-dashboard.bukhari-kibuka7.workers.dev/
1•bumahkib7•44m ago•0 comments

Show HN: Source code graphRAG for Java/Kotlin development based on jQAssistant

https://github.com/2015xli/jqassistant-graph-rag
1•artigent•49m ago•0 comments

Python Only Has One Real Competitor

https://mccue.dev/pages/2-6-26-python-competitor
4•dragandj•50m ago•0 comments

Tmux to Zellij (and Back)

https://www.mauriciopoppe.com/notes/tmux-to-zellij/
1•maurizzzio•51m ago•1 comments

Ask HN: How are you using specialized agents to accelerate your work?

1•otterley•52m ago•0 comments

Passing user_id through 6 services? OTel Baggage fixes this

https://signoz.io/blog/otel-baggage/
1•pranay01•53m ago•0 comments

DavMail Pop/IMAP/SMTP/Caldav/Carddav/LDAP Exchange Gateway

https://davmail.sourceforge.net/
1•todsacerdoti•54m ago•0 comments

Visual data modelling in the browser (open source)

https://github.com/sqlmodel/sqlmodel
1•Sean766•56m ago•0 comments
Open in hackernews

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

2•tlho•1mo 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