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.

Sliding into Silence? We Are Speaking 300 Daily Words Fewer Every Year

https://journals.sagepub.com/doi/10.1177/17456916261425131
1•Pamar•1m ago•0 comments

China's Latest A.I. Breakthrough Threatens America's Lead

https://www.nytimes.com/2026/07/17/business/china-ai-moonshot-kimi.html
1•petilon•2m ago•0 comments

Grumpy Website

https://grumpy.website/
2•Gecko4072•3m ago•0 comments

The first patch is a price check, not the product

https://github.blog/engineering/the-cost-of-saying-yes-has-changed/
1•logickkk1•3m ago•0 comments

Static search trees: 40x faster than binary search (2024)

https://curiouscoding.nl/posts/static-search-tree/
1•lalitmaganti•6m ago•0 comments

China's Xi Jinping launches new AI alliance, WAICO

https://www.aljazeera.com/news/2026/7/17/chinas-xi-jinping-launches-new-ai-alliance-what-is-it
1•culi•6m ago•2 comments

Recreating the best engineering zine from the 90s

https://circazine.hackclub.com/
2•lsanchezz•7m ago•0 comments

France blocks access to Polymarket website

https://www.reuters.com/technology/french-internet-service-providers-told-block-access-polymarket...
2•1659447091•8m ago•1 comments

Ask HN: Did you try Nordstjernen Web Browser 1.0.19 yet?

2•roschdal•8m ago•0 comments

MLB restricts using dugout iPads for AI-assisted in-game strategy

https://www.espn.com/mlb/story/_/id/49385415/mlb-restricts-dugout-ipad-use-prevent-artificial-int...
1•HardwareLust•11m ago•0 comments

Linus Torvalds to critics of AI coding in Linux: "Fork it. Or just walk away."

https://arstechnica.com/ai/2026/07/linus-torvalds-to-critics-of-ai-coding-in-linux-fork-it-or-jus...
4•baal80spam•11m ago•0 comments

Google Earth Pro for desktop will no longer be available to download soon

https://www.techradar.com/computing/the-impact-to-thousands-of-companies-across-industries-will-b...
1•asoberbeck•12m ago•0 comments

Chemical Onshoring of All Kinds

https://www.science.org/content/blog-post/chemical-onshoring-all-kinds
1•EA-3167•13m ago•0 comments

CollpaseOS: Program microcontrollers through civilizational collapse

https://collapseos.org/
1•Gecko4072•13m ago•0 comments

Apple Passed Nvidia to Become Most Valuable Company Again

https://www.macrumors.com/2026/07/17/apple-passed-nvidia-most-valuable-company/
1•tosh•16m ago•0 comments

Talking Postgres: Working on Postgres After 13 Years on SQL Server

https://talkingpostgres.com/episodes/working-on-postgres-after-13-years-on-sql-server-with-panagi...
2•clairegiordano•17m ago•0 comments

Painting the sides of railroad rails white to reduce derailment

https://www.up.com/news/safety/Tracking-Rail-Heat-260608
2•zdw•18m ago•0 comments

How to Make a Triode Yourself

https://simplifier.neocities.org/triode2
2•Gecko4072•18m ago•0 comments

Show HN: Argument duello game with your friend – AI judge decides who's right

https://wram.chat
1•revolt2tech•19m ago•0 comments

Tech note: making your own V-I plots at home

https://lcamtuf.substack.com/p/tech-note-making-your-own-v-i-plots
1•zdw•21m ago•0 comments

Pre-Authentication RCE in WordPress Core

https://wp2shell.com/
3•patrikg•23m ago•0 comments

When you give a Nix Developer in charge of a website

https://twitter.com/Malix_Labs/status/2077521369663742252
2•eveeifyeve•27m ago•0 comments

We Built Sandbox Infrastructure for Autonomous Agents

https://neosigma.ai/blog/agent-workspaces
2•AdityaBilawar•27m ago•0 comments

T-Mobile's billing-system migration made free lines billable

https://arstechnica.com/tech-policy/2026/07/t-mobile-bungled-forced-plan-migration-canceling-some...
2•logickkk1•28m ago•0 comments

Cabure: Small Gitops Operator

https://github.com/GreedyKomodoDragon/cabure
1•greedykomodo•29m ago•0 comments

Automated job application system, sponsored by the American Mathematical Society

https://www.mathjobs.org/jobs
2•Eridanus2•29m ago•0 comments

Free tool to download Reddit data from community dumps

https://github.com/Tryhard-cs/reddit-download-tool
2•Tryhard3141•30m ago•0 comments

GonzoCapital – The Inside VC Stories

https://www.gonzocapital.net/confessions-of-a-compromised-capitalist/
2•robmay•31m ago•0 comments

There's no evidence that mobile phones will give you brain cancer

https://www.rnz.co.nz/life/wellbeing/no-evidence-mobile-phones-cause-brain-cancer-new-study
3•billybuckwheat•33m ago•0 comments

About the OpenSubsonic API

https://opensubsonic.netlify.app/
1•toomuchtodo•34m ago•1 comments