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.

New hybrid positioning system promises reliable tracking where GPS fails

https://www.qmul.ac.uk/news/latest-news/2026/science-and-engineering/se/new-hybrid-positioning-sy...
1•hhs•2m ago•0 comments

Multi-Agent LLMs Fail to Explore Each Other

https://arxiv.org/abs/2607.11250
1•Anon84•3m ago•0 comments

Statistical test helps judge the value of personalization

https://news.stanford.edu/stories/2026/07/statistical-test-personalization-k-fold
1•hhs•4m ago•0 comments

Java was a three-day hotfix away from dying horribly on stage

https://www.theregister.com/devops/2026/07/18/java-was-a-three-day-hotfix-away-from-dying-horribl...
1•jnord•5m ago•0 comments

The headache of hospital pricing

https://lawliberty.org/the-headache-of-hospital-pricing/
1•hhs•7m ago•0 comments

The 3:47 Am Wake‑Up Call That Changed Everything

https://hackenewhome.blogspot.com/p/code-optimise-pour-blogger-suppression.html
1•AllForAll•9m ago•0 comments

Juggling for Blind People

https://www.jugglingforblindpeople.com/
3•pipnonsense•10m ago•0 comments

Even Microsoft couldn't make Windows 11 work well on 8GB of RAM

https://www.theverge.com/tech/966937/microsoft-surface-laptop-13-inch-8gb-ram-2026-review
2•GeekyBear•12m ago•0 comments

Welcome to Toronto, World Capital of the Urban Raccoon

https://lithub.com/welcome-to-toronto-world-capital-of-the-urban-raccoon/
2•herbertl•14m ago•0 comments

HN: Save Replay – Trim a video before uploading it

https://savereplay.com
2•IGOLz•15m ago•0 comments

Don't Force the Money Too Early

https://nik.art/dont-force-the-money-too-early/
2•herbertl•17m ago•0 comments

Prompted to Start: How Generative AI Is Transforming Entrepreneurship [pdf]

https://conference.nber.org/conf_papers/f238865.pdf
2•herbertl•18m ago•0 comments

SafeAI – Open-Source Static AI Risk Analyzer for AI Agents

https://github.com/ikaruscareer/SafeAI
2•ikaruscareer•19m ago•0 comments

How Indian Railways plans to stop blanket, bedsheet theft on trains

https://www.moneycontrol.com/europe/?url=https://www.moneycontrol.com/news/india/how-indian-railw...
2•rustoo•19m ago•0 comments

Hiring Private equity firm doing 9M in revenue

https://www.careerjumpship.com/jobs/fullstack-engineer-cofounder-nyc-b84627f7
2•jaredzwick•23m ago•0 comments

Gap in Mochizuki's proof of ABC confirmed by Lean

https://twitter.com/FumiharuKato/status/2078017230537892207
3•ogogmad•24m ago•0 comments

Can you build a five that beats the 73-9 Warriors?

https://www.73-9-game.com/
2•jeyzolo•28m ago•1 comments

Mayor Mamdani Says Landlords Can't Use AI Images to Advertise

https://petapixel.com/2026/07/16/mayor-mamdani-says-landlords-cant-secretly-use-ai-images-to-adve...
17•gnabgib•30m ago•3 comments

The Professor Who Taught People How to Think (1962) [video]

https://www.youtube.com/watch?v=rBN5SWCReJQ
2•kklisura•32m ago•0 comments

AI Mania Is Eviscerating Global Decision-Making

https://hermit-tech.com/blog/ai-mania-is-eviscerating-global-decisionmaking
5•frizlab•33m ago•0 comments

Real-Time LuaTeX: Recompiling Large Documents in 1ms [pdf]

https://www.tug.org/tug2026/preprints/lode-realtime.pdf
2•amichail•34m ago•0 comments

Show HN: RewindCup – explore 23 World Cups on an interactive globe

https://rewindcup.com
2•iamdavidoti•36m ago•0 comments

curl can be used to send emails with SMTP

https://mastodon.social/@chr1stian/116924759058231144
6•21sys•38m ago•0 comments

Roger Summit, Early Search Pioneer, Dies at 95

https://www.nytimes.com/2026/07/17/technology/roger-summit-dead.html
2•furytrader•38m ago•0 comments

I built a lockfree(where applicable) fibers workstealing jobs system/scheduler

https://github.com/jay403894-bit/JLib-Scheduler
2•jay403894•38m ago•1 comments

Judge a book by its first pages

https://uncovered.ink
9•bookofjoe•41m ago•7 comments

Classic Amiga titles, free to download

https://amigafreeware.downer.tech/
2•doener•48m ago•0 comments

Next UK prime minister Andy Burnham drops digital ID scheme

https://www.reuters.com/world/uk/next-uk-prime-minister-andy-burnham-drops-digital-id-scheme-2026...
3•lemoncookiechip•48m ago•1 comments

World Cup France England 0:4 halftime

4•pm2222•51m ago•1 comments

Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day

https://www.neatnik.net/hardcore-indieweb
11•cdrnsf•58m ago•4 comments