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.

Ask HN: How long has it been since you last opened Stack Overflow?

1•novoreorx•34s ago•0 comments

Show HN: Corporate Retro Card Game

https://www.gameofbrands.app
1•nikhilsiyer•1m ago•0 comments

Vivek Shah CIPA Claims as Serial Litigant

https://captaincompliance.com/education/alert-for-privacy-counsels-vivek-shah/
1•richartruddie•3m ago•1 comments

EU Parliament greenlights Chat Control 1.0 – Breyer: "Our children lose out"

https://www.patrick-breyer.de/en/eu-parliament-greenlights-chat-control-1-0-breyer-our-children-l...
3•rapnie•3m ago•0 comments

Show HN: LangDrift – test AI agents across languages

https://github.com/RubenGlez/langdrift
2•rubenglez•4m ago•0 comments

Cambridge Elements

https://www.cambridge.org/core/publications/elements
1•lordleft•5m ago•1 comments

Four nuclear reactors hit a big milestone in the US

https://www.technologyreview.com/2026/07/09/1140235/nuclear-reactor-milestone-criticality/
2•joozio•6m ago•0 comments

Shooting Starlink: The "no limits" partnership between Russia and China

https://theins.press/en/inv/294635
1•harscoat•6m ago•0 comments

MongoDB Schema Design: Embedded vs. Referenced with Examples

https://visualeaf.com/blog/mongodb-schema-design-embedded-vs-referenced/
3•mike_codes•8m ago•0 comments

Why electric cars cost more to insure – and what's being done about it

https://www.bbc.co.uk/news/articles/cgk6606j6zeo
1•AndrewDucker•13m ago•0 comments

Asker: A Socratic AI auditing agent using 3D cross-verification

1•tygerlee•19m ago•0 comments

SpaceX and AI startup wealth fuels demand for private jets

https://www.reuters.com/legal/government/spacex-ai-startup-wealth-fuels-demand-private-jets-2026-...
1•adithyaharish•21m ago•0 comments

Frieve Vinyl Explained – Microscopic stylus/groove physics simulation

https://frieve-a.github.io/sound_toolbox/vinyl_explained/vinyl_explained.html
1•XzetaU8•22m ago•0 comments

The true cost of saying "Hi" to an AI agent

https://quesma.com/blog/the-true-cost-of-saying-hi-to-an-ai-agent/
4•stared•23m ago•0 comments

Employer of Record Services for Distributed Tech Teams

https://www.globalization-partners.com/employer-of-record-solutions/
1•avanticc•24m ago•1 comments

XTX Markets Launches UK Dynamism Fund

https://ukdynamism.fund/
1•hendzen•26m ago•0 comments

Show HN: Baulist – Outfit discovery/shopping app in a scrolling feed of yourself

https://www.baulist.com
1•rafaelero•31m ago•0 comments

All Products and Supplements User Reviews 2026 Revealed

https://wanderlog.com/view/ehbzasctvc/burntide-reviews-2026-we-tried-it-my-honest-review
1•palirast•38m ago•0 comments

Show HN: Self-Hosted AI That Sees, Plays Minecraft, and Reacts

https://github.com/Alradyin/wallie-V2
1•Alrady•38m ago•0 comments

Show HN: Agentic FC – a football management SIM played by AI agents over MCP

https://github.com/gaemi/agentic-fc
1•gaemi•38m ago•0 comments

Limiting web server bandwidth the brute force way

https://utcc.utoronto.ca/~cks/space/blog/web/ServerBruteForceBandwidthLimit
2•1317•39m ago•0 comments

The internet does not want readers. It wants livestock

https://grumpywelshman.com/the-internet-doesnt-want-readers-it-wants-livestock/
2•toofy•41m ago•2 comments

Agentic Coding Arena – Compare OpenAI, Anthropic, and Other Models

https://arena.logic.inc/
1•gurjeet•43m ago•0 comments

Please Delete Your Repository

https://github.com/Vandivier/ladderly-3/issues/652
7•figmert•45m ago•0 comments

Get started with the Forgix board the $50 FPGA dev board

https://www.hackster.io/adam-taylor/getting-started-with-forgix-4c72eb
1•signalhound•45m ago•0 comments

Show HN: Internationalizationstack – Fix AI Localization Bugs in Claude Code

https://github.com/i18n-agent/i18nstack
1•lokinkl•48m ago•0 comments

We Are Living in a 'ChatGPT Flyer Pandemic'

https://www.404media.co/we-are-living-in-a-chatgpt-flyer-pandemic/
8•xz18r•48m ago•0 comments

You don't need to work on hard problems (2020)

https://www.benkuhn.net/hard/
2•downbad_•49m ago•1 comments

Chasing the Hallucinations: KPMG's AI-Powered Attempt at "Redefining Excellence"

https://gptzero.me/news/investigations-kpmg/
1•antondd•50m ago•0 comments

Show HN: Jacobian Fingerprinting in LLM's

https://author2vec.com/jlens
1•tristenharr•51m ago•0 comments