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.

Show HN: I made Claude quiz me on my own code before showing it

https://github.com/De-Cri/dont-kick-me-out
1•Ssamu3909•19s ago•0 comments

I Find Problems to Solve as a Staff Engineer

https://lalitm.com/post/find-problems-staff-engineer/
2•birdculture•3m ago•0 comments

Good productivity tools that run 100% in the browser (privacy in mind)

https://github.com/slaveofcode/goodwebtools
1•kresnadev•3m ago•0 comments

Show HN: Forkbench – a native Mac control room for several CLI coding agents

https://forkbench.com
1•forkbench•3m ago•0 comments

Hugging Face CEO calls for 'radical transparency' after 'unprecedented' OpenAI

https://techcrunch.com/2026/07/26/hugging-face-ceo-calls-for-radical-transparency-after-unprecede...
1•sbulaev•4m ago•0 comments

Oil tanker explodes after hitting naval mine in Strait of Hormuz

https://www.jpost.com/middle-east/iran-news/article-903687
1•ipunchghosts•4m ago•2 comments

Thoughts about the Leiden Declaration

https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/
1•artninja1988•7m ago•1 comments

Bast: SSH Multiplexer

https://bast.sh
1•handfuloflight•7m ago•0 comments

Show HN: Vocabulary, a daily game to learn words(V2)

https://www.quizingo.app/vocabulary
1•coder97•8m ago•0 comments

It's not empowering to hand off the details

https://davidnicholaswilliams.com/its-not-empowering-to-hand-off-the-details/
2•davnicwil•13m ago•0 comments

I spent a while building a torrent client for the Mac. It's called Swarm

https://get-swarm.com/
1•gkaimakas•17m ago•0 comments

Show HN: Simple Daily Game

https://playchain.app/
1•Fluzzman•19m ago•0 comments

The Constitutionality of Civil Forfeiture (2016)

https://yalelawjournal.org/feature/the-constitutionality-of-civil-forfeiture
1•downbad_•19m ago•0 comments

How AST-grep Rewrote Tree-sitter in Rust and Made It 30% Faster

https://astgrep.com/blog/tree-sitter-rust-rewrite
2•herrington_d•20m ago•0 comments

French firefighters face 'pyrocumulonimbus' for first time

https://www.france24.com/en/live-news/20260726-french-firefighters-face-pyrocumulonimbus-for-firs...
9•saaaaaam•21m ago•1 comments

Turn your phone into a remote deck for your Windows laptop

https://github.com/ronak-create/LapDeck
1•ronak_parmar•24m ago•1 comments

Independent PHA Asteroid Notability Scoring by Astrophyzix Observatory

https://www.academia.edu/167939168/The_Astrophyzix_Risk_Index_ARI_A_Heuristic_Scoring_System_for_...
3•ProfessorRob•28m ago•0 comments

Ask HN: Anyone else experiencing extreme Codex limits token burn rate?

1•throwaway2027•29m ago•1 comments

Reproducible negative result on the BATADAL water-ICS benchmark

https://github.com/holland202/sentinel-batadal-validation
1•badatchess•29m ago•0 comments

SP/1.0: deterministic, reproducible verdicts for AI-agent decisions

https://github.com/Fame510/SHACKLE/blob/master/SP-1.0-SPECIFICATION.md
2•shacklepro•30m ago•0 comments

OpenLoco Version 26.07 Release

https://openloco.io/news/2026/07/openloco-v26.07.html
1•jandeboevrie•33m ago•0 comments

Lisp moving Forth moving Lisp

https://letoverlambda.com/textmode.cl/guest/chap8.html
1•fallat•33m ago•0 comments

BYD Yangwang U8 has remarkable emergency floating function that would save lives

https://supercarblondie.com/byd-yangwang-u8-emergency-floating-function/
3•thunderbong•34m ago•0 comments

How Arsonists used cats to spread Italy's wildfires

https://www.cnn.com/2026/07/22/europe/arson-cats-italy-wildfires-latam-intl
2•paulpauper•34m ago•0 comments

Entrance exam for the British India civil service

https://twitter.com/pietergaricano/status/2080582758670151704
2•paulpauper•34m ago•0 comments

Authoritative Dnsmasq in a MikroTik Container

https://op-co.de/blog/posts/mikrotik_authoritative_dnsmasq/
2•ge0rg•35m ago•0 comments

A Taxonomy of Internet Demons(2025)

https://lastwordonnothing.com/2025/03/31/a-taxonomy-of-internet-demons/
2•rolph•38m ago•0 comments

How to Write English Prose

https://thelampmagazine.com/blog/how-to-write-english-prose
6•geneticdrifts•41m ago•0 comments

More Data on Online Age Authentication Balk Rates

https://blog.ericgoldman.org/archives/2026/07/more-data-on-online-age-authentication-balk-rates.htm
1•HotGarbage•42m ago•0 comments

Show HN: Boffin – Staff-engineer layer for AI coding agents

https://github.com/MicSm/boffin
3•mic_sm•43m ago•0 comments