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.

Huawei ban to cost the EU up to €40B, says industry

https://www.politico.eu/article/telecom-industry-estimates-huawei-ban-cost-europe-40-billion/
1•giuliomagnifico•2m ago•0 comments

AI will not trigger employment collapse, staffing company Adecco Group says

https://www.reuters.com/business/ai-will-not-trigger-employment-collapse-staffing-company-adecco-...
1•gnabgib•11m ago•0 comments

Flux 3: From AI image generation to visual intelligence

https://textideo.com/model/flux-3
1•Nancylily•14m ago•0 comments

Why hasn't AI increased unemployment?

https://twitter.com/PeterMcCrory/status/2079979321607745905
1•Ariarule•14m ago•0 comments

Ageless Atlas – a biological age proxy across the 12 hallmarks of aging

https://agelessatlas.com/
1•luciabazanw•15m ago•0 comments

A Great Deal of Information About Hacker News

https://vale.rocks/posts/hacker-news
1•YounesDz•17m ago•0 comments

Kat-Coder-v2.5 Technical Report (Qwen3.6-35B-A3B base for post-training)

https://arxiv.org/abs/2607.05471
1•truth_seeker•17m ago•0 comments

Midscroll – Windows mm autoscroll for Linux, works on Wayland and X11

https://github.com/gnhen/midscroll
1•gnhen•19m ago•0 comments

De-link: open-source eInk reader (hardware)

https://de-link.me/
1•Naracion•22m ago•2 comments

UK AISI / Caisi Preliminary Assessment of Kimi K3's Cyber Capabilities

https://www.nist.gov/news-events/news/2026/07/uk-aisi-caisi-preliminary-assessment-kimi-k3s-cyber...
3•madars•23m ago•0 comments

Intel committed to manufacturing 14A node

https://bsky.app/profile/rogoway.bsky.social/post/3mrdwvtowxa2n
1•osnium123•25m ago•1 comments

The cost model of microfront ends, from first principles

https://medium.com/@andrew.redican.mejia/microfrontends-from-first-principles-178aafe02ce5
2•andrew_redican•25m ago•0 comments

Russian head of World Chess suspends activity over EU sanctions

https://www.reuters.com/sports/russian-head-fide-suspends-activity-over-eu-sanctions-2026-07-23/
2•ChrisArchitect•25m ago•1 comments

Tinfoil – Private AI

https://tinfoil.sh
1•gurjeet•31m ago•0 comments

Starlink v5 flat vs. v4 flat (standard) dimension and weight comparison

https://starlink.com/bl/support/article/5465736f-fa8d-3ac1-dd3a-7a259d12fa8d
1•walrus01•36m ago•0 comments

Show HN: GlossaryPage – Turn customer questions into knowledge pages

https://glossarypage.com/
1•morioka•39m ago•0 comments

Elon Musk Melts Down over Perfectly Normal Questions in Wild New Interview

https://gizmodo.com/elon-musk-economist-interview-2000790016
4•makerdiety•42m ago•2 comments

Seeing Is Not Believing: Realistic AI Videos Disrupt Confidence in Real Videos

https://www.media.mit.edu/publications/seeing-is-not-believing/
1•abhas9•43m ago•0 comments

just surf

https://ben.page/surf
3•jer0me•43m ago•0 comments

Gigatoken-rb – A Ruby port of gigatoken that's 1.6x faster

https://github.com/jetpks/gigatoken-rb
1•jetpks•50m ago•0 comments

Show HN: Bohay – Mission control for your AI coding agents

https://bohay.dev/
1•ariestiyansyah•52m ago•0 comments

MLFlow Alternative Written in Go

https://github.com/zeddo123/mlsolid
3•zeddo123•56m ago•0 comments

In the 1950s, a Soviet engineer proposed damming the Bering Strait

https://economictimes.indiatimes.com/us/news/in-the-1950s-a-soviet-engineer-proposed-damming-the-...
2•iancmceachern•57m ago•0 comments

Ask HN: Is HN's duplicate url detection broken?

3•khaledh•1h ago•1 comments

Show HN: RefurbAlert – Never miss a refurbished deal again

https://refurbalert.com/us
1•RioRaby•1h ago•0 comments

Tesla Sinks on Investor Angst over AI Spending, Profit Drop

https://news.bloomberglaw.com/texas-brief/tesla-profit-falls-well-short-of-expectations-as-costs-...
2•1vuio0pswjnm7•1h ago•0 comments

U of T mathematician Jacob Tsimerman awarded prestigious Fields Medal

https://www.utoronto.ca/news/nobel-prize-mathematics-u-t-mathematician-jacob-tsimerman-awarded-pr...
3•crescit_eundo•1h ago•1 comments

Show HN: I built a local Node.js conduit for the BorgIOS network

https://github.com/bitmonky/borgHUI
2•BorgIOS•1h ago•1 comments

Don't Trust the Label: License Laundering in AI Supply Chains

https://arxiv.org/abs/2607.20300
3•sbulaev•1h ago•0 comments

Uber's New Litigation Funding Terms Would Hinder Accountability

https://news.bloomberglaw.com/legal-exchange-insights-and-commentary/ubers-new-litigation-funding...
1•1vuio0pswjnm7•1h ago•0 comments