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.

Improper Limitation of a Pathname to a Restricted Directory in GitLab 10/10

https://www.cve.org/CVERecord?id=CVE-2026-85706
2•ultral•3m ago•0 comments

Native macOS menu-bar system-metrics overlay

https://github.com/alhanashi/Desktop-Overlay
1•alhanashi•4m ago•1 comments

Timeouts and Cancellation for Humans (2018]

https://vorpus.org/blog/timeouts-and-cancellation-for-humans/
1•Bluestein•6m ago•0 comments

Retrospectively Reverse-Engineering Apple's Neural Engine

https://eiln.github.io/posts/ane.html
6•zdw•11m ago•0 comments

What happens when quantum mechanics and relativity meet?

https://arstechnica.com/science/2026/09/what-happens-when-quantum-mechanics-and-relativity-meet/
2•gumby•15m ago•0 comments

Anthropic researcher resigning citing superintelligence ' – is a marketing hoax [video]

https://www.youtube.com/shorts/skV0hDd-chM
2•adaba1234•16m ago•0 comments

Open API for Bosch and Buderus Heat Pumps

https://github.com/bosch-home-comfort/api-docs
3•n03dic0de3•18m ago•0 comments

Photic Sneeze Reflex

https://en.wikipedia.org/wiki/Photic_sneeze_reflex
2•vismit2000•20m ago•0 comments

Can A.I. "Go Rogue"?

https://www.newyorker.com/culture/open-questions/can-ai-go-rogue
2•Anon84•23m ago•0 comments

Ask HN: Does each frontier model have its own unique taste?

2•dave8172•31m ago•0 comments

Show HN: RagLeap v0.4.0 – 46 AI roles, 8 connectors, 9 vector DBs

https://github.com/antonyrag/ragleap-core
1•antonyragleap•32m ago•0 comments

I built an App to give alerts when your dependencies(Postgres) reach End of Life

2•sharadregoti15•33m ago•1 comments

Jot – AI Rewriter

https://chromewebstore.google.com/detail/jot-ai-writing-rewriting/ocbfgpiibmgkkjbpbpnhejalpakdonjh
2•gnsh•36m ago•1 comments

Gave Omarchy a Try

https://twitter.com/z3ratul163071/status/2098673641890234800
2•z3ratul163071•37m ago•1 comments

Show HN: Spiteware.ai – A catalog of apps built out of spite at unfair pricing

https://spiteware.ai/
2•tenthead•37m ago•0 comments

Silence on Tlenet

https://scyy.fi/tlen
1•c1ccccc1•38m ago•0 comments

Ask HN: What is the most overlooked risk in the AI security domain?

1•ToriTech•38m ago•0 comments

How I turned my Linux terminal sessions into daily speedrun challenges

https://www.howtogeek.com/how-i-turned-my-linux-terminal-sessions-into-daily-speedrun-challenges/
1•theanonymousone•41m ago•0 comments

Digital rights groups renew push to simplify cookie banners

https://www.euractiv.com/news/digital-rights-groups-renew-push-to-simplify-cookie-banners/
1•mnewme•43m ago•0 comments

Scikit-learn 1.9.1 released with Python 3.15 support

https://scikit-learn.org/stable/whats_new/v1.9.html
1•theanonymousone•47m ago•0 comments

Brainstorming novel biological attacks with an LLM

https://www.robertvesco.com/posts/chatgpt-helps-me-brainstorm-guerilla-warfare-against-ai-powered...
2•rlvesco7•55m ago•0 comments

This Week in Plasma: 6.8 Beta Release

https://blogs.kde.org/2026/09/12/this-week-in-plasma-6.8-beta-release/
3•HieronymusBosch•56m ago•0 comments

Why Rocq is better than Lean for program verification

https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html
2•birdculture•57m ago•0 comments

The V8 JavaScript Runtime Undermined My Constant-Time JavaScript Library

https://soatok.blog/2026/09/12/the-v8-javascript-runtime-undermined-my-constant-time-javascript-l...
3•some_furry•57m ago•0 comments

Attestly

https://www.attestly.online/
1•swishmilnet•58m ago•0 comments

Ocarina Music in the Legend of Zelda: Ocarina of Time

https://danbruno.net/writing/ocarina/
2•drifkin•58m ago•0 comments

Ask HN: Did anyone try to build game engine purely for LLM

3•steammaho•1h ago•3 comments

Roundtables: AI's Apocalypse Crisis

https://www.technologyreview.com/2026/09/11/1143936/roundtables-will-ai-really-kill-us-all/
1•joozio•1h ago•0 comments

Governor Newsom Signs Student-Backed Digital Literacy Bills Along Misguided Bans

https://www.eff.org/deeplinks/2026/09/governor-newsom-signs-student-backed-digital-literacy-bills...
1•mdp2021•1h ago•0 comments

The Evolution of Human Science (2000)

https://en.wikipedia.org/wiki/The_Evolution_of_Human_Science
1•xiaoyu2006•1h ago•1 comments