frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

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•10mo 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.

RelayFreeLLM: Recent Updates

https://github.com/msmarkgu/RelayFreeLLM
1•markfront•1m ago•0 comments

Code Democracy the Big Lie

https://medium.com/@aatel.license/ai-has-democratized-coding-just-not-for-everyone-555d2767fce8
1•aatel-license•1m ago•0 comments

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

1•spaccy05•1m ago•0 comments

Crawl Code – because prompting was a text adventure

https://github.com/machinarii/crawl-code/
2•datalater•4m ago•0 comments

Even Hungary's skewed elections might not save Viktor Orban

https://economist.com/graphic-detail/2026/04/09/even-hungarys-skewed-elections-might-not-save-vik...
1•andsoitis•6m ago•0 comments

Tesla's supervised self-driving software gets Dutch okay, first in Europe

https://www.reuters.com/business/teslas-self-driving-software-gets-dutch-go-ahead-boost-eu-ambiti...
5•nsoonhui•12m ago•0 comments

Show HN: Pardonned.com – A searchable database of US Pardons

1•vidluther•15m ago•0 comments

Hindsight – A design spec for self-improving LLM agents

https://github.com/anitiue/Hindsight
2•anitial•24m ago•0 comments

The Relationship Between Two People Is Not Located in Either Person

https://substack.com/home/post/p-193689282
2•problemist•27m ago•0 comments

Show HN: Dux, a TUI Agent Multiplexer

https://github.com/patrickdappollonio/dux
2•pdappollonio•29m ago•0 comments

Google "6-7"

https://www.google.com/search?hl=en&q=6%207
2•afshinmeh•33m ago•1 comments

go-libghostty: Go bindings for libghostty-vt

https://github.com/mitchellh/go-libghostty
1•doppp•41m ago•0 comments

Phaser 4

https://www.youtube.com/watch?v=XLhi9IW0rxg
1•doppp•42m ago•0 comments

The Language After Its Collapse

https://medium.com/luminasticity/the-language-after-its-collapse-119eb8a7b7fc
2•bryanrasmussen•45m ago•0 comments

Selecting a Date Range in CSS

https://css-tricks.com/selecting-a-date-range-in-css/
2•ms7892•45m ago•0 comments

Government seeks X Community Notes oversight with IT Rules tweaks

https://www.hindustantimes.com/india-news/government-seeks-x-community-notes-oversight-with-it-ru...
2•c420•49m ago•0 comments

Brief: Bitcoin Core Governance Analysis

https://github.com/bitcoin/bitcoin/issues/35055
2•vinniefalco•1h ago•0 comments

20 Years on AWS and Never Not My Job

https://www.daemonology.net/blog/2026-04-11-20-years-on-AWS-and-never-not-my-job.html
60•cperciva•1h ago•4 comments

Vinyl (nee Varnish) Cache – 20 years old and it is time to get serious(er)

https://vinyl-cache.org/organization/20-years.html
1•gurjeet•1h ago•0 comments

Productive Procrastination

https://www.maxvanijsselmuiden.nl/blog/productive-procrastination/
4•maxvij•1h ago•0 comments

Is algorithm still relevant in 2026

2•JasonHEIN•1h ago•0 comments

Splitting the Web (2023)

https://ploum.net/2023-08-01-splitting-the-web.html
1•0928374082•1h ago•0 comments

Cmdgraph – Document any structural CLI for humans and agents

https://github.com/haoliangyu/cmdgraph
3•haoliangyu•1h ago•0 comments

Great at gaming? US air traffic control wants you to apply

https://www.bbc.com/news/articles/ce84rvx0e6do
5•1659447091•1h ago•2 comments

Austin's drop in rents explains housing in America

https://www.vox.com/future-perfect/485295/austin-national-rents-declining-yimby
2•rawgabbit•1h ago•5 comments

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

https://arxiv.org/abs/2604.07902
3•matt_d•1h ago•0 comments

Unionized ProPublica staff are on strike over AI, layoffs, and wages

https://www.theverge.com/news/908401/propublica-union-strike-negotiations-ai-layoffs
2•pabs3•1h ago•0 comments

A 1KB zero-dependency relative time formatter for UI systems

https://github.com/taman-islam/human-time
1•hedayet•1h ago•0 comments

Your next 10 hires won't be human

https://github.com/multica-ai/multica
3•mercat•2h ago•1 comments

Axios Supply Chain Attack Reaches OpenAI macOS Signing Pipeline

https://socket.dev/blog/axios-supply-chain-attack-reaches-openai-macos-signing-pipeline-forces-ce...
3•salkahfi•2h ago•1 comments