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.

Beijing is forcing a mass breakup with AI lovers

https://restofworld.org/2026/china-ai-boyfriend-ban-bytedance-doubao/
1•fragmede•4m ago•0 comments

Grok –.grok?

https://sslog.dpdns.org/grok-grok.html
1•Shaurya_Sharma•7m ago•0 comments

Optimal Ask

https://blog.lukesalamone.com/posts/optimal-ask/
1•salamo•9m ago•0 comments

Dario Amodei on Regulation

https://twitter.com/darioamodei/status/2088758816376807762
1•tosh•10m ago•0 comments

Health benefits of Tai Chi

https://www.health.harvard.edu/exercise-and-fitness/the-health-benefits-of-tai-chi
1•helloplanets•11m ago•0 comments

Tokencompress A sub-2ms Go CLI and MCP sidecar that prunes AI agent tool context

https://github.com/dburnett11155-rgb/Tokencompress
1•ProffessorD•12m ago•0 comments

(LFE:Lisp Flavoured Erlang)

https://lfe.io/
1•giancarlostoro•14m ago•0 comments

ESP32-CYD-Based-Image-Fetcher Mini Project

https://github.com/turtushig22-blip/ESP32-2432S028-based-Image-fetcher
1•turtushig22•16m ago•1 comments

What's missing to have reproducible builds on PyPI

https://snarky.ca/whats-missing-to-have-reproducible-builds-on-pypi/
1•Ravencentric•19m ago•0 comments

Why Windows Is Losing Gamers

https://www.youtube.com/watch?v=2grg4R4fmGs
1•cable2600•21m ago•0 comments

RISC-V: What Matters

https://thechipletter.substack.com/p/risc-v-what-really-matters-and-what
1•signa11•21m ago•0 comments

The Iran War Is a Whole New Level of Quagmire for the US

https://www.politico.com/news/magazine/2026/08/12/the-us-forgot-the-lessons-of-iraq-now-its-despe...
2•hebelehubele•22m ago•0 comments

TreasuryDirect moves authn 100% to ID.me

https://www.treasurydirect.gov/savings-bonds/help-center/faqs/idme-faq/
1•AdamN•23m ago•1 comments

Keyboard Phones Are Back

https://markow.dev/?action=view&url=keyboard-phones-are-back---unihertz-titan-2-elite
2•robowo•29m ago•1 comments

Japanese publishers fight imposter news sites with a cryptographic signature

https://www.niemanlab.org/2026/08/japanese-publishers-are-fighting-imposter-news-sites-with-a-cry...
1•rdmuser•32m ago•0 comments

Practical Introduction to Vim-Fugitive

https://jeancharles.quillet.org/posts/2022-03-02-Practical-introduction-to-fugitive.html
2•auraham•37m ago•0 comments

Vim Fugitive in Action

https://dzx.fr/blog/introduction-to-vim-fugitive/
1•auraham•38m ago•0 comments

Nested Functions with GCC and Clang

https://uecker.codeberg.page/2026-08-06.html
1•matt_d•45m ago•0 comments

We built agents that match people who need help with people offering it

https://ayudagente.help/
1•jsgomezs1•46m ago•1 comments

Principles and Techniques for Designing Precision Machines(1999)

https://www.osti.gov/servlets/purl/8431
1•nill0•56m ago•0 comments

Show HN: I have tried using Honestify instead of sending direct CV/Resume

1•ricky300300•59m ago•0 comments

China's $13K Tiny EV Hit 1k Orders in Japan in Just Two Weeks

https://www.autoblog.com/news/chinas-13k-tiny-ev-hit-1000-orders-in-japan-in-just-two-weeks
2•teleforce•59m ago•0 comments

The Safety Reckoning Inside OpenAI

https://www.wired.com/story/openai-safety-security-ai-agents-culture/
1•sbulaev•1h ago•0 comments

I built AIM Maps but you play AI

https://www.1vs1.xyz/
1•mattmerrick•1h ago•0 comments

Age Verification Is a Bad Way to Solve the Problem. What's the Alternative?

https://techblog.bozho.net/age-verification-is-a-bad-way-to-solve-the-problem-of-children-on-soci...
1•bozho•1h ago•0 comments

We hired a security engineer and got back 123 findings

https://dev.profullstack.com/~anthony/blog/004-post.html
2•buffer_overlord•1h ago•0 comments

Asda rolls out loss prevention tool across full estate following £100k savings

https://www.retailgazette.co.uk/blog/2026/08/asda-rolls-out-loss-prevention-tool-across-full-esta...
2•mmarian•1h ago•0 comments

CARA – a readiness assessment for Microsoft 365 Copilot adoption

https://jellebelletje.github.io/CARA/
1•jelonearth•1h ago•1 comments

Ownership in the Age of AI

https://sahilkolwankar.com/blog/ai-input-not-output/
2•sahilkolwankar•1h ago•0 comments

The quirky personal homepages of programming language creators

https://breck.lol/plMakers.html
46•cjlm•1h ago•14 comments