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.

A dock that wakes up reliably

https://fabiensanglard.net/tb4/index.html
2•ingve•50s ago•0 comments

WLV-01, a monochrome digital camera built from scratch

https://camerahacksbymalcolmjay.com/
1•car•52s ago•0 comments

The biggest steam locomotive is whistle-stopping across the U.S.

https://www.npr.org/2026/07/11/nx-s1-5872656/big-boy-locomotive-steam
1•ghtbircshotbe•9m ago•0 comments

Autopsy Study Finds Replicating SARS-CoV-2 in the Hearts of Long Covid

https://my.uscap.org/uscap/program/S0tc675/index.cfm?pgid=5167&sid=14770&abid=51228
1•thenerdhead•10m ago•0 comments

I made a horror game that's IMPOSSIBLE to SCREENSHOT [video]

https://www.youtube.com/watch?v=RNhiT-SmR1Q
1•goodmythical•11m ago•1 comments

Social.Wiki is a wiki for editing social web pages

https://social.wiki/
1•raybb•13m ago•0 comments

Long Covid May Physically Damage the Nerves That Control the Stomach

https://www.ijidonline.com/article/S1201-9712(26)00608-9/fulltext
1•thenerdhead•13m ago•0 comments

Search for isRecord on any open source codebase

https://old.reddit.com/r/PrincipalAi/comments/1utzh5w/added_the_ability_to_search_for_isrecord_in...
1•fernando-ram•14m ago•0 comments

Martha Lillard, last US polio patient using iron lung, dies at 78 in Oklahoma

https://abcnews.com/US/wireStory/martha-lillard-us-polio-patient-iron-lung-dies-134668491
1•daniel_iversen•16m ago•0 comments

We built a free CVE and threat-Intel command center – no login, no paywall

https://community.resilientx.com/
1•R3dxpl0it•17m ago•0 comments

What happens between entering the prompt and seeing the first word appear

https://shbhmrzd.github.io/ai/ml-foundations/llm-training/2026/07/11/using-the-trained-model.html
2•shbhmrzd•20m ago•1 comments

GC shape stenciling in Go generics

https://rednafi.com/go/gc-shape-stenciling/
1•ingve•21m ago•0 comments

Old Icons

https://leancrew.com/all-this/2026/07/old-icons/
1•zdw•24m ago•0 comments

Hello

1•cogs132•24m ago•0 comments

El Nino forms, expected to strengthen, say NOAA forecasters

https://www.noaa.gov/news-release/el-nino-forms-expected-to-strengthen-say-noaa-forecasters
2•andsoitis•25m ago•0 comments

A Visual Catalog of Retro Macintosh Software

https://www.marciot.com/mac68k-visual-catalog/
1•zdw•26m ago•0 comments

How the Chinese use wires to catch rocket boosters

https://old.reddit.com/r/interestingasfuck/comments/1utyo87/how_the_chinese_use_wires_to_catch_ro...
2•jonbaer•37m ago•0 comments

Bring seamless PQC encryption into every messenger you already use

2•kvasilev•38m ago•0 comments

How to enforce bare-metal Rust constraints on an unaligned GAI?

https://github.com/osjc/CRITICAL-SURVIVAL-Sovereign-Core-Hypervisor-Alignment-GAI-Patch--Project-...
1•osjc•44m ago•0 comments

The Population Bust Is Coming Sooner Than Anyone Is Prepared For

https://www.nytimes.com/2026/07/11/opinion/population-forecast-birth-rate.html
3•toomuchtodo•45m ago•1 comments

A public ledger of cloud outages and the SLA credits they trigger

https://slacreditwatch.com
3•devd1976•46m ago•1 comments

The Future of Digital Money: The Race Between Tortoise, Hare and Rhino

https://sites.duke.edu/thefinregblog/2026/07/09/the-future-of-digital-money-the-race-between-the-...
2•zaik•46m ago•0 comments

3.5M Developers. Then Microsoft Pulled the Plug [video]

https://www.youtube.com/watch?v=CPhAkzb4kUo
1•BiraIgnacio•50m ago•0 comments

Patriotism in the US, Europe and Canada, Charted

https://www.politico.com/news/2026/07/11/poll-politics-patriotism-us-europe-canada-00993636
1•koolba•50m ago•0 comments

First images of Quest wreck reveal Shackleton's last ship

https://canadiangeographic.ca/articles/first-images-of-quest-wreck-reveal-shackletons-last-ship-d...
1•pseudolus•53m ago•0 comments

Odyssey Linux

https://odysseylinux.org
9•Gualdrapo•54m ago•6 comments

Chaoshan's qiaopi remittance system built wealth on trust, not contracts

https://www.sixthtone.com/news/1018709
3•whiteblossom•59m ago•0 comments

Pokémon Soul Society – Zanka No Tachi ( Bleach X Hoenn)

https://pokejumpermanga.blogspot.com/2026/07/pokemon-soul-society-zanka-no-tachi.html
2•MyBoyGreen•1h ago•0 comments

2026 Hardrock 100 Results: Ludo Pommeret and Courtney Dauwalter Set Records

https://www.irunfar.com/2026-hardrock-100-results
2•BiraIgnacio•1h ago•0 comments

Pokejumper.org/manga community-driven platform for honest manga critiques

https://pokejumpermanga.blogspot.com/
1•MyBoyGreen•1h ago•0 comments