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.

Saturation at GitHub

https://surfingcomplexity.blog/2026/09/19/saturation-at-github-the-saga-continues/
1•RohanAdwankar•24s ago•0 comments

AI Helps People Get Past the Blank Page

https://greyenlightenment.com/2026/08/24/ai-assisted-writing-is-common-because-writing-is-hard/
1•paulpauper•1m ago•0 comments

House prices survived the last interest-rate rise. Will they this time?

https://www.economist.com/finance-and-economics/2026/09/20/house-prices-survived-the-last-interes...
1•andsoitis•4m ago•0 comments

Ordinal definability–how did Gödel do it?

https://www.infinitelymore.xyz/p/ordinal-definability-historical-conundrum
1•baruchel•5m ago•0 comments

Show HN: 8 months extending a terminal to handle all my work with all agents

https://github.com/albertwujj/agent-term
1•aywu•5m ago•0 comments

The Paradox of Empathy (2015)

https://jenson.org/paradox/
1•andsoitis•6m ago•0 comments

KDE Goes to the Pyramids

https://www.youtube.com/watch?v=JGX3-UhV-ms
1•sho_hn•6m ago•0 comments

Remittance MOney Transfer Calculator

https://faisalkhan.com/resources/interactive-tools/remittance-cost-calculator
1•faisalkhan999•7m ago•0 comments

Epoll and Kqueue: How Operating Systems Learned to Wait Efficiently

https://thecodinggopher.substack.com/p/epoll-and-kqueue-how-operating-systems
1•adletbalzhanov•7m ago•0 comments

The AI wave has to land somewhere according to Tesler's Law

https://moonspell.fm/tesler
1•zdeeb•8m ago•0 comments

Lego Brick Sorting Machine Uses AI to Save Millions from Landfill [video]

https://www.youtube.com/watch?v=M0cWcAIeOyU
3•ChrisArchitect•12m ago•3 comments

C64 Programming with AI

https://www.dreisechzig.net/c64-programming-with-ai.html
1•adunk•12m ago•0 comments

A Wordle solver that shows you why each guess narrows the field

https://turnword.com/apps/word-game-bot
1•mwaci•13m ago•0 comments

In Fighting for Every Black Child, Did I Betray My Own?

https://www.nytimes.com/2026/09/20/magazine/ny-public-schools-black-students-segregation.html
4•stefan_•14m ago•1 comments

Show HN: Bailout – The coding agent meant to be deleted

https://github.com/storozhenko98/bailout
1•mst98•15m ago•0 comments

Andrew Ng: AI Extinction Fears Are 'Science Fiction'

https://www.youtube.com/watch?v=KnckQp-c388
3•Betelbuddy•19m ago•0 comments

Show HN: System One Harness (SOH), the harness for System One models

https://github.com/HarnessRouter/SystemOneHarness
1•kuanzema•20m ago•0 comments

Sheboygan, Wisconsin canceling Flock contract over undisclosed data tracking

https://www.fox6now.com/news/sheboygan-canceling-flock-contract-over-undisclosed-data-tracking
1•toomuchtodo•21m ago•1 comments

Jensen Huang: Those warning on AI apocalypse "have ulterior reasons"

https://www.youtube.com/watch?v=XlY7DI5v4ZU
6•Betelbuddy•21m ago•1 comments

Show HN: AliasFleet – Email aliases with an in-app composer and telemetry

https://www.aliasfleet.com
1•Farrynet•21m ago•1 comments

Locals in Mexico Call It World's Largest Cesspool & Blame It for Surging Cancer

https://www.nytimes.com/2026/09/17/world/americas/mexico-city-endho-dam.html
1•bookofjoe•24m ago•1 comments

Why China Isn't Getting Existential About A.I

https://www.newyorker.com/news/q-and-a/why-china-isnt-getting-existential-about-ai
5•andsoitis•26m ago•1 comments

Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning

https://academy.dair.ai/papers/gavel-graph-world-models-for-verified-and-efficient-long-horizon-l...
1•gmays•26m ago•0 comments

Someone made jev play Atari games

https://github.com/taodav/jev_deep_rl
2•thomask1995•26m ago•0 comments

Show HN: Judge Jev – Can you convince Jev of your innocence?

https://judge-jev.com/
3•theRealestAEP•27m ago•0 comments

A.I: We Are Building Our Own Jurassic Park [video]

https://www.youtube.com/watch?v=RyOFDfpjR9U
2•kklisura•27m ago•0 comments

How to Build the Fastest Drone in the World (600km/h FPV Drone)

https://www.youtube.com/watch?v=KwRSAfoW5uo
3•hydrolox•32m ago•0 comments

A Necessary History of the Oddest Letter: W

https://lithub.com/a-necessary-history-of-the-oddest-letter-w/
24•NaOH•34m ago•3 comments

Show HN: Testing a non-generative decision model on 5,500 CLINC150 inputs

https://github.com/chr-kelly/jev-cookbook
3•tgdhtdujeytd•35m ago•0 comments

Show HN: I inadvertently built an English to Bash transpiler

https://github.com/gioblu/NPC-Forge/blob/main/npcs/termy/README.md
2•gioscarab•36m ago•3 comments