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.

Remote sync, MCP, and an API for your Obsidian vault

https://github.com/8thpark/geode
1•pmihaylov•19s ago•0 comments

The neutral proof standard for consequential AI-agent actions

https://github.com/Actenon
1•Bucko1•2m ago•0 comments

How much and why ACA Marketplace premiums are going up in 2027

https://www.healthsystemtracker.org/brief/how-much-and-why-aca-marketplace-premiums-are-going-up-...
1•LostMyLogin•3m ago•0 comments

A Treatise on How to Use the Internet Without Committing Philosophical Suicide

https://pastebin.com/Ft7P5m9F
1•jxmorris12•8m ago•0 comments

North Korean Hackers Compromise Go and PHP Packages

https://opensourcemalware.com/blog/polinrider-jumps-the-fence
2•6mile•11m ago•1 comments

Rewriting Bun in Rust

https://bun.com/blog/bun-in-rust
15•afturner•11m ago•1 comments

Show HN: Screenstab (tilt-shift-style screenshots) is now free and open source

2•mikaelaast•14m ago•0 comments

CrowdSound: A Song Composed Anonymously by the Internet

https://web.archive.org/web/20191208165423/https://crowdsound.net/lyrics
1•Jomal_HN•17m ago•0 comments

Open Source Barware: free, local-first bar inventory software (GPLv3)

https://opensourcebarware.com
1•RichBJamison•18m ago•0 comments

Apple's AWDL causing periodic 90ms ping on LAN

https://twitter.com/tomaskafka/status/2074963014596366670
2•tomaskafka•21m ago•0 comments

Build Your World Cup Dream Team

https://7-0-game.com/
1•jeyzolo•22m ago•1 comments

More Workers Take Mental Health Leave, and Bosses Aren't Happy

https://www.bloomberg.com/news/articles/2026-07-08/mental-health-leave-is-rising-as-more-us-worke...
4•wslh•22m ago•1 comments

BitTorrent's disastrous, legendary, and controversial story

https://www.theverge.com/tech/959848/bittorrent-story-25-years-piracy
3•colinprince•23m ago•0 comments

Robust Secret Storage in Networks

https://arxiv.org/abs/2606.30261
1•Anon84•23m ago•0 comments

Show HN: Probed – Talk to your People. Customer chat, feedback, and roadmaps

https://probed.chat/
1•HeadOfProbing•24m ago•0 comments

Lucky young couple lands gig taking care of uninhabited Irish island

https://www.cbc.ca/lite/story/1.7477696
1•colinprince•24m ago•0 comments

Reframing smart glasses as 'pervert glasses'

https://this.weekinsecurity.com/reframing-smart-glasses-as-pervert-glasses/
6•g-b-r•24m ago•1 comments

Does the Recent SCOTUS Geofence Case Threaten Flock?

https://www.youtube.com/watch?v=R_fVvppq7rg
1•sbuttgereit•27m ago•1 comments

Shares of gun seller GrabAGun, backed by Don Trump Jr, tank on NYSE debut (2025)

https://www.cnbc.com/2025/07/16/trump-jr-grabagun-stock-gun-merger.html
3•xrd•28m ago•0 comments

Benchmarking Coding Agents on Databricks' Multi-Million Line Codebase

https://www.databricks.com/blog/benchmarking-coding-agents-databricks-multi-million-line-codebase
1•tanelpoder•31m ago•0 comments

Nika – Intent as Code for AI Workflows

https://github.com/supernovae-st/nika
1•ThibautMelen•31m ago•0 comments

Dxball2 WASM

https://scritty-dev.github.io/dxball2/
1•scritty-dev•34m ago•0 comments

Show HN: Runtime security enforcement and capability scoping for agents

https://www.clayseal.com
2•pberlizov•34m ago•0 comments

Show HN: Mtok.market – a non-custodial spot market for AI inference tokens

https://mtok.market/
1•royashbrook•35m ago•0 comments

I built Outerloop – manage your Macs as a Claude Code fleet from one dashboard

https://github.com/phyolim/outerloop
1•phylim•35m ago•0 comments

Alert: Cyclospora Cayetanensis Multistate Outbreak with Midwest Epicenter

https://www.foiclinical.com/posts/alert-cyclospora-cayetanensis-multistate-outbreak-with-midwest-...
3•oceanacd•37m ago•0 comments

The extraordinary life and quiet death of the largest iceberg

https://www.nationalgeographic.com/environment/article/the-extraordinary-life-and-quiet-death-of-...
5•littlexsparkee•41m ago•1 comments

US judge approves Elon Musk settlement with SEC despite misgivings, 'red flags'

https://www.reuters.com/world/judge-approves-elon-musk-settlement-with-us-sec-over-twitter-disclo...
7•tartoran•44m ago•0 comments

Istota, a multi-user AI agent and personal operating system

https://istota.cynium.com/
3•durakot•44m ago•0 comments

I stopped watching my agents work and started listening

https://jonmagic.com/posts/i-stopped-watching-my-agents-work-and-started-listening/
2•dangoor•44m ago•0 comments