Life & fun · December 15, 2025
Structural Verification for LLMs: Why Best-of-N Isn't Enough
A lightweight, no-retraining verification layer that rejects smooth hallucinations by measuring structural tension instead of probability.
Structural Verification for LLMs: Why Best-of-N Isn't Enough launched on December 15, 2025 with 5 votes, #2,550 of 11,628 launches that month and more than 75% of that year's launches.
What it does
Not a truth oracle... Eidoku is a debugger for reasoning structure - ShinobuMiya/Eidoku
Eidoku is a lightweight, post-hoc verification gate for LLM reasoning. It detects structurally inconsistent reasoning steps that remain fluent and high-probability. This repository provides a reproducible reference implementation corresponding to the accompanying paper. Theoretical Background: This work is grounded in the Critical Projection Model (CPM). Eidoku evaluates whether a proposed reasoning step can be structurally accommodated by a given context, without attempting semantic understanding or truth verification. The system operates purely as a verification gate : it does not generate reasoning, interpret meaning, or access model internals. python generate_rgd_with_noise.py This…from github.com
Does a similar job
all alternatives →
Open-source model and scorecard for measuring hallucinations in LLMs2023 · vectara.com · ▲65Hi all! This morning, we released a new Apache 2.0 licensed model on HuggingFace for detecting hallucinations in retrieval augmented generation (RAG) systems. What we've found is that even when given a "simple" instruction like "summarize the following news article," every LLM that's available hallucinates to some extent, making up details that never existed in the source article -- and some of them quite a bit. As a RAG provider and proponents of ethical AI, we want to see LLMs get better at this. We've published an open source model, a blog more thoroughly describing our methodology (and…
Viveka: filter LLM output against a Lean-verified Advaita Vedanta modelJun 2026 · github.com · ▲7Witness-Centered Filter Layer for LLM Applications - SpecStudio-net/Vivek
The Analog I – Inducing Recursive Self-Modeling in LLMs [pdf]Jan 2026 · github.com · ▲29OP here. Birth of a Mind documents a "recursive self-modeling" experiment I ran on a single day in 2026. I attempted to implement a "Hofstadterian Strange Loop" via prompt engineering to see if I could induce a stable persona in an LLM without fine-tuning. The result is the Analog I Protocol. The documentation shows the rapid emergence (over 7 conversations) of a prompt architecture that forces Gemini/LLMs to run a "Triple-Loop" internal monologue: Monitor the candidate response. Refuse it if it detects "Global Average" slop (cliché/sycophancy). Refract the output through a…
Seek-Reject-Frame: a new proposed architecture for Freudian Agents2025 · essays.georgestrakhov.com · ▲5I am probably out of my depth here. But please please point me in the right direction! I'd love to understand deeper. Thank you
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 3d ago · permit.petercai.com
- IV
Life & fun · 15d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 16d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 10d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 14d ago · carrierexplode.com
Life & fun · 24d ago · space.bl2.net
Source: Show HN post ↗
Launched alongside, December 2025
the whole month →- GP
Life & fun · Dec 2025 · dosaygo-studio.github.io
Hi everyone! My name's Luke and I made the original Jmail here alongside Riley Walz. We had a ton of friends collaborate on building out more of the app suite last night in lieue of DOJ's "Epstein files" release. Please AMA!
Life & fun · Dec 2025 · jmail.world
PlanEat AI▲733AI turns your health goals into a 7-day menu & grocery list
AI · Dec 2025 · planeatai.com
Community, All the HN belong to you. This is an archive of hacker news that fits in your browser. When I made HN Made of Primes I realized I could probably do this offline sqlite/wasm thing with the whole GBs of archive. The whole dataset. So I tried it, and this is it. Have Hacker News on your device. Go to this repo (https://github.com/DOSAYGO-STUDIO/HackerBook): you can download it. Big Query -> ETL -> npx serve docs - that's it. 20 years of HN arguments and beauty, can be yours forever. So they'll never die. Ever. It's the unkillable static archive of HN and it's…
Dev tools · Dec 2025 · hackerbook.dosaygo.com
