Search

Showing top 116 results for "AI reasoning math"

Top stories

Discussions and forums

Hacker News · u/amenn · 6d ago

Yon – a topos-oriented language with a content-addressed lattice heap

Hello everyone. In the last two years I spent, as a dev, part of my free time stretching the limits of my knowledge. Not being a mathematician myself, I discovered that formalizing concepts in mathematical language could…

48 78
Hacker News · u/dabockster · Mar 24, 2026

Tell HN: Llamacpp now supports unified system RAM offloading on Linux

I'm a big fan of on-device AI inference for a million reasons, especially its potential to significantly reduce or even potentially eliminate the need for massive AI data center projects in the United States. But so far,…

6
r/LocalLLaMA · u/OttoRenner · 2w ago

Stop traumatizing AI into loops and turn hallucinations into an honest "I don't know!" by being NICE to them (Proof of Concept, Research, I don't want to sell anything)

!UPDATE!(20.05.2026) WE HAVE NEW NUMBERS FROM 1.500+ TESTS IT'S WORKING! check my update post https://www.reddit.com/r/LocalLLaMA/s/AyNOehjkYT Or the go straight to the my Github https://github.com/OttoRenner/Gentle-Codi…

Hacker News · u/aaronestrada · 5d ago

Show HN: I created a RAW to HDRI stacker in (mostly) Common Lisp

This is an upgrade of a tool I created 15 years ago in Python to learn OOP and solve some inadequacies in the HDR stacking tools I could find at the time. The problem was, none of them were really "batch friendly". None …

5
Hacker News · u/zambelli · 3w ago

Show HN: Forge – Guardrails take an 8B model from 53% to 99% on agentic tasks

Hi HN, I'm Antoine Zambelli, AI Director at Texas Instruments.I built Forge, an open-source reliability layer for self-hosted LLM tool-calling.What it does:- Adds domain-and-tool-agnostic guardrails (retry nudges, step e…

660 240

To show you the most relevant results, we’ve omitted some entries very similar to those already shown. Repeat the search with the omitted results included.