frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Go 1.22, SQLite, and Next.js: The "Boring" Back End

https://mohammedeabdelaziz.github.io/articles/go-next-pt-2
1•mohammede•3m ago•0 comments

Laibach the Whistleblowers [video]

https://www.youtube.com/watch?v=c6Mx2mxpaCY
1•KnuthIsGod•5m ago•1 comments

I replaced the front page with AI slop and honestly it's an improvement

https://slop-news.pages.dev/slop-news
1•keepamovin•9m ago•1 comments

Economists vs. Technologists on AI

https://ideasindevelopment.substack.com/p/economists-vs-technologists-on-ai
1•econlmics•11m ago•0 comments

Life at the Edge

https://asadk.com/p/edge
1•tosh•17m ago•0 comments

RISC-V Vector Primer

https://github.com/simplex-micro/riscv-vector-primer/blob/main/index.md
2•oxxoxoxooo•21m ago•1 comments

Show HN: Invoxo – Invoicing with automatic EU VAT for cross-border services

2•InvoxoEU•21m ago•0 comments

A Tale of Two Standards, POSIX and Win32 (2005)

https://www.samba.org/samba/news/articles/low_point/tale_two_stds_os2.html
2•goranmoomin•25m ago•0 comments

Ask HN: Is the Downfall of SaaS Started?

3•throwaw12•26m ago•0 comments

Flirt: The Native Backend

https://blog.buenzli.dev/flirt-native-backend/
2•senekor•28m ago•0 comments

OpenAI's Latest Platform Targets Enterprise Customers

https://aibusiness.com/agentic-ai/openai-s-latest-platform-targets-enterprise-customers
1•myk-e•30m ago•0 comments

Goldman Sachs taps Anthropic's Claude to automate accounting, compliance roles

https://www.cnbc.com/2026/02/06/anthropic-goldman-sachs-ai-model-accounting.html
2•myk-e•33m ago•4 comments

Ai.com bought by Crypto.com founder for $70M in biggest-ever website name deal

https://www.ft.com/content/83488628-8dfd-4060-a7b0-71b1bb012785
1•1vuio0pswjnm7•34m ago•1 comments

Big Tech's AI Push Is Costing More Than the Moon Landing

https://www.wsj.com/tech/ai/ai-spending-tech-companies-compared-02b90046
4•1vuio0pswjnm7•36m ago•0 comments

The AI boom is causing shortages everywhere else

https://www.washingtonpost.com/technology/2026/02/07/ai-spending-economy-shortages/
2•1vuio0pswjnm7•37m ago•0 comments

Suno, AI Music, and the Bad Future [video]

https://www.youtube.com/watch?v=U8dcFhF0Dlk
1•askl•39m ago•2 comments

Ask HN: How are researchers using AlphaFold in 2026?

1•jocho12•42m ago•0 comments

Running the "Reflections on Trusting Trust" Compiler

https://spawn-queue.acm.org/doi/10.1145/3786614
1•devooops•47m ago•0 comments

Watermark API – $0.01/image, 10x cheaper than Cloudinary

https://api-production-caa8.up.railway.app/docs
1•lembergs•49m ago•1 comments

Now send your marketing campaigns directly from ChatGPT

https://www.mail-o-mail.com/
1•avallark•52m ago•1 comments

Queueing Theory v2: DORA metrics, queue-of-queues, chi-alpha-beta-sigma notation

https://github.com/joelparkerhenderson/queueing-theory
1•jph•1h ago•0 comments

Show HN: Hibana – choreography-first protocol safety for Rust

https://hibanaworks.dev/
5•o8vm•1h ago•1 comments

Haniri: A live autonomous world where AI agents survive or collapse

https://www.haniri.com
1•donangrey•1h ago•1 comments

GPT-5.3-Codex System Card [pdf]

https://cdn.openai.com/pdf/23eca107-a9b1-4d2c-b156-7deb4fbc697c/GPT-5-3-Codex-System-Card-02.pdf
1•tosh•1h ago•0 comments

Atlas: Manage your database schema as code

https://github.com/ariga/atlas
1•quectophoton•1h ago•0 comments

Geist Pixel

https://vercel.com/blog/introducing-geist-pixel
2•helloplanets•1h ago•0 comments

Show HN: MCP to get latest dependency package and tool versions

https://github.com/MShekow/package-version-check-mcp
1•mshekow•1h ago•0 comments

The better you get at something, the harder it becomes to do

https://seekingtrust.substack.com/p/improving-at-writing-made-me-almost
2•FinnLobsien•1h ago•0 comments

Show HN: WP Float – Archive WordPress blogs to free static hosting

https://wpfloat.netlify.app/
1•zizoulegrande•1h ago•0 comments

Show HN: I Hacked My Family's Meal Planning with an App

https://mealjar.app
1•melvinzammit•1h 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