frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: Medinilla – an OCPP compliant .NET back end (partially done)

https://github.com/eliodecolli/Medinilla
1•rhcm•1m ago•0 comments

How Does AI Distribute the Pie? Large Language Models and the Ultimatum Game

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6157066
1•dkga•2m ago•1 comments

Resistance Infrastructure

https://www.profgalloway.com/resistance-infrastructure/
2•samizdis•6m ago•0 comments

Fire-juggling unicyclist caught performing on crossing

https://news.sky.com/story/fire-juggling-unicyclist-caught-performing-on-crossing-13504459
1•austinallegro•7m ago•0 comments

Restoring a lost 1981 Unix roguelike (protoHack) and preserving Hack 1.0.3

https://github.com/Critlist/protoHack
2•Critlist•8m ago•0 comments

GPS and Time Dilation – Special and General Relativity

https://philosophersview.com/gps-and-time-dilation/
1•mistyvales•12m ago•0 comments

Show HN: Witnessd – Prove human authorship via hardware-bound jitter seals

https://github.com/writerslogic/witnessd
1•davidcondrey•12m ago•1 comments

Show HN: I built a clawdbot that texts like your crush

https://14.israelfirew.co
2•IsruAlpha•14m ago•1 comments

Scientists reverse Alzheimer's in mice and restore memory (2025)

https://www.sciencedaily.com/releases/2025/12/251224032354.htm
1•walterbell•17m ago•0 comments

Compiling Prolog to Forth [pdf]

https://vfxforth.com/flag/jfar/vol4/no4/article4.pdf
1•todsacerdoti•18m ago•0 comments

Show HN: Cymatica – an experimental, meditative audiovisual app

https://apps.apple.com/us/app/cymatica-sounds-visualizer/id6748863721
1•_august•19m ago•0 comments

GitBlack: Tracing America's Foundation

https://gitblack.vercel.app/
2•martialg•19m ago•0 comments

Horizon-LM: A RAM-Centric Architecture for LLM Training

https://arxiv.org/abs/2602.04816
1•chrsw•20m ago•0 comments

We just ordered shawarma and fries from Cursor [video]

https://www.youtube.com/shorts/WALQOiugbWc
1•jeffreyjin•21m ago•1 comments

Correctio

https://rhetoric.byu.edu/Figures/C/correctio.htm
1•grantpitt•21m ago•0 comments

Trying to make an Automated Ecologist: A first pass through the Biotime dataset

https://chillphysicsenjoyer.substack.com/p/trying-to-make-an-automated-ecologist
1•crescit_eundo•25m ago•0 comments

Watch Ukraine's Minigun-Firing, Drone-Hunting Turboprop in Action

https://www.twz.com/air/watch-ukraines-minigun-firing-drone-hunting-turboprop-in-action
1•breve•26m ago•0 comments

Free Trial: AI Interviewer

https://ai-interviewer.nuvoice.ai/
1•sijain2•26m ago•0 comments

FDA intends to take action against non-FDA-approved GLP-1 drugs

https://www.fda.gov/news-events/press-announcements/fda-intends-take-action-against-non-fda-appro...
21•randycupertino•27m ago•10 comments

Supernote e-ink devices for writing like paper

https://supernote.eu/choose-your-product/
3•janandonly•30m ago•0 comments

We are QA Engineers now

https://serce.me/posts/2026-02-05-we-are-qa-engineers-now
1•SerCe•30m ago•0 comments

Show HN: Measuring how AI agent teams improve issue resolution on SWE-Verified

https://arxiv.org/abs/2602.01465
2•NBenkovich•30m ago•0 comments

Adversarial Reasoning: Multiagent World Models for Closing the Simulation Gap

https://www.latent.space/p/adversarial-reasoning
1•swyx•31m ago•0 comments

Show HN: Poddley.com – Follow people, not podcasts

https://poddley.com/guests/ana-kasparian/episodes
1•onesandofgrain•39m ago•0 comments

Layoffs Surge 118% in January – The Highest Since 2009

https://www.cnbc.com/2026/02/05/layoff-and-hiring-announcements-hit-their-worst-january-levels-si...
13•karakoram•39m ago•0 comments

Papyrus 114: Homer's Iliad

https://p114.homemade.systems/
1•mwenge•39m ago•1 comments

DicePit – Real-time multiplayer Knucklebones in the browser

https://dicepit.pages.dev/
1•r1z4•39m ago•1 comments

Turn-Based Structural Triggers: Prompt-Free Backdoors in Multi-Turn LLMs

https://arxiv.org/abs/2601.14340
2•PaulHoule•41m ago•0 comments

Show HN: AI Agent Tool That Keeps You in the Loop

https://github.com/dshearer/misatay
2•dshearer•42m ago•0 comments

Why Every R Package Wrapping External Tools Needs a Sitrep() Function

https://drmowinckels.io/blog/2026/sitrep-functions/
1•todsacerdoti•42m 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