frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Sony BMG copy protection rootkit scandal

https://en.wikipedia.org/wiki/Sony_BMG_copy_protection_rootkit_scandal
1•basilikum•2m ago•0 comments

The Future of Systems

https://novlabs.ai/mission/
2•tekbog•2m ago•1 comments

NASA now allowing astronauts to bring their smartphones on space missions

https://twitter.com/NASAAdmin/status/2019259382962307393
2•gbugniot•7m ago•0 comments

Claude Code Is the Inflection Point

https://newsletter.semianalysis.com/p/claude-code-is-the-inflection-point
2•throwaw12•9m ago•1 comments

Show HN: MicroClaw – Agentic AI Assistant for Telegram, Built in Rust

https://github.com/microclaw/microclaw
1•everettjf•9m ago•2 comments

Show HN: Omni-BLAS – 4x faster matrix multiplication via Monte Carlo sampling

https://github.com/AleatorAI/OMNI-BLAS
1•LowSpecEng•9m ago•1 comments

The AI-Ready Software Developer: Conclusion – Same Game, Different Dice

https://codemanship.wordpress.com/2026/01/05/the-ai-ready-software-developer-conclusion-same-game...
1•lifeisstillgood•12m ago•0 comments

AI Agent Automates Google Stock Analysis from Financial Reports

https://pardusai.org/view/54c6646b9e273bbe103b76256a91a7f30da624062a8a6eeb16febfe403efd078
1•JasonHEIN•15m ago•0 comments

Voxtral Realtime 4B Pure C Implementation

https://github.com/antirez/voxtral.c
1•andreabat•17m ago•0 comments

I Was Trapped in Chinese Mafia Crypto Slavery [video]

https://www.youtube.com/watch?v=zOcNaWmmn0A
1•mgh2•23m ago•0 comments

U.S. CBP Reported Employee Arrests (FY2020 – FYTD)

https://www.cbp.gov/newsroom/stats/reported-employee-arrests
1•ludicrousdispla•25m ago•0 comments

Show HN: I built a free UCP checker – see if AI agents can find your store

https://ucphub.ai/ucp-store-check/
2•vladeta•30m ago•1 comments

Show HN: SVGV – A Real-Time Vector Video Format for Budget Hardware

https://github.com/thealidev/VectorVision-SVGV
1•thealidev•32m ago•0 comments

Study of 150 developers shows AI generated code no harder to maintain long term

https://www.youtube.com/watch?v=b9EbCb5A408
1•lifeisstillgood•32m ago•0 comments

Spotify now requires premium accounts for developer mode API access

https://www.neowin.net/news/spotify-now-requires-premium-accounts-for-developer-mode-api-access/
1•bundie•35m ago•0 comments

When Albert Einstein Moved to Princeton

https://twitter.com/Math_files/status/2020017485815456224
1•keepamovin•36m ago•0 comments

Agents.md as a Dark Signal

https://joshmock.com/post/2026-agents-md-as-a-dark-signal/
2•birdculture•38m ago•0 comments

System time, clocks, and their syncing in macOS

https://eclecticlight.co/2025/05/21/system-time-clocks-and-their-syncing-in-macos/
1•fanf2•40m ago•0 comments

McCLIM and 7GUIs – Part 1: The Counter

https://turtleware.eu/posts/McCLIM-and-7GUIs---Part-1-The-Counter.html
2•ramenbytes•42m ago•0 comments

So whats the next word, then? Almost-no-math intro to transformer models

https://matthias-kainer.de/blog/posts/so-whats-the-next-word-then-/
1•oesimania•44m ago•0 comments

Ed Zitron: The Hater's Guide to Microsoft

https://bsky.app/profile/edzitron.com/post/3me7ibeym2c2n
2•vintagedave•47m ago•1 comments

UK infants ill after drinking contaminated baby formula of Nestle and Danone

https://www.bbc.com/news/articles/c931rxnwn3lo
1•__natty__•47m ago•0 comments

Show HN: Android-based audio player for seniors – Homer Audio Player

https://homeraudioplayer.app
3•cinusek•48m ago•2 comments

Starter Template for Ory Kratos

https://github.com/Samuelk0nrad/docker-ory
1•samuel_0xK•49m ago•0 comments

LLMs are powerful, but enterprises are deterministic by nature

2•prateekdalal•53m ago•0 comments

Make your iPad 3 a touchscreen for your computer

https://github.com/lemonjesus/ipad-touch-screen
2•0y•58m ago•1 comments

Internationalization and Localization in the Age of Agents

https://myblog.ru/internationalization-and-localization-in-the-age-of-agents
1•xenator•58m ago•0 comments

Building a Custom Clawdbot Workflow to Automate Website Creation

https://seedance2api.org/
1•pekingzcc•1h ago•1 comments

Why the "Taiwan Dome" won't survive a Chinese attack

https://www.lowyinstitute.org/the-interpreter/why-taiwan-dome-won-t-survive-chinese-attack
2•ryan_j_naughton•1h ago•0 comments

Xkcd: Game AIs

https://xkcd.com/1002/
2•ravenical•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