frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: Env-shelf – Open-source desktop app to manage .env files

https://env-shelf.vercel.app/
1•ivanglpz•33s ago•0 comments

Show HN: Almostnode – Run Node.js, Next.js, and Express in the Browser

https://almostnode.dev/
1•PetrBrzyBrzek•41s ago•0 comments

Dell support (and hardware) is so bad, I almost sued them

https://blog.joshattic.us/posts/2026-02-07-dell-support-lawsuit
1•radeeyate•1m ago•0 comments

Project Pterodactyl: Incremental Architecture

https://www.jonmsterling.com/01K7/
1•matt_d•1m ago•0 comments

Styling: Search-Text and Other Highlight-Y Pseudo-Elements

https://css-tricks.com/how-to-style-the-new-search-text-and-other-highlight-pseudo-elements/
1•blenderob•3m ago•0 comments

Crypto firm accidentally sends $40B in Bitcoin to users

https://finance.yahoo.com/news/crypto-firm-accidentally-sends-40-055054321.html
1•CommonGuy•4m ago•0 comments

Magnetic fields can change carbon diffusion in steel

https://www.sciencedaily.com/releases/2026/01/260125083427.htm
1•fanf2•4m ago•0 comments

Fantasy football that celebrates great games

https://www.silvestar.codes/articles/ultigamemate/
1•blenderob•4m ago•0 comments

Show HN: Animalese

https://animalese.barcoloudly.com/
1•noreplica•5m ago•0 comments

StrongDM's AI team build serious software without even looking at the code

https://simonwillison.net/2026/Feb/7/software-factory/
1•simonw•5m ago•0 comments

John Haugeland on the failure of micro-worlds

https://blog.plover.com/tech/gpt/micro-worlds.html
1•blenderob•6m ago•0 comments

Show HN: Velocity - Free/Cheaper Linear Clone but with MCP for agents

https://velocity.quest
2•kevinelliott•6m ago•1 comments

Corning Invented a New Fiber-Optic Cable for AI and Landed a $6B Meta Deal [video]

https://www.youtube.com/watch?v=Y3KLbc5DlRs
1•ksec•8m ago•0 comments

Show HN: XAPIs.dev – Twitter API Alternative at 90% Lower Cost

https://xapis.dev
1•nmfccodes•8m ago•0 comments

Near-Instantly Aborting the Worst Pain Imaginable with Psychedelics

https://psychotechnology.substack.com/p/near-instantly-aborting-the-worst
1•eatitraw•14m ago•0 comments

Show HN: Nginx-defender – realtime abuse blocking for Nginx

https://github.com/Anipaleja/nginx-defender
2•anipaleja•15m ago•0 comments

The Super Sharp Blade

https://netzhansa.com/the-super-sharp-blade/
1•robin_reala•16m ago•0 comments

Smart Homes Are Terrible

https://www.theatlantic.com/ideas/2026/02/smart-homes-technology/685867/
1•tusslewake•18m ago•0 comments

What I haven't figured out

https://macwright.com/2026/01/29/what-i-havent-figured-out
1•stevekrouse•18m ago•0 comments

KPMG pressed its auditor to pass on AI cost savings

https://www.irishtimes.com/business/2026/02/06/kpmg-pressed-its-auditor-to-pass-on-ai-cost-savings/
1•cainxinth•19m ago•0 comments

Open-source Claude skill that optimizes Hinge profiles. Pretty well.

https://twitter.com/b1rdmania/status/2020155122181869666
3•birdmania•19m ago•1 comments

First Proof

https://arxiv.org/abs/2602.05192
4•samasblack•21m ago•1 comments

I squeezed a BERT sentiment analyzer into 1GB RAM on a $5 VPS

https://mohammedeabdelaziz.github.io/articles/trendscope-market-scanner
1•mohammede•22m ago•0 comments

Kagi Translate

https://translate.kagi.com
2•microflash•23m ago•0 comments

Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]

https://fosdem.org/2026/schedule/event/QX3RPH-building_interactive_cc_workflows_in_jupyter_throug...
1•stabbles•24m ago•0 comments

Tactical tornado is the new default

https://olano.dev/blog/tactical-tornado/
2•facundo_olano•26m ago•0 comments

Full-Circle Test-Driven Firmware Development with OpenClaw

https://blog.adafruit.com/2026/02/07/full-circle-test-driven-firmware-development-with-openclaw/
1•ptorrone•26m ago•0 comments

Automating Myself Out of My Job – Part 2

https://blog.dsa.club/automation-series/automating-myself-out-of-my-job-part-2/
1•funnyfoobar•26m ago•1 comments

Dependency Resolution Methods

https://nesbitt.io/2026/02/06/dependency-resolution-methods.html
1•zdw•27m ago•0 comments

Crypto firm apologises for sending Bitcoin users $40B by mistake

https://www.msn.com/en-ie/money/other/crypto-firm-apologises-for-sending-bitcoin-users-40-billion...
1•Someone•27m ago•0 comments
Open in hackernews

Symbolic reasoning system with local inference and full auditability

https://signal-zero.ai/examples.html
1•klietus•1mo ago

Comments

klietus•1mo ago
I built a symbolic AI system that synthesizes complex decisions using 1000+ compressed symbols, local inference, and complete traceability.

Demo: https://signal-zero.ai/demo.html

## The Problem

Most AI either: - Hallucinates confidently (no grounding) - Requires cloud APIs (privacy/cost issues) - Lacks auditability (black box reasoning) - Struggles with multi-domain synthesis

I wanted something that could handle real complexity while being verifiable, private, and economical.

## The Approach

*Symbolic compression via semiotic triads:* - Each symbol = concept + semiotic triad - Example: POWER-DRIFT-TACTIC → - 1000+ symbols across domains in ~7k token overhead - Hierarchical references enable deep retrieval without context explosion

*Uncertainty detection + web grounding:* - System recognizes knowledge gaps - Triggers web search for validation - Integrates results before responding - No hallucination on factual claims

*Local inference:* - Runs on M4 Max (gpt-oss-120B quantized) - ~30 second responses - Zero API costs after hardware - Complete data privacy

*Full symbolic traceability:* - Every claim linked to source symbol - Complete reasoning chain logged - Audit trail for regulatory compliance - 29 domains modeled

## Example Output

https://signal-zero.ai/examples.html

## Technical Stack

- Base: gpt-oss-120B (local quantized inference) - Symbols: 1000+ hand-curated across 7+ domains - Compression: Semiotic triads + hierarchical references - Tools: Ephemeral execution with validation retries - Context: ~15k tokens average (including output) - Grounding: Web search on uncertainty detection

## Why Symbolic?

Vector embeddings are great for retrieval but terrible for reasoning chains. Symbols provide:

1. *Composability* - combine across domains coherently 2. *Traceability* - explicit reasoning paths 3. *Efficiency* - massive compression via references 4. *Verifiability* - audit every claim to source

The emoji triads act as semantic anchors that survive context compression while remaining human-readable.

## Use Cases Tested

- OSINT / disinformation analysis - Bioethics committee decisions - Pharmaceutical regulatory pathways - Environmental impact assessment - Academic research synthesis - Medical triage (flags mental health concerns appropriately)

All demos live on site with full outputs.

## Current Status

Still figuring out productization. Core question: is the auditability + local inference + multi-domain synthesis combination valuable enough to matter for production use cases?

Open to feedback on: 1. Architecture improvements 2. Symbol library design 3. Real-world applications 4. Technical tradeoffs

Happy to run test analyses for anyone curious. Looking for validation that this approach has legs beyond being technically interesting.

---

Tech details for the architecture-curious:

*Symbol structure:*

{ id: "POWER-DRIFT-TACTIC", triad: "", domain: "negotiation", definition: "Gradual shift of authority...", related: ["NAR-LOOP", "SOFT-GRIND-COLLAPSE"] }

*Context management:* - Load symbol stubs (50 tokens each) into context - Full definitions retrieved only when activated - Ephemeral tool execution keeps working memory clean - Triads enable rapid pattern matching with ultra small compression of concepts.

*Validation loop:* Tool call → Parse → Validate → Retry if malformed (max 3×) Achieves 99%+ compliance vs ~60% without validation

*Web grounding trigger:* If (uncertainty_detected && factual_claim_present): web_search(targeted_query) integrate_results() cite_sources()

The system knows what it doesn't know.

---

Built this because I was frustrated with AI that couldn't show its work. Turns out symbolic reasoning + modern LLMs + proper engineering = actually useful for complex decisions.

Thoughts?