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•11mo 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.

Pinball Dreams

https://en.wikipedia.org/wiki/Pinball_Dreams
1•doener•30s ago•0 comments

The mangled remains of probes sent to Venus may still be there

https://www.scientificamerican.com/article/the-mangled-remains-of-probes-sent-to-venus-may-still-...
1•beardyw•54s ago•0 comments

Pentagon Wants Innovation. Small Businesses Want to Deliver. What's the Problem?

https://www.inc.com/issie-lapowsky/pentagon-wants-innovation-small-nimble-businesses-want-to-deli...
1•malloryerik•1m ago•0 comments

Malware Found in Trending Hugging Face Repository "Open-OSS/Privacy-Filter"

https://www.hiddenlayer.com/research/malware-found-in-trending-hugging-face-repository-open-oss-p...
1•aa_is_op•4m ago•0 comments

People and Timeline of Modern AI

https://senthil.learntosolveit.com/posts/2026/05/09/annotated-history-of-modern-ai-and-deep-learn...
1•orsenthil•5m ago•0 comments

Fake Pound Coin Database

https://www.thefakepoundcoindatabase.co.uk/
1•bhickey•7m ago•0 comments

Pushing Local Models with Focus and Polish

https://lucumr.pocoo.org/2026/5/8/local-models/
1•lumpa•9m ago•0 comments

Occupations with the Highest Divorce Rates

https://flowingdata.com/2026/05/07/divorce-and-occupation-2026/
1•lvnfg•10m ago•0 comments

The Shadow Admin Threat: AI Agents Creating Undetectable Backdoors

https://sharetxt.live/blog/the-shadow-admin-threat-how-autonomous-ai-agents-could-introduce-undet...
1•rexthonyy•12m ago•0 comments

The 28th Regime (EU)

https://the28thregime.eu/
2•dgellow•13m ago•0 comments

The left-wing case for AI

https://www.seangoedecke.com/the-left-wing-case-for-ai/
2•nsavage•15m ago•0 comments

LLM built for 12M-token reasoning

https://subq.ai/
1•tschibrillo•15m ago•0 comments

Ask HN: What's the most compelling paranormal evidence you found online?

2•johnnyfived•20m ago•1 comments

Let the Barbarians In

https://www.sigops.org/2026/let-the-barbarians-in-how-ai-can-accelerate-systems-performance-resea...
1•jruohonen•22m ago•0 comments

HTML/CSS/JS Viewer with full bidirectional code-preview highlighting

https://html-viewer.org
1•jackxmm•23m ago•0 comments

Extracting alignment data in open models

https://arxiv.org/abs/2510.18554
1•yakkomajuri•24m ago•0 comments

Show HN: Super ISO Updater

https://github.com/JoshuaVandaele/SuperISOUpdater
1•JoshuaVandaele•36m ago•0 comments

Show HN: Pace-coach watches your typing rhythm and nudges you when stressed

https://github.com/job-almekinders/pace-coach
1•Jobtimize•36m ago•1 comments

Physics (2021)

https://www.susanrigetti.com/physics
2•Tomte•38m ago•0 comments

The Electrification Staircase

https://cleaninguppod.substack.com/p/ep256-the-electrification-staircase
1•jillesvangurp•40m ago•0 comments

War.gov/UFO Files Explorer

https://hypergrid.systems/war.gov-ufo-viewer/?ok
2•keepamovin•44m ago•0 comments

Germany's Decline in Data

https://ourdeclineindata.com/
3•mpweiher•44m ago•0 comments

Mystery of G Hackman

4•nmeofunowho•48m ago•0 comments

What's a Mathematician to Do?

https://mathoverflow.net/questions/43690/whats-a-mathematician-to-do
2•ipnon•49m ago•0 comments

Why Not GitHub? (2017)

https://sanctum.geek.nz/why-not-github.html
3•jruohonen•50m ago•1 comments

Who invented file extensions in file names? (2023)

https://retrocomputing.stackexchange.com/questions/27926/who-invented-file-extensions-in-file-names
2•aragonite•52m ago•0 comments

Space Cadet Pinball on Linux

https://brennan.io/2026/05/09/pinball-and-escrow/
37•jandeboevrie•54m ago•4 comments

Do you take after your dad's RNA?

https://knowablemagazine.org/content/article/living-world/2026/epigenetic-effects-of-sperm-on-off...
2•ndr42•56m ago•0 comments

JDownloader Got Hacked

https://jdownloader.org/incident_8.5.2026.html?v=20260508277000
1•campuscodi•56m ago•0 comments

Profiling.sampling – Statistical Profiler

https://docs.python.org/3.15/library/profiling.sampling.html#module-profiling.sampling
2•djoldman•57m ago•0 comments