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.

Guix shell now inside Emacs

https://tusharhero.codeberg.page/guix-shell-in-emacs.html
1•birdculture•4m ago•0 comments

Open-sourced a local WAN 2.1 mobile pipeline for on-device video generation

https://github.com/SaientAI/saient-quartz
1•SaientAI•5m ago•0 comments

Timeline Shift AI – An AI self-reflection companion for difficult decisions

https://ai.thetimelineshift.co.uk/beta-access.html
1•seededhealthltd•7m ago•0 comments

Dark Hours

https://darkhours.io
1•jparise•8m ago•0 comments

Nirmal Purja, Renowned Mountaineer, Dies at 43 After Pakistan Avalanche

https://www.nytimes.com/2026/08/01/world/asia/nirmal-purja-dead-pakistan-avalanche.html
3•whack•12m ago•0 comments

Plants and their ants: When flora and fauna team up

https://knowablemagazine.org/content/article/living-world/2026/ants-and-plants-keep-symbiotic-par...
3•marojejian•15m ago•1 comments

the death of uppercase: a bet I made around 20 years ago (that i lost)

https://thepeoplesrepublicofcouch.org/the-bet/
2•gaws•17m ago•0 comments

AI will always find a difference

1•ghassenfaidi•17m ago•0 comments

China's tech advances are causing chaos from Silicon Valley to the White House

https://www.theguardian.com/technology/2026/aug/01/china-silicon-valley-white-house
2•Teever•18m ago•0 comments

Suffering

https://www.aaronbergman.net/p/on-suffering
2•barry-cotter•21m ago•0 comments

Jaron Lanier and DeGrasse Tyson on "There Is No AI"

https://www.youtube.com/watch?v=a_ZKYH8v_do
3•lifeisstillgood•29m ago•1 comments

The brief life and sudden death of Zyzz

https://www.theguardian.com/film/2026/aug/02/the-brief-life-and-sudden-death-of-zyzz-why-did-the-...
3•mellosouls•33m ago•1 comments

Walsh: Multi-agent research pipeline with risk manager that can veto trades

https://github.com/ats4321/walsh
1•atshu21•35m ago•0 comments

Dreamup+|+Dang.ai

https://dang.ai/tool/ai-art-generation-dreamup
1•thestbyguy•37m ago•0 comments

Ask HN: I still don't understand why AI agents need "skills"

2•skeptic_ai•40m ago•2 comments

Ablative Software

https://conikeec.substack.com/p/ablative-software
1•conikeec•40m ago•0 comments

Send and Pretend: Exploiting Transcript Consistency Issues in E2EE Group Chats

https://arxiv.org/abs/2607.27510
1•sbulaev•41m ago•0 comments

The Greenhouse and the Lens: Two Modes of Agentic AI Work

https://www.brethorsting.com/blog/2026/08/the-greenhouse-and-the-lens-two-modes-of-agentic-ai-work/
2•aaronbrethorst•42m ago•0 comments

Android SystemUI Crash-loop from a single Google Drive one link (STA whitepaper)

https://lostmon.blogspot.com/2026/07/resilience-gaps-in-android-ipc.html
1•Lostmon•47m ago•0 comments

Kobuk the Destroyer – Tales from the Wild, Unseen World of Test Engineering

https://wwnorton.com/books/9781324051299
2•ripe•47m ago•1 comments

Why Is Europe Burning?

https://www.newyorker.com/news/the-lede/why-is-europe-burning
3•littlexsparkee•48m ago•0 comments

European Search Perspective: Creating a new foundation for digital pluralism

https://www.eu-searchperspective.com/
1•TMWNN•48m ago•1 comments

Genomic findings and their implications for the evolutionary social sciences

https://www.sciencedirect.com/science/article/pii/S1090513824000722?via%3Dihub
2•geneticdrifts•55m ago•0 comments

A Uiua Type System

https://www.uiua.org/blog/a-uiua-type-system
2•xyzsparetimexyz•59m ago•1 comments

The Kurzgesagt Situation is Insane [video]

https://www.youtube.com/watch?v=OX1yHmeLPy8
3•julkali•59m ago•3 comments

RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2

https://www.rfc-editor.org/rfc/rfc10015.html
6•Jimmc414•1h ago•0 comments

Ask HN: Anyone still do work on Intel Macs?

3•senor_digimon•1h ago•2 comments

Moore's Law for Everything (2021)

https://moores.samaltman.com/
3•eatitraw•1h ago•0 comments

Nomophobia

https://en.wikipedia.org/wiki/Nomophobia
2•andersonmvd•1h ago•1 comments

Surface – KDL Specification Format – Experimental

https://github.com/etoxin/surface
2•etoxin•1h ago•1 comments