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.

Nvidia boss says there is '0% chance' AI destroys the world by 2030

https://www.theguardian.com/technology/2026/sep/21/nvidia-boss-jensen-huang-dismisses-warnings-ai...
1•edward•6m ago•0 comments

Verda (Finland) raises $189M in Series B

https://verda.com/blog/what-189m-in-funding-unlocks-for-verda-customers
1•cmrdporcupine•7m ago•0 comments

Pygmalion's Passion

https://paulkingsnorth.substack.com/p/pygmalions-passion
1•holdit•7m ago•0 comments

What Shopify Theme Automation Can Safely Handle and What Still Needs Engineers

https://shugert.com.mx/blog/shopify-theme-automation-safety-boundary
1•shugert•11m ago•0 comments

Prose as Code: Applying Formal Verification to Product Specs

https://alexanderabramovich.medium.com/prose-as-code-applying-formal-verification-to-product-spec...
1•happyalexander•12m ago•0 comments

An AI bot appeared on the StarCraft ladder. Can you tell who's playing?

https://marianogappa.github.io/software/2026/09/22/player-fingerprinting-in-the-age-of-ai-bots/
1•maloga•12m ago•0 comments

Ask HN: What's with the forced lower-casing texts?

1•meysamazad•16m ago•0 comments

Deploying IPv6-First EKS on AWS: What Still Doesn't Work, and What It Saves

https://labs.ripe.net/author/spidee/deploying-ipv6-first-eks-on-aws-what-still-doesnt-work-and-wh...
2•spidee-spiro•18m ago•0 comments

Orcrist: A desktop coding agent whose harness is written fresh for every task

https://github.com/simone20a/Orcrist
1•simone20a•19m ago•0 comments

Same prompt, same endpoint, different score

https://codecut.ai/prompt-tweak-score-gain/
1•khuyentran1401•19m ago•0 comments

Deriving the Landauer Principle from the Quantum Shannon Entropy

https://pubs.acs.org/jpclcd/article-abstract/16/5/1397/3742503/Deriving-the-Landauer-Principle-Fr...
1•binyu•20m ago•0 comments

Commodore's forgotten Amiga Unix gets a modern revival

https://www.theregister.com/software/2026/09/22/commodores-forgotten-amiga-unix-gets-a-modern-rev...
1•jjgreen•21m ago•0 comments

FAA debuts its AI-powered tool for managing flight traffic

https://www.politico.com/news/2026/09/21/faa-ai-tool-flight-traffic-01086258
1•Betelbuddy•21m ago•0 comments

Nginx (1.31.5) – Ngx_HTTP_JSON_module

https://nginx.org/en/docs/http/ngx_http_json_module.html
1•j03b•21m ago•0 comments

Study: Young users (9 to 18Y) ditch Google for AI, with unknown consequences

https://norwegianscitechnews.com/2026/09/young-users-ditch-google-for-ai-with-unknown-consequences/
14•giuliomagnifico•24m ago•7 comments

Ask HN: What do you expect from the next 5 years of AI?

2•msuniverse2026•26m ago•1 comments

ONELite – Digital Guard

https://play.google.com/store/apps/datasafety?id=com.oxigen.onelite
1•theonespyinfo•27m ago•0 comments

Show HN:Clipwise – a Notion web clipper with no account and no server

https://chromewebstore.google.com/detail/clipwise-—-notion-web-cli/fjgllpbhbnjdkhgmokagglhkahng...
1•Clipwise-Notion•27m ago•0 comments

Organizing with Bayes

https://heat-shield.space/organizing_with_bayes.html
1•airhangerf15•27m ago•0 comments

jev-router: route to the cheapest model in claude code for your task

https://github.com/gargpratyush/jev-router
3•saikatsg•29m ago•0 comments

EU and Philippines agree free trade deal

https://www.reuters.com/world/asia-pacific/eu-philippines-agree-free-trade-deal-2026-09-22/
1•vrganj•31m ago•0 comments

Looking back at my first year as the Renovate Project Lead

https://www.jvt.me/posts/2026/09/21/renovate-1-year/
1•jamietanna•32m ago•0 comments

Meritocracy and Inequality Acceptance

https://www.nature.com/articles/s41562-026-02567-5
1•doener•33m ago•0 comments

Find 20x more prospects discussing problem you solve

https://markai.io
1•daudmalik06•41m ago•0 comments

How AI is impacting who gets to cross borders

https://newsroom.taylorandfrancisgroup.com/how-ai-is-impacting-who-gets-to-cross-borders/
1•geox•44m ago•0 comments

Does Image batch processing (styling/conversions) is underrated?

2•agnes_realm•44m ago•0 comments

Returning Soldier Effect

https://en.wikipedia.org/wiki/Returning_soldier_effect
2•tagfowufe•45m ago•1 comments

Lu Ban's Axe and Working with Your Chinese Suppliers

https://hackaday.com/2017/08/30/lu-bans-axe-and-working-with-your-chinese-suppliers/
1•Bluestein•46m ago•0 comments

Autonomous Plane Becomes the First to Fly Coast to Coast on Its Own

https://gizmodo.com/autonomous-plane-becomes-the-first-to-fly-coast-to-coast-on-its-own-2000814879
1•r_singh•47m ago•1 comments

AI Mode for Emacs

https://github.com/ai-mode/ai-mode
1•xvilka•51m ago•0 comments