frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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

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

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

https://hibanaworks.dev/
1•o8vm•10m ago•0 comments

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

https://www.haniri.com
1•donangrey•11m 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•24m ago•0 comments

Atlas: Manage your database schema as code

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

Geist Pixel

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

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

https://github.com/MShekow/package-version-check-mcp
1•mshekow•37m 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•39m ago•0 comments

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

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

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

https://mealjar.app
1•melvinzammit•41m ago•0 comments

Sony BMG copy protection rootkit scandal

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

The Future of Systems

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

NASA now allowing astronauts to bring their smartphones on space missions

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

Claude Code Is the Inflection Point

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

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

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

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

https://github.com/AleatorAI/OMNI-BLAS
1•LowSpecEng•51m 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•53m ago•0 comments

AI Agent Automates Google Stock Analysis from Financial Reports

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

Voxtral Realtime 4B Pure C Implementation

https://github.com/antirez/voxtral.c
2•andreabat•59m ago•1 comments

I Was Trapped in Chinese Mafia Crypto Slavery [video]

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

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

https://www.cbp.gov/newsroom/stats/reported-employee-arrests
1•ludicrousdispla•1h 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•1h ago•1 comments

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

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

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

https://www.youtube.com/watch?v=b9EbCb5A408
2•lifeisstillgood•1h 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•1h ago•0 comments

When Albert Einstein Moved to Princeton

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

Agents.md as a Dark Signal

https://joshmock.com/post/2026-agents-md-as-a-dark-signal/
2•birdculture•1h ago•1 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•1h ago•0 comments

McCLIM and 7GUIs – Part 1: The Counter

https://turtleware.eu/posts/McCLIM-and-7GUIs---Part-1-The-Counter.html
2•ramenbytes•1h 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•1h ago•0 comments
Open in hackernews

Show HN: Aspera – Hybrid symbolic-LLM agents for production

1•christianrth•3mo ago
Hi HN,

I built ASPERA after deploying an LLM-based fraud detection system that was too slow and expensive for production use. The core insight: you don't need LLMs for 95% of cases if you have deterministic business logic.

The architecture combines symbolic reasoning (rule-based, instant, free) with LLM inference (only for novel/uncertain situations). A confidence threshold determines which path to take.

Technical approach: - Custom DSL for defining concepts, inferences, and intentions - Symbolic reasoner evaluates deterministic rules (O(n), ~40-50ms) - LLM adapter handles edge cases via Groq/OpenAI/Anthropic - Three-tier memory system (episodic, semantic, working) - Full decision trace for explainability (critical for regulatory compliance)

Production deployment results (60 days, 500K user fintech, 3M transactions): - Latency: 45ms avg (vs 1.2s with pure LLM approach) - Cost: €0 for 95% of decisions (vs €0.003/req) - Accuracy: 94.2% (vs 78% baseline) - False positives: 5% (vs 15%) - Fraud prevented: €1.2M

Benchmarks vs LangChain on classification tasks: - 28× faster (42ms vs 1,200ms) - 100% cost reduction - Full explainability vs black box

I'm publishing the full paper on Zenodo with methodology, raw data, and statistical analysis (p < 0.001, Cohen's d = 2.4).

The interesting trade-off: you sacrifice some adaptability for massive gains in speed, cost, and explainability. For production systems with known business rules, this is the right trade.

Open questions I'm wrestling with: 1. Optimal symbolic/LLM ratio - does 95/5 generalize or is it domain-specific? 2. How to auto-learn symbolic rules from LLM interactions over time? 3. Offline LLM fallback for cases where internet isn't available?

Code/paper: [if public, otherwise say "available upon request for validation"]

Happy to answer technical questions or discuss hybrid architectures.

Comments

christianrth•3mo ago
Author here. Some additional technical details:

*Why symbolic reasoning?*

Most production AI doesn't need the full flexibility of LLMs. Fraud detection, compliance checking, rule validation - these have well-defined logic. Using an LLM for "if amount > €5000 AND velocity > 0.8 then flag" is overkill.

*The DSL:* ```aspera concept fraud_risk { signals: ["amount", "velocity", "location"]; weight: 1.0; }

inference detect_high_velocity { when (signals.velocity > 0.8 AND signals.amount > 5000) { then increase concept: "fraud_risk" by 1.0; } }

intention block_transaction { trigger: "fraud_detected"; strategy: [ if (concepts.fraud_risk > 0.7) then "block"; if (concepts.fraud_risk > 0.4) then "review"; else "approve"; ]; }

ImPrajyoth•3mo ago
>> Code/paper: [if public, otherwise say "available upon request for validation"]

Atleast proof read before pasting