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.

Mike Stonebraker on Disagreeing with Google, Postgres, Future Problems [video]

https://www.youtube.com/watch?v=YPObBOwIrHk
1•tosh•1m ago•0 comments

Norway: The Supreme Court dismisses all accusations against Jw

https://hrwf.eu/norway-the-supreme-court-dismisses-all-accusations-against-jehovahs-witnesses/
1•janandonly•3m ago•0 comments

Claude Code Connected to Apple Car Play and Android Auto [video]

https://www.youtube.com/shorts/edA00WNhNwM
2•johnkg003•8m ago•1 comments

Are you richer than your neighbor?

https://brokeorrich.com/
1•Mawenzi•11m ago•1 comments

Meta's Big Tobacco PR Tactics

https://yadin.com/notes/toasted/
2•dryadin•12m ago•0 comments

The AI supply crunch is here

https://www.economist.com/leaders/2026/04/30/the-ai-supply-crunch-is-here
2•pingou•13m ago•1 comments

Barbara Liskov on Dijkstra, Abstraction, Distributed Systems [video]

https://www.youtube.com/watch?v=T9CGjbPZeaM
1•tosh•17m ago•0 comments

U.S. Seizes $15B in Bitcoin in Crypto 'Scam' Crackdown

https://www.forbes.com/sites/martinacastellanos/2025/10/14/us-seizes-15-billion-in-bitcoin-sancti...
1•maxloh•19m ago•1 comments

Monopoly Concepts in Microeconomics: De Beers and Diamond Industry

https://www.studocu.com/in/document/university-of-johannesburg/microeconomic-issues-in-developmen...
1•cathrinea•19m ago•0 comments

Show HN: Kencode – Compact Kotlin serialization for URLs and labels

https://eignex.com/posts/kencode-packing-data-for-strict-limits/
2•monom•19m ago•1 comments

If I Could Make My Own GitHub

https://matduggan.com/if-i-could-make-my-own-github/
1•vinhnx•26m ago•0 comments

Apple Says Mac Studio and Mac Mini Will Be in Short Supply for Months

https://www.macrumors.com/2026/04/30/mac-studio-mac-mini-constrained-months/
13•tosh•26m ago•0 comments

A text editor as a user interface

https://ratfactor.com/cards/text-editor-as-ui
1•vinhnx•27m ago•0 comments

Sure: The personal finance app, community fork of Maybe Finance

https://github.com/we-promise/sure
1•sebakubisz•27m ago•0 comments

Surviving Black Friday: 329B requests with Falcon

https://speakerdeck.com/ioquatix/surviving-black-friday-329-billion-requests-with-falcon
2•ksec•30m ago•0 comments

Reunderstanding the Power of AI Through Reverse Engineering

https://blog.huli.tw/2026/04/18/en/ai-reverse-engineering-op/
1•swq115•33m ago•0 comments

US freezes $344M in cryptocurrency said to be linked to Iran

https://www.cnn.com/2026/04/24/politics/us-freezes-cryptocurrency-iran
3•maxloh•34m ago•0 comments

Openpi-flash: Real-time inference engine for openpi

https://github.com/Hebbian-Robotics/openpi-flash
1•kstonekuan•34m ago•0 comments

Advocacy groups issue US travel advisory ahead of World Cup

https://www.washingtonblade.com/2026/04/29/advocacy-groups-issue-us-travel-advisory-ahead-of-worl...
1•latexr•36m ago•0 comments

Andrej Karpathy: From Vibe Coding to Agentic Engineering [video]

https://www.youtube.com/watch?v=96jN2OCOfLs
1•vinhnx•41m ago•0 comments

Do birds have accents? the regional differences in birdsong

https://theconversation.com/do-birds-have-accents-the-fascinating-regional-differences-in-birdson...
2•zeristor•43m ago•0 comments

Foundations of Metrology(1981) [pdf]

https://nvlpubs.nist.gov/nistpubs/jres/086/jresv86n3p281_A1b.pdf
1•pillars•50m ago•0 comments

Show HN: Self hosted video feed for children

https://github.com/vkolev/timmygram-server
1•vkolev•51m ago•0 comments

Open Source Does Not Imply Open Community

https://blog.feld.me/posts/2026/04/open-source-does-not-imply-open-community/
3•zdw•51m ago•1 comments

James Broadnax Executed After Being Sentenced to Death Based on Rap Lyrics

https://www.rollingstone.com/culture/culture-news/james-broadnax-executed-rap-lyrics-texas-123555...
3•latexr•52m ago•1 comments

Where would an offline fail-closed supervisor be useful?

https://madadh.systems
1•MADADAHSYSTEMS•57m ago•0 comments

CSS and vertical rhythm for text, images, and tables

https://vincent.bernat.ch/en/blog/2026-css-vertical-rhythm
1•vbernat•1h ago•0 comments

Sniffing EU Smart Meters with a Flipper Zero (WM-Bus / 868MHz)

https://github.com/i12bp8/wmbuster
1•i12bp8•1h ago•0 comments

GlowGoblin – a gift to mb pro users

https://github.com/jtc268/glowgoblin
1•husky8•1h ago•0 comments

Japan intervened in its Curreny price

https://www.fxstreet.com/news/usd-jpy-drops-over-2-as-intervention-warnings-lift-yen-after-move-a...
1•mark336•1h ago•1 comments