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

NTP at NIST Boulder Has Lost Power

https://lists.nanog.org/archives/list/nanog@lists.nanog.org/message/ACADD3NKOG2QRWZ56OSNNG7UIEKKT...
2•lpage•7m ago•0 comments

The Polyglot NixOS

https://x86.lol/generic/2025/12/19/polyglot.html
1•todsacerdoti•8m ago•0 comments

Contrails Map

https://map.contrails.org/
1•schaum•8m ago•0 comments

Roblox–Schlep Controversy

https://en.wikipedia.org/wiki/Roblox_Corporation
1•anileated•9m ago•0 comments

Show HN: I made an AI agent to interact with resume and make changes as you ask

https://resumeup.ai
1•rohithreddyj•17m ago•0 comments

My thoughts on Y Combinator [video]

https://www.youtube.com/watch?v=L7x2ufU1c9Y
1•seagram•23m ago•0 comments

Show HN: Amida-san – Participatory lottery where everyone draws the lines

https://amida-san.com/
1•hello_sh•24m ago•0 comments

⌘-Arrow Hotkey Navigation in Claude Code and Codex

https://banagale.com/%e2%8c%98%e2%86%90-and-%e2%8c%98%e2%86%92-hotkey-navigation-in-claude-code-a...
1•bredren•25m ago•0 comments

We asked four AI coding agents to rebuild Minesweeper–the results were explosive

https://arstechnica.com/ai/2025/12/the-ars-technica-ai-coding-agent-test-minesweeper-edition/
1•canucker2016•27m ago•1 comments

Tiny Tapeout 8 demo competition entries

https://www.a1k0n.net/2025/12/19/tiny-tapeout-demo.html
1•robin_reala•32m ago•0 comments

Perfect Software – Software for an Audience of One

https://outofdesk.netlify.app/blog/perfect-software
2•ggauravr•32m ago•0 comments

People Watched 700M Hours of YouTube Podcasts on TV in October

https://www.bloomberg.com/news/articles/2025-12-18/people-watched-700-million-hours-of-youtube-po...
1•solalf•34m ago•1 comments

Show HN: HiFidelity – A native macOS offline audiophile music player

https://rvarunrathod.github.io/HiFidelity/
1•rathod0045•35m ago•0 comments

Business SLOs

https://medium.com/@haagwee/business-slos-4992d7435ff9
1•todsacerdoti•41m ago•0 comments

The offline geocoder we wanted

1•gipsyjaeger•43m ago•1 comments

Mole – deep clean and optimize your Mac

https://github.com/tw93/Mole
2•microflash•44m ago•0 comments

Show HN: Hat – An Automatic Image Compressor

https://github.com/bittere/hat
1•_bittere•54m ago•0 comments

Show HN: One Thing at a Time Please – A Kanban board with one ticket slot

https://onethingatatimeplease.com/
2•agsilvio•58m ago•0 comments

OpenCyc 4.0

https://sourceforge.net/projects/opencyc/
1•swatson741•1h ago•0 comments

LG forced a Copilot web app onto its TVs but will let you delete it

https://www.theverge.com/news/847685/lg-copilot-web-app-delete
3•breve•1h ago•0 comments

What Sam Altman Doesn't Want You to Know [video]

https://www.youtube.com/watch?v=l0K4XPu3Qhg
3•SLHamlet•1h ago•0 comments

Cloudflare has been broken for 15 hours

3•Canada•1h ago•4 comments

Ask HN: How do you deal with marketing?

1•zata•1h ago•1 comments

Privacy doesn't mean anything anymore, anonymity does

https://servury.com/blog/privacy-is-marketing-anonymity-is-architecture/
15•ybceo•1h ago•5 comments

Gaza Strip: Famine conditions offset, but situation remains critical

https://www.ipcinfo.org/ipcinfo-website/countries-in-focus-archive/issue-142/en/
5•JumpCrisscross•1h ago•0 comments

A Decade on Datomic – Davis Shepherd and Jonathan Indig (Netflix) [video]

https://www.youtube.com/watch?v=gJ9UZlr6C6M
1•adityaathalye•1h ago•0 comments

Charles Proxy

https://www.charlesproxy.com/
63•handfuloflight•1h ago•26 comments

Cargo Cult Science – Richard Feynman (1974) [pdf]

https://calteches.library.caltech.edu/51/2/CargoCult.pdf
4•vismit2000•1h ago•0 comments

PLISS 2026: Programming Language Implementation Summer School

https://pliss.org/2026/
3•azhenley•1h ago•0 comments

Data Bank – Nuforc – Latest UFO Sightings

https://nuforc.org/databank/
10•handfuloflight•1h ago•0 comments