frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

SPL – AI patterns with verifiable truth scores

https://github.com/spliq/spl
3•cmgver•10h ago

Comments

cmgver•10h ago
Hi HN! I've been working on a quantum AGI language where every output comes with a verifiable truth score. It's called SPL (Semantic Pattern Language).

GitHub: https://github.com/spliq/spl Youtube: https://youtu.be/Jd1IMC2Z4vY

The Problem

Current AI hallucinates. Fine for chat, dealbreaker for medical AI, legal automation, autonomous systems—anything where errors mean liability.

What SPL Does

Every pattern execution returns:

output: result: [your output] truth_score: 0.94 # Verifiable confidence method: "validator+agent" evidence: [...]

Instead of black-box prompts, you compose typed, versioned patterns with contracts. Each pattern has guarantees that compose all the way up.

Architecture

20 foundational patterns across 6 layers that compose into millions through exponential growth: - L0: Meta-Pattern (rules all patterns follow) - L1: 13 Critical Patterns (validator, agent, translator...) - L1C: 6 Cognitive Patterns (values, knowledge, ethics...) - L2+: Reality × Technology × Products

Key Differentiation

vs. LangChain/AutoGPT: They orchestrate. SPL adds verification + truth scoring + formal contracts.

vs. Prompt Engineering: Prompts = untyped text. SPL = versioned, typed, composable, with dependency graphs.

The insight: Separate what (pattern contracts) from how (LLM implementation). The LLM proposes; validators verify.

Cognitive Patterns (AGI Part)

6 patterns forming minimal viable AGI: 1. Value System - priorities/tradeoffs 2. Knowledge Representation - organizing info 3. Experience Acquisition - learning 4. Motivation - goal formation 5. Expectation - predictions 6. Ethical Reasoning - moral decisions

Connect them in a loop → general intelligence.

Why Open Source?

Apache 2.0 because: - Network effects (value grows with pattern library) - Prior art defense (timestamp against patents) - Community validation (prove/break this) - Transparency (verifiable AI needs verifiable foundations)

2+ years building. Spec stable (v2.3). 20 foundational + 200+ patterns in development.

What's In The Repo

Meta-pattern v2.3 13 critical + 6 cognitive patterns Full specs with contracts Extensive docs Python tooling (Q4 2025) Test suite (Q1 2026)

Use Cases

- Factory robots explaining why they stopped - Autonomous vehicles with verifiable decisions - Hospital diagnostics with evidence trails - Legal discovery with auditable reasoning - AI therapists that escalate when confidence drops

Hard Questions

"Isn't this over-engineered?" Works at every level—chatbots to surgery robots. Our platform spliq.ai will make it free.

"How enforce truth scores?" Patterns declare verification methods. Audit the chain. Community scores trust.

"Can't LLMs lie?" Yes. Critical patterns use external validators (code execution, APIs, theorem provers). LLM suggests; validator verifies.

What We Need

- Domain experts (medical, legal, finance, robotics) - Skeptics (break it now, not in production) - Builders (tools, validators, visualizers) - Early adopters (try it, report back)

---

Here all day for questions. Hit me with skepticism—I'd rather fix problems now.

~ ptah (Carlos Garcia - Spliq team)

Old Masking Tape Tearing

1•JDKZ•3m ago•0 comments

Germany destroys two nuclear plant cooling towers as part of phaseout plan

https://www.euronews.com/2025/10/25/germany-destroys-two-nuclear-plant-cooling-towers-as-part-of-...
1•wslh•4m ago•0 comments

Snap program: Hunger in the land of milk and honey

https://www.indybay.org/newsitems/2025/10/25/18880966.php
1•geox•7m ago•0 comments

Community Analysis of Social Virtual Reality on a Commercial Metaverse Platform

https://arxiv.org/abs/2509.23654
1•PaulHoule•10m ago•0 comments

The time I bought a Freenode IRC server (2023)

https://alyx.sh/posts/artifact-zelazny/
2•thomasjb•12m ago•0 comments

Cursor to Codex CLI: Migrating Rules to Agents.md

https://www.adithyan.io/blog/migrating-cursor-rules-to-agents
1•adithyan_win•16m ago•1 comments

Show HN: Stylish Customizable Aluminum Enclosure for Nvidia Jetson Nano

https://www.getubo.com/post/stylish-customizable-aluminum-enclosure-for-nvidia-jetson-nano
1•mmajzoobi•23m ago•0 comments

The Linux Boot Process: From Power Button to Kernel

https://www.0xkato.xyz/linux-boot/
11•0xkato•26m ago•2 comments

Making an Advanced Fluid Simulation for My Game (video)

https://www.youtube.com/watch?v=sUdnJTC2w9I
1•viraptor•28m ago•0 comments

Building a BudgetBrailler

https://budgetbrailler.wordpress.com/2025/08/15/budgetbraillerblog-intro/
1•ohjeez•28m ago•0 comments

Baker – language-agnostic project scaffolder with hooks (Rust)

https://github.com/aliev/baker
1•aliev•41m ago•0 comments

Dylan (programming language)

https://en.wikipedia.org/wiki/Dylan_(programming_language)
2•mitchbob•43m ago•0 comments

NewPipe Is Turning 10

https://newpipe.net/blog/pinned/announcement/newpipe-turns-10/
5•birdculture•44m ago•1 comments

WorkOS

https://workos.com
1•Bogdanp•44m ago•0 comments

Did Cheating Accusations Have Anything to Do with Death of Daniel Naroditsky?

https://www.nytimes.com/2025/10/25/style/chess-cheating-death.html
6•georgecmu•46m ago•1 comments

Show HN: Lightweight Directory Bookmarks for the Terminal

https://github.com/tomertouitoumail-ops/cd-bookmark
1•twilto•47m ago•0 comments

D2: Diagram Scripting Language

https://d2lang.com/tour/intro/
3•benzguo•51m ago•0 comments

Writing reliable and maintainable metaprograms in pure C99

https://github.com/hirrolot/metalang99
3•beckford•1h ago•1 comments

We Put a Distributed Database in the Browser – and Made a Game of It

https://tigerbeetle.com/blog/2023-07-11-we-put-a-distributed-database-in-the-browser/
1•ibobev•1h ago•0 comments

Haiku 4.5 Playing Text Adventures

https://entropicthoughts.com/haiku-4-5-playing-text-adventures
1•ibobev•1h ago•0 comments

LibreWolf – Ratfactor

https://ratfactor.com/cards/librewolf
3•ibobev•1h ago•1 comments

Context Switches

https://matklad.github.io/2025/09/19/context-switches.html
1•SchwKatze•1h ago•0 comments

SymSpell C99: Building the Fastest Spell Checker in Pure C

https://suman-pokhrel.com.np/symspell-c99.html
1•ashvardanian•1h ago•0 comments

Matilda, Mars and Markup: The Curious Case of Mrs. Agnes Zevens

https://vinayprabhu.substack.com/p/matilda-mars-and-markup-the-curious
2•VinayUPrabhu•1h ago•0 comments

Nio shocks with fully active suspension – but how does it work?

https://www.autocar.co.uk/car-news/technology/nio-shocks-fully-active-suspension-how-does-it-work
5•breve•1h ago•0 comments

I translated my book for $7 using OpenAI

https://andrewpwheeler.com/2025/10/25/i-translated-my-book-for-7-using-openai/
2•apwheele•1h ago•0 comments

Windows Server 2016 in Termux

https://old.reddit.com/r/termux/comments/1of8zxc/windows_server_2016_in_termux/
1•sipofwater•1h ago•2 comments

Misinformation About the End of Life Is Harming Organ Donation

https://undark.org/2025/10/23/opinion-misinformation-organ-donation/
6•EA-3167•1h ago•0 comments

The roots of software development in the textile industry (2024)

https://asawicki.info/news_1776_what_does_software_have_to_do_with_the_linen_industry
2•Bogdanp•1h ago•1 comments

FAL Flashpack: High-throughput tensor loading for PyTorch

https://github.com/fal-ai/flashpack
1•dvrp•1h ago•0 comments