frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Zeno – A framework for verifiable RL rewards (code, math, and more)

https://github.com/Think-a-Tron/zeno
2•Sai_Praneeth•1y ago
With TRL, it's now straightforward to RL-finetune LLMs, but picking good reward functions is still the weakest link.

Zeno is an open-source toolkit for verifiable, deterministic reward functions for RL on LLMs.

While the initial release focuses on Python code generation, the goal is broader: make RL reward design for LLMs transparent, modular, and extendable across domains (math, retrieval, reasoning, tool-use, etc.)

What's in Zeno for now? - Auditable, stateless reward functions for Python code - docstrings, ruff linting, type hints, recursion, and more - Works directly with Huggingface's TRL or any RL loop - plug reward functions in as needed. - MIT licensed and minimal.

Roadmap: Python code is just the starting point. Extensions for math problem solving, planning and agentic behaviors are in todo.

Repo: https://github.com/think-a-tron/zeno

Docs and more details in the README

Comments, critiques, and real-world use cases encouraged, especially if you want to push beyond code.

The Fish Who Could Not Imagine Air

https://www.novaspivack.com/essays/the-fish-who-could-not-imagine-air
1•surprisetalk•2m ago•0 comments

An Invasive Mosquito Spreading with Alarming Speed, Threatening Africa's Cities

https://www.nytimes.com/2026/08/04/us/politics/mosquito-africa-anopheles-stephensi.html
1•thelastgallon•3m ago•0 comments

Show HN: Pistachio – Declarative schema management for PostgreSQL

https://github.com/winebarrel/pistachio
1•winebarrel•3m ago•0 comments

Identity and Substitutivity(1971) [pdf]

https://ncatlab.org/nlab/files/Cartwright-IdentityAndSubstitutivity.pdf
1•nill0•3m ago•0 comments

Data-centre reality check could slam brakes on AI earnings boom

https://www.reuters.com/commentary/reuters-open-interest/data-centre-reality-check-could-slam-bra...
1•mapping365•3m ago•0 comments

Show HN: Ssplax – model and solve constrained operational decisions

https://ssplax.com/app/
1•abanoubey•4m ago•0 comments

Social Darwinists to tech bros: tracing the long fight against equality in US

https://www.theguardian.com/books/2026/jul/21/kim-phillips-fein-country-of-lords
1•robtherobber•4m ago•0 comments

Quiddity and Haecceity

https://www.openhorizons.org/quiddity-and-8203haecceity-whatness-and-thisness-in-a-world-of-becom...
1•Bluestein•6m ago•0 comments

Show HN: Create tweet-style and text-first social posts

https://www.postsfromtemplates.com/
1•StanleySathler•7m ago•0 comments

Findphone: Locate a nearby Bluetooth device by signal strength

https://github.com/ben-z/findphone
1•helsinkiandrew•8m ago•0 comments

1899 Missed the Roomba

https://heyjonny.dev/posts/1899-missed-the-roomba/
1•heyjonny•9m ago•0 comments

Every Noise at Once

https://everynoise.com/
1•0x4e•9m ago•1 comments

Ask HN: How do you correct spatial reasoning of LLMs?

2•mstaoru•9m ago•1 comments

Objects That Explain America

https://www.nytimes.com/interactive/2026/08/04/opinion/museum-of-america.html
1•reaperducer•11m ago•0 comments

eBay's 1995 Debut

https://dfarq.homeip.net/ebays-1995-debut/
1•jnord•11m ago•0 comments

Show HN: Ambient Capture Engine

https://github.com/Rafaelpta/litepipe
1•rafaepta•12m ago•0 comments

Why the Legendary Erdős Problems Are Falling to AI

https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/
1•pseudolus•13m ago•0 comments

Show HN: Claude-account now works on macOS too

https://github.com/hamzarehmandeveloper/claude-account/releases/tag/v0.2.0
1•hamza_rehman•16m ago•0 comments

Show HN: OdeCare – radar-based monitoring for aging parents, no wearables

https://odecare.com/
1•decaster3•18m ago•0 comments

How Internet Fighting Works

https://www.smbc-comics.com/comic/2013-04-07
2•fanf2•21m ago•0 comments

Kimi K3 2.78T on One CPU with 8GB RAM

https://github.com/FareedKhan-dev/kimi-k3-in-c
3•OsamaJaber•21m ago•0 comments

Show HN: Hardware requirement calculator for local LLMs

https://soverignplan.app/
1•gkrishna•23m ago•0 comments

Could psilocybin be the key to treating anorexia?

https://www.scientificamerican.com/article/psilocybin-could-kick-start-anorexia-recovery-early-re...
2•tzury•24m ago•0 comments

Show HN: An app to dump notes during the day and plan todos without distraction

https://today.spqrk.net/
1•SPQRK•25m ago•0 comments

Could a change in diet improve mental health? Metabolic psychiatry explained.

https://www.nationalgeographic.com/health/article/metabolic-psychiatry-keto-diet-brain-science
1•bookofjoe•31m ago•1 comments

Yeti Devworks

https://yetidevworks.com/
1•joshka•32m ago•0 comments

Ask HN: I built bribes.fyi, now I am stuck what to with it

1•neverenderr•33m ago•3 comments

Study: People prefer stories written by AI

https://www.cambridge.org/core/journals/judgment-and-decision-making/article/bot-or-not-can-peopl...
2•senordevnyc•35m ago•2 comments

Night-Tower: Over-Engineered Homelab Powered by Fighter Jets and AI Chaos

https://shadowfish.night-tower.net/post/night-tower-homelab-architecture/
1•taubek•35m ago•0 comments

Trump's AI protectionism has come for robotics

https://www.technologyreview.com/2026/08/03/1141056/trumps-ai-protectionism-has-come-for-robotics/
1•rbanffy•37m ago•0 comments