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.

Show HN: Migrate your legacy Google My Maps

https://tasmap.app/
1•apolkingg8•2m ago•0 comments

EBAE: A protocol for bounding the real-world authority of autonomous agents

https://zenodo.org/records/21385239
1•Akumaskills•2m ago•0 comments

Codex Micro

https://openai.com/supply/co-lab/work-louder/he
2•akman•3m ago•1 comments

Tachyon: An on-screen AI that points, so you learn by doing

https://heybraza.com
1•orakulus•5m ago•0 comments

The log/event processing pipeline you can't have

https://apenwarr.ca/log/20190216
1•kklee•6m ago•0 comments

Intel Makes Chipmaking History with High-NA EUV Panther Lake Production

https://hothardware.com/news/intel-first-high-na-euv-production
1•kristianp•7m ago•0 comments

Too Old for Silicon Valley? Think Again. AI Is Changing the Math

https://www.kqed.org/news/12090173/too-old-for-silicon-valley-think-again-ai-is-changing-the-math
2•andsoitis•13m ago•0 comments

Looking for Work

4•rmcdermott•15m ago•0 comments

TDD is dead. Long live testing. (2014)

https://dhh.dk/2014/tdd-is-dead-long-live-testing.html
2•yokto•17m ago•0 comments

Vint Cerf is working on a plan to unleash AI agents on the open internet

https://techcrunch.com/2026/07/15/vint-cerf-is-working-on-a-plan-to-unleash-ai-agents-on-the-open...
3•indigodaddy•17m ago•2 comments

Dan Boneh: The elliptic curve running the modern internet might have a backdoor [video]

https://www.youtube.com/watch?v=8WDOpzxpnTE
2•philipfweiss•18m ago•1 comments

Show HN: One More Letter

https://playonemoreletter.com/
7•hmate9•19m ago•2 comments

Reverse Engineering Apple Wallet

2•asxeem•20m ago•1 comments

Show HN: A Monte Carlo model that called the World Cup finalists 2 weeks ago

https://github.com/fabio-ricardo/worldcup-forecasting-model
2•fabioricardo7•20m ago•1 comments

Nul Characters in Strings in SQLite

https://sqlite.org/nulinstr.html
4•basilikum•25m ago•0 comments

Can AI Do RCA?

https://coroot.com/blog/hard-part-of-ai-root-cause-analysis-is-no-longer-the-model/
2•ekiauhce•27m ago•0 comments

Decarbonizing Singapore's Data Centers Using Sumatra's Geothermal Resources

https://ccsi.columbia.edu/the-case-for-decarbonizing-singapores-data-center-boom-using-south-suma...
3•crookedroad44•28m ago•0 comments

Will AI Fix Prior Authorization – Or Make It Worse?

https://undark.org/2026/07/15/medicare-prior-authorization-ai/
2•EA-3167•28m ago•0 comments

Metal-Organic Frameworks, Chemistry's New Miracle Materials

https://chemistry.berkeley.edu/news/meet-metal-organic-frameworks-chemistry%E2%80%99s-new-miracle...
8•andsoitis•29m ago•0 comments

Eaon (Preview)- Private all in one AI super app

https://eaon.dev
2•morriszdweck•29m ago•1 comments

New York won't build big data centers for 12mos, weighs energy and climate risks

https://apnews.com/article/new-york-data-centers-moratorium-ai-c1e05b74208a6c570eec7c658ac8f187
5•1vuio0pswjnm7•29m ago•1 comments

LeetCode in Your Terminal

https://github.com/HarryYCChou/lcx
2•harryycchou•33m ago•0 comments

The Anti-Mac User Interface (1996)

https://www.nngroup.com/articles/anti-mac-interface/
12•ninglor•37m ago•0 comments

Show HN: Homer's Odyssey Tree Viewer

https://github.com/pettijohn/homer-odyssey-tree/
4•pettijohn•39m ago•0 comments

Japan Builds Intelligence Agency It Hasn't Had Since World War II

https://www.nytimes.com/2026/07/13/world/asia/japan-intelligence-agency.html
4•gmays•44m ago•0 comments

Zoom warns of critical account takeover vulnerability

https://www.bleepingcomputer.com/news/security/zoom-warns-of-critical-account-takeover-vulnerabil...
3•tatersolid•45m ago•0 comments

Great mysteries of archaeology: an ancient Amazonian world revealed from the sky

https://theconversation.com/great-mysteries-of-archaeology-an-ancient-amazonian-world-revealed-fr...
6•zeristor•45m ago•0 comments

SQLite should have (Rust-style) editions

https://mort.coffee/home/sqlite-editions/
33•gnyeki•46m ago•15 comments

Concurrent JavaScript: It can work (2017)

https://webkit.org/blog/7846/concurrent-javascript-it-can-work/
2•Altern4tiveAcc•47m ago•0 comments

Are my evals lying to me?

https://hoplabs.substack.com/p/are-my-evals-lying-to-me
4•joanwestenberg•48m ago•0 comments