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.

Homework for SMTM-6941: Lithium Problem Sets

https://slimemoldtimemold.com/2026/07/21/homework-for-smtm-6941-lithium-problem-sets/
1•surprisetalk•52s ago•0 comments

My Secret AI Bookmark That Hypercharged My Comms

https://grokimage.ai/
1•RustyArmor•1m ago•0 comments

What a Reddit Buying Question Looks Like: I Read All 148 Highest-Intent Threads

https://cuescout.com/blog/what-a-reddit-buying-question-actually-looks-like
1•weeklyrunner•1m ago•0 comments

The AI risk is inside the labs

https://www.antirez.com/news/172
1•craigmart•2m ago•0 comments

An autonomous agent that researches, writes and publishes a news site

https://distillation.technology/alembic.html
1•bgalvan•3m ago•0 comments

How Nvidia Builds Open Models for the Age of AI

https://blog.bytebytego.com/p/how-nvidia-builds-open-models-for
1•svobodamartin•3m ago•0 comments

Kernel accepts wrong-structure projections, allowing axiom-free proof of False

https://github.com/leanprover/lean4/issues/14576
1•gopiandcode•3m ago•0 comments

Identifying the Actors: What a Byline Certifies

https://bytecode.news/posts/2026/07/identifying-the-actors-what-a-byline-actually-certifies
6•jottinger•4m ago•0 comments

TikZ

https://en.wikipedia.org/wiki/PGF/TikZ
1•tosh•5m ago•0 comments

Excel Never Dies (2021)

https://www.notboring.co/p/excel-never-dies
1•downbad_•5m ago•0 comments

The Robocall Geography Tax: Why Your Zip Code Determines Your Spam Reality (2025)

https://www.karmacall.com/blog/southeast-spam-call-geography-tax/
1•dredmorbius•6m ago•0 comments

A computer can never be held accountable

https://jola.dev/posts/a-computer-can-never-be-held-accountable
1•shintoist•6m ago•0 comments

Chinese CXMT DRAM doesn't look like the budget savior many were expecting

https://www.tomshardware.com/pc-components/dram/chinese-cxmt-dram-doesnt-look-like-the-budget-sav...
1•elorant•11m ago•0 comments

Apple Apps Are Rubbish

https://www.gordonmclean.co.uk/2026/07/28/apple-apps-are-rubbish/
1•ExMachina73•13m ago•0 comments

Yamaha DX1

https://en.wikipedia.org/wiki/Yamaha_DX1
1•tosh•14m ago•0 comments

What Is Flash Attention?

https://modal.com/blog/flash-attention-article
1•ronfriedhaber•15m ago•0 comments

The Rise of Software Factories

https://newsletter.alexlazar.dev/p/the-rise-of-software-factories
1•sirnicolaz•16m ago•0 comments

Show HN: The mentor setup I've run for months, now as a Claude Code plugin

https://github.com/hcsum/dont-let-me
1•sumtsui•18m ago•0 comments

Let Your Software Write Its Own Code

https://cymerys.com/w/let-your-software-write-its-own-code
3•rcymerys•19m ago•0 comments

ASRock 4U16X-GNR2 packs 8 B300 GPUs, demands liquid cooling

https://windowsforum.com/windows-news.4/asrock-4u16x-gnr2-packs-8-b300-gpus-demands-liquid-coolin...
2•teleforce•20m ago•0 comments

Show HN: Zenly – Investment research platform built around a quality/value score

https://zenlyfinancial.com/
1•juliiii•21m ago•0 comments

Collabora Online 26.04: Your Documents, Your AI, Your Decade of Data Sovereignty

https://www.collaboraonline.com/blog/cool-26-04-release/
1•maxloh•22m ago•0 comments

Earth's Greatest Catastrophes Seem to Follow a Mysterious 27M-Year Pulse

https://www.sciencealert.com/earths-biggest-disasters-strike-in-a-hidden-pattern-every-27-million...
2•jnord•23m ago•0 comments

Amazon overhauls its AI strategy, winding down most flagship models

https://www.businessinsider.com/amazon-overhauls-ai-strategy-phasing-out-most-nova-models-2026-7
3•thm•23m ago•1 comments

Hugging Face Has a Deepfake Nudes Problem

https://www.wired.com/story/hugging-face-has-a-nonconsensual-deepfakes-problem/
1•thm•24m ago•0 comments

Unless Its Governance Changes, Anthropic Is Untrustworthy

https://www.lesswrong.com/posts/5aKRshJzhojqfbRyo/unless-its-governance-changes-anthropic-is-untr...
3•thepasch•24m ago•0 comments

What I Worked on (2021)

https://paulgraham.com/worked.html
1•oumua_don17•25m ago•0 comments

SOXS just printed a 96.5% spike with the VIX at 18.90. That has never happened

https://tradeintelligent.substack.com/p/soxs-just-printed-a-965-spike-with
2•alizasl•29m ago•1 comments

One big winner in War on Iran: US natural gas exporters. Big loser: Europe

https://kdwalmsley.substack.com/p/one-big-winner-in-war-on-iran-us
3•comebhack•32m ago•0 comments

The User Is the Processor

https://aito.ai/blog/the-predictive-application/
1•arauhala•33m ago•0 comments