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.

Full flattening of nested data parallelism

https://futhark-lang.org/blog/2026-07-31-full-flattening.html
1•birdculture•36s ago•0 comments

Jones Act Waiver Tracker

https://www.cato.org/jones-act-waiver-tracker
1•MarcoDewey•41s ago•0 comments

Show HN: Squishword, a word game where meaning, not spelling, matters

https://squishword.com/
1•sbloz•1m ago•0 comments

Ask HN: What's the Point of Your Startup?

1•sawyers•4m ago•0 comments

OpenBao Features – Declarative Plugins

https://openbao.org/blog/features-declarative-plugins/
1•cipherboy•4m ago•0 comments

AI labels to be compulsory on authentic-looking content under EU rules

https://www.theguardian.com/technology/2026/jul/31/ai-labels-to-be-compulsory-on-authentic-lookin...
2•root-parent•5m ago•0 comments

Drifting SpaceX rocket heading for accidental collision with moon

https://www.theguardian.com/science/2026/jul/31/spacex-rocket-moon-collision
2•root-parent•6m ago•0 comments

AI Data Center Turbines, Backlogged for Years, Are Suffering Early Deaths

https://www.investors.com/news/turbine-generator-ai-data-center-power-threat/
2•speckx•8m ago•0 comments

OpenAI's Second Attempt at Health

https://healthapiguy.substack.com/p/openais-second-attempt-at-health
1•brandonb•8m ago•0 comments

The Art of Decision-Making (2019)

https://www.newyorker.com/magazine/2019/01/21/the-art-of-decision-making
1•EndXA•8m ago•0 comments

Show HN: How I built Remembered checkout for Voice

https://ringup.dev/
1•atifnayeem•9m ago•0 comments

Atmospheric retrieval evidence for water isotopologue HDO on exoplanet WASP-39B

https://arxiv.org/abs/2607.19579
1•root-parent•9m ago•0 comments

A GTK4 SSH-askpass in Zig

https://xn--gckvb8fzb.com/a-gtk4-ssh-askpass-in-zig/
2•surprisetalk•11m ago•0 comments

AI models need moral support to make discoveries

https://www.seangoedecke.com/ai-models-need-moral-support/
1•Brajeshwar•11m ago•0 comments

A discarded SpaceX rocket is on a high-speed collision course with the moon

https://apnews.com/article/spacex-rocket-moon-crash-512c4dd708b4cda1160d30b764f9fdb5
2•everybodyknows•14m ago•0 comments

Inflammation-targeting drug misses mark in heart disease study

https://www.statnews.com/2026/07/31/novo-nordisk-inflammation-heart-disease-ziltivekimab/
2•brandonb•15m ago•1 comments

Make Everything to Markdown

https://klartext.it-handwerk-stuttgart.de/
1•Beko2210•15m ago•0 comments

Great, Gaudy Artifice

https://www.nplusonemag.com/online-only/online-only/great-gaudy-artifice/
1•herbertl•16m ago•0 comments

New Defcon Badges Pack a Unique Open-Source Chip That Doubles as a Security Key

https://www.wired.com/story/defcon-34-badge-baochip-andrew-bunnie-huang/
11•hn_acker•18m ago•1 comments

Show HN: Prompt-scrub – local-first PII redaction for LLM prompts and responses

https://nanocollective.org/blog/prompt-scrub-v100-a-local-first-scrubber-for-prompts-and-their-re...
2•mrspence•18m ago•1 comments

Teaching cloud coding agents to dream

https://www.survivingdreams.com/
1•Aeroi•20m ago•0 comments

Puberty blockers trial can start recruiting children

https://www.bbc.com/news/articles/c0jl4np49w1o
3•ksec•21m ago•0 comments

Is AI Reasoning Right for the Wrong Reasons?

https://www.quantamagazine.org/is-ai-reasoning-right-for-the-wrong-reasons-20260731/
27•retupmoc01•21m ago•2 comments

Ask HN: What are some promising fields in computer science in the next 5 yrs?

1•anonymoosestdnt•22m ago•1 comments

13 Models and 4 Agents on SWE Tasks: Go, Java, Python, Rust, TS

https://swe-rebench.com
2•ibragim_bad•22m ago•0 comments

The anti-IMAX populist backlash

https://www.patreon.com/MaxRead/posts/anti-imax-164065060
1•speckx•24m ago•0 comments

Why Pascal Is Not My Favorite Programming Language ( 1981 )

https://www.lysator.liu.se/c/bwk-on-pascal.html
1•ksec•25m ago•0 comments

Admin: Terminally Ill Patients Aren't Exempt from Medicaid Work Requirements

https://www.commondreams.org/news/trump-medicaid-work-requirements-2677293170
3•hn_acker•25m ago•1 comments

Another Wave of Malicious AUR Packages, Package Adoptions Halted

https://lists.archlinux.org/archives/list/aur-general@lists.archlinux.org/thread/P4WIRHTFNH2YZWQH...
3•DemiGuru•26m ago•1 comments

Where .env Went Wrong

https://secretspec.dev/blog/where-env-went-wrong/
4•domenkozar•27m ago•0 comments