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: OTP Inspired actor supervisor based full stack templates

https://shipstacks.net
1•annrap1d•10s ago•0 comments

Firefox Merges Support for Vulkan Video Decoding

https://github.com/search
1•DemiGuru•26s ago•0 comments

Kevin O'Leary Is Happy Playing the Villain

https://www.readtheprofile.com/p/kevin-oleary-mr-wonderful
1•polina09•51s ago•0 comments

Shinjuku Station ThreeJS Model

https://satoshi7190.github.io/Shinjuku-indoor-threejs-demo/
1•Gecko4072•4m ago•0 comments

Tasty

https://www.quarter--mile.com/tasty
2•surprisetalk•7m ago•0 comments

Jacobian conjecture is false (with help of Fable)

https://twitter.com/__alpoge__/status/2079028340955197566
3•k2xl•8m ago•0 comments

Comprehensive JVM Primitive Hashtable Benchmarks

https://sooniln.github.io/posts/hashmap-benchmarks-2026/
2•tooilln•11m ago•0 comments

A deep dive into my Forgejo setup

https://a.l3x.in/blog/welcome-to-my-forge/
4•alexfortin•11m ago•1 comments

Define less, check more: Pyrefly now supports attrs

https://pyrefly.org/blog/pyrefly-attrs/
2•ocamoss•18m ago•0 comments

Hacker wipes Romania's land registry database

https://news.risky.biz/risky-bulletin-hacker-wipes-romanias-entire-land-registry-database/
9•speckx•19m ago•1 comments

The age of token efficiency, the age of libraries

https://golemui.com/blog/the-age-of-token-efficiency/
2•wtfdeveloper•20m ago•0 comments

Show HN: A 16-control subtractive synth for microcontrollers (39k ELF, web demo)

https://mini000.itch.io/beeper
2•isitcontent•21m ago•0 comments

Modder Makes GTA: Vice City Playable Inside GTA 3 Inside GTA: San Andreas

https://kotaku.com/gta-vice-city-made-playable-in-gta-3-made-playable-in-gta-san-andreas-2000717510
2•sam_anthony•24m ago•0 comments

Show HN: QUBE Predict – A cloud platform for drug response prediction

https://qube-predict.streamlit.app/
2•gfam999•26m ago•0 comments

10x and 100x increase in CPU core and node bandwidth, respectively over 20 yrs

https://ieeexplore.ieee.org/document/11196478
2•teleforce•26m ago•0 comments

Self-Service Ransomware as Security Against Local AI Tools

https://blog.brendankeaton.com/self-service-ransomware-as-security-against-local-ai-tools
2•BrKeaton•26m ago•1 comments

Languages That Stretch Your DI Capabilities and Imagination

https://programmingsimplicity.substack.com/p/languages-that-stretch-your-di-capabilities
2•surprisetalk•27m ago•0 comments

Simple Invoices. Faster Payments

https://duely-44998.bubbleapps.io/
3•03Leena03•31m ago•2 comments

Apple should let us schedule work-hours notifications for specific apps

3•hellowastaken•33m ago•3 comments

What if your AI agent could have its own WhatsApp number?

https://tyxter.com/
2•thiagocarboni•34m ago•4 comments

I predicted all WC2026 matches with Poisson Dixon-Coles – 64% accuracy

https://predictive-model.com
2•dosores•35m ago•0 comments

Underwater Kites Harvest Power from Slow-Moving Tides

https://spectrum.ieee.org/tidal-energy-underwater-kite-power
2•speckx•35m ago•1 comments

Inertia-1: An Open Exploration to a Unified Motion Foundation Model

https://yang-ai-lab.github.io/Inertia-1/
3•hasheddan•36m ago•0 comments

Association of sedentary behaviors w cortical, subcortical &white matter volumes

https://alz-journals.onlinelibrary.wiley.com/doi/10.1002/alz.71582
2•bookofjoe•39m ago•0 comments

Where B2B Buyers Ask on Reddit: 30 Days of Scan Data

https://cuescout.com/blog/where-b2b-buyers-actually-ask-on-reddit
3•tgdaimov•39m ago•0 comments

The asymmetry problem: AI safeguards are mainly annoying to the good guys

https://cephalosec.com/blog/the-asymmetry-problem-ai-safeguards-are-mostly-hindering-the-good-guys/
2•Versipelle•40m ago•0 comments

We're Squandering LEDs' Potential to Save Our Night Skies

https://spectrum.ieee.org/led-light-pollution
2•defrost•40m ago•0 comments

Landmark Science Report Confirms Big Oil's Fingerprints on Extreme Weather

https://www.commondreams.org/newswire/landmark-science-report-confirms-big-oils-fingerprints-on-e...
2•robtherobber•41m ago•0 comments

Codex is wearing out our devices

https://old.reddit.com/r/codex/comments/1v0m3lt/codex_is_wearing_out_our_devices/
4•spenvo•42m ago•2 comments

Grading Is Easy, Feedback Is Hard: Evaluating LLMs for OOP Assessment [pdf]

https://github.com/elipcs/grading-is-easy-feedback-is-hard/blob/main/docs/Grading_Is_Easy_Feedbac...
2•lucis•44m ago•0 comments