Hacker News

An Invitation to Neuroalgebraic Geometry

Hacker News - Sat, 05/24/2025 - 10:12am

Article URL: https://arxiv.org/abs/2501.18915

Comments URL: https://news.ycombinator.com/item?id=44081257

Points: 1

# Comments: 0

Categories: Hacker News

A free, open-source, local-first Markdown editor

Hacker News - Sat, 05/24/2025 - 10:08am

Article URL: https://noteworthy.ink/

Comments URL: https://news.ycombinator.com/item?id=44081232

Points: 1

# Comments: 0

Categories: Hacker News

LinkedIn interview scams

Hacker News - Sat, 05/24/2025 - 10:04am
Categories: Hacker News

SteamOS

Hacker News - Sat, 05/24/2025 - 10:03am
Categories: Hacker News

Maxup – A modular ecosystem for youth development using AI

Hacker News - Sat, 05/24/2025 - 9:56am

Hi HN

I’ve been developing MAXUP, a modular ecosystem designed to help young people (ages 14–25) grow through structured cycles of training, education, and technical work, all assisted by local AI and smart equipment.

The participants (MAX-MANs) are equipped with a wearable kit (suit + helmet) featuring sensors, EMS, and respiratory control, guided by a personal AI assistant (MAXUP-COACH). They operate in teams of 4 (MAXUP-GROUPs), balancing collaboration and healthy competition.

The goal is to provide an affordable, scalable and modular system that can be deployed in full-size centers, compact “MAX-ROOMs”, or via personal kits. I’ve also started prototyping an open-source version.

Live links:

Site: http://maxup.infinityfreeapp.com GitHub: https://github.com/flippe2/MAXUP Whitepaper: summary & full version available in the repo Would love your thoughts — especially around architecture, deployment strategies, or hardware simplification.

Comments URL: https://news.ycombinator.com/item?id=44081165

Points: 1

# Comments: 0

Categories: Hacker News

Show HN: KBAI – Build Hybrid AI with Deterministic Reasoning

Hacker News - Sat, 05/24/2025 - 9:54am

Hi HN, Wanted to share KBAI, a knowledge-based AI that combines deterministic reasoning with LLMs to deliver accurate, explainable, and fast AI outputs. KBAI solves AI accuracy and explainability by using formalized rules for decision-making and planning, making it ideal for applications that require multiple-step reasoning, like onboarding and support automation, legal contract analysis, and similar tasks.

The Backstory

KBAI was born out of our work on onboarding and support automation for Able CDP. We needed to create tailored setup guides for diverse customers, factoring in their business type, software stack, and setup progress. Initially, we tried using LLMs, but despite endless prompt refinement, they made unpredictable errors. It became clear that many decisions relied on implicit reasoning steps that humans naturally perform but LLMs struggled to replicate consistently. Maintaining complex prompts quickly became unsustainable.

We explored traditional non-ML solutions like Prolog and Z3, but their academic focus and complexity made them impractical for our needs. This led to the creation of KBAI - a practical, application-focused reasoning engine with an intuitive environment for managing rules without coding in obscure languages.

How It Works

KBAI converts natural language rules into a deterministic logical framework, eliminating ambiguities. Users can create, test, and refine rules through a user-friendly web interface, ensuring predictable outcomes without extensive testing. Simply show KBAI how to reason differently once, and it updates the rules from a single example.

While KBAI can function as a standalone reasoning engine—input facts, execute rules, and derive new facts—its primary strength is enhancing LLM capabilities through two integration methods:

KBAI-to-LLM: KBAI generates facts and detailed reasoning chains, which LLMs transform into clear, user-friendly responses. The full reasoning chain ensures transparency and context.

LLM-to-KBAI: When KBAI needs a fact it can’t derive (like extracting data from documents), it can pause, query an LLM for the specific information, and resume reasoning. In this mode, KBAI acts as a fully deterministic AI agent.

This hybrid approach keeps all benefits of LLMs, while ensuring predictability and making its responses detailed and self-explanatory.

Why KBAI?

Accurate Outputs, Instantly: Get precise, fact-checked responses in real-time, reducing errors and boosting user trust.

Use as an API in the cloud or download your knowledge base and engine code for offline use, giving you full control without vendor dependency.

Non-Technical Friendly: Create and modify knowledge bases from a single example, no coding required.

Try It Out

KBAI is live at https://www.usekbai.com/

The last thing to note is that the product is still in its early stages and any feedback would be greatly appreciated! Do you see KBAI fitting into your projects?

Comments URL: https://news.ycombinator.com/item?id=44081150

Points: 1

# Comments: 0

Categories: Hacker News

Pages