Hacker News
So how do I know my passwords are safe?
Article URL: https://www.forbes.com/sites/daveywinder/2025/05/23/184162718-passwords-and-logins-leaked---apple-facebook-snapchat/
Comments URL: https://news.ycombinator.com/item?id=44081421
Points: 1
# Comments: 0
The Bargain of Working Hard and Getting a Job Simply Doesn't Hold Anymore
Quantum gravity cannot be both consistent and complete
Article URL: https://arxiv.org/abs/2505.11773
Comments URL: https://news.ycombinator.com/item?id=44081258
Points: 1
# Comments: 0
An Invitation to Neuroalgebraic Geometry
Article URL: https://arxiv.org/abs/2501.18915
Comments URL: https://news.ycombinator.com/item?id=44081257
Points: 1
# Comments: 0
Phantom Dependencies: is your requirements.txt haunted?
Article URL: https://www.youtube.com/watch?v=x9K3xPmi_tg
Comments URL: https://news.ycombinator.com/item?id=44081250
Points: 1
# Comments: 0
A free, open-source, local-first Markdown editor
Article URL: https://noteworthy.ink/
Comments URL: https://news.ycombinator.com/item?id=44081232
Points: 1
# Comments: 0
Signatures of chiral superconductivity in rhombohedral graphene
Article URL: https://www.nature.com/articles/s41586-025-09169-7
Comments URL: https://news.ycombinator.com/item?id=44081221
Points: 1
# Comments: 0
LinkedIn interview scams
Article URL: https://www.himthe.dev/blog/linkedin-interview-scams
Comments URL: https://news.ycombinator.com/item?id=44081208
Points: 2
# Comments: 0
X continues to suffer bugs following Thursday outage
Article URL: https://techcrunch.com/2025/05/23/x-continues-to-suffer-bugs-following-thursday-outage/
Comments URL: https://news.ycombinator.com/item?id=44081205
Points: 2
# Comments: 0
SteamOS
Article URL: https://store.steampowered.com/steamos
Comments URL: https://news.ycombinator.com/item?id=44081193
Points: 1
# Comments: 0
'Which is it?' RFK Jr. waffles on cuts to lead poisoning prevention efforts
Maxup – A modular ecosystem for youth development using AI
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
Coding Assistants Threaten the Software Supply Chain
Article URL: https://martinfowler.com/articles/exploring-gen-ai/software-supply-chain-attack-surface.html
Comments URL: https://news.ycombinator.com/item?id=44081151
Points: 1
# Comments: 0
Show HN: KBAI – Build Hybrid AI with Deterministic Reasoning
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
The Soviet People's Car: The Enduring Legacy of the Lada
Article URL: https://www.comradegallery.com/journal/the-enduring-legacy-of-the-lada
Comments URL: https://news.ycombinator.com/item?id=44081130
Points: 1
# Comments: 0
X outage disrupts logins and key features
Don't "buy" e-books from Oxford University Press
Article URL: https://kelar.org/~bandali/2025/05/20/no-oup.html
Comments URL: https://news.ycombinator.com/item?id=44081089
Points: 9
# Comments: 2
Tim Cook's Bad Year Keeps Getting Worse
Article URL: https://www.wsj.com/tech/ai/apple-ceo-tim-cook-tariffs-ai-48049d0c
Comments URL: https://news.ycombinator.com/item?id=44081088
Points: 3
# Comments: 1
Peer Programming with LLMs, for Senior+ Engineers
Article URL: https://pmbanugo.me/blog/peer-programming-with-llms
Comments URL: https://news.ycombinator.com/item?id=44081081
Points: 2
# Comments: 1
How the Russian automotive sector was driven off a cliff
Article URL: https://tochnyi.info/2025/05/how-the-russian-automotive-sector-was-driven-off-a-clif/
Comments URL: https://news.ycombinator.com/item?id=44081079
Points: 2
# Comments: 0