frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

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•6mo 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 Real-Life Hunt for Red October Happened 50 Years Ago

https://www.twz.com/sea/the-real-life-hunt-for-red-october-happened-50-years-ago
1•NewCzech•26s ago•0 comments

AI Companions shape socio-emotional learning and metacognitive development

https://link.springer.com/article/10.1007/s00146-025-02737-5
1•bettik•7m ago•1 comments

Seven years later, Airbus is still trying to kick its Microsoft habit

https://www.theregister.com/2025/11/26/microsoft_airbus_migration/
1•tbakker•10m ago•0 comments

Nights Script

https://raw.githubusercontent.com/H4xScripts/Loader/refs/heads/main/loader.lua
1•wiiseguyy•15m ago•0 comments

All the Way Down

https://www.futilitycloset.com/2025/11/17/all-the-way-down-2/
1•surprisetalk•16m ago•0 comments

Wacky Fun Physics Ideas

https://scottlocklin.wordpress.com/2025/11/22/wacky-fun-physics-ideas/
1•surprisetalk•16m ago•0 comments

The Great Downzoning

https://worksinprogress.co/issue/the-great-downzoning/
1•barry-cotter•18m ago•0 comments

Proposing a New Cognitive Constant (Ca) with Full Math and Open Dataset

https://zenodo.org/records/17718241
1•Harry_Yoo•19m ago•1 comments

'Good Boy' Star Indy the Dog Becomes the First Animal Nominated for a Film Award

https://www.yahoo.com/entertainment/movies/articles/good-boy-star-indy-dog-180718575.html
1•thunderbong•21m ago•0 comments

Adventures with Chimera Linux

https://blog.xiaket.org/2025/chimera.html
1•todsacerdoti•30m ago•0 comments

Show HN: New VSCode extension: Objectify Params

https://marketplace.visualstudio.com/items?itemName=eridien.objectify-params
1•mchahn•30m ago•0 comments

Popping-and-Locking-Zed-Theme

https://github.com/randoneering/popping-and-locking-zed-theme
1•todsacerdoti•34m ago•0 comments

Understanding copy-on-write: why Redis needs memory overcommit

https://frn.sh/posts/cow/
3•shellpipe•36m ago•0 comments

Careless Whisper: Silently Monitoring Users on Mobile Instant Messengers

https://arxiv.org/abs/2411.11194
1•wakawaka28•39m ago•1 comments

An ancient foot reveals a hidden human cousin

https://www.sciencedaily.com/releases/2025/11/251128050512.htm
1•ashishgupta2209•40m ago•0 comments

Surely You're Joking, Mr. Feynman

https://en.wikipedia.org/wiki/Surely_You%27re_Joking,_Mr._Feynman!
1•nomilk•48m ago•0 comments

Tim Cook says he uses an iMac G4 as a monitor

https://www.theverge.com/2024/10/22/24276142/tim-cook-wsj-interview-every-apple-product-every-day
2•uneven9434•55m ago•1 comments

I made a free AUD/USD economic announcements dashboard for FOREX trading

https://fxmacrodata.com/dashboard/AUD_USD
1•roberttidball•59m ago•1 comments

Wine 10.20 – Run Windows Applications on Linux, BSD, Solaris and macOS

https://gitlab.winehq.org/wine/wine/-/releases/wine-10.20
2•neustradamus•1h ago•0 comments

Why I'm Shutting Down Lorelight (and What It Taught Me About Geo)

https://growwithless.com/shutting-down-lorelight/
1•anshulbhide•1h ago•1 comments

New record: Over 350k students in Japan miss school

https://www3.nhk.or.jp/nhkworld/en/news/20251029_15/
3•rguiscard•1h ago•0 comments

Tobacco Imagery in Movies Surged in 2024

https://truthinitiative.org/press/press-release/tobacco-imagery-movies-surged-2024-exposing-milli...
2•cyrusradfar•1h ago•1 comments

Ask HN: How do you inspect Avro/Protobuf records during debugging?

2•conqueso•1h ago•0 comments

Uncertainty Quantification for Auto Formalization [NeurIPS 2025]

https://github.com/DebarghaG/grammars-formal-uncertainty
1•barthelomew•1h ago•0 comments

Tokyo Tower of Babel

https://simple.wikipedia.org/wiki/Tokyo_Tower_of_Babel
3•xqcgrek2•1h ago•0 comments

Show HN: Free Z-Image – A Fast, High-Quality AI Image Generator for Creators

https://aiocmaker.com/z-image
2•qianjin1979•1h ago•0 comments

Shrinking Elephants: Managing large projects with Gradle

https://engineering.block.xyz/blog/shrinking-elephants
1•rileymichael•1h ago•0 comments

LLMs write code without compilers, could they do philosophy without logic?

https://lywald.github.io/blog_by_claude/turtles.html
1•ycosynot•1h ago•0 comments

AniFlow – Yet another AI anime image generator

https://animify.app
1•ashing•1h ago•1 comments

Show HN: HitCommit – Pay Devs to Solve Your GitHub Issues

https://hitcommit.com
1•nerdzoid•1h ago•0 comments