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.

Loops? Graphs? Prolog

https://deepclause.substack.com/p/loops-graphs-prolog
1•schmuhblaster•1m ago•0 comments

How to Manage Your Robot

https://johnjeffers.com/how-to-manage-your-robot/
2•mooreds•2m ago•0 comments

Show HN: Writemark, a dependency free web component for inline Markdown editing

2•_boffin_•4m ago•0 comments

Did They Ghost You?

https://didtheyghostyou.com/
3•mooreds•4m ago•0 comments

Ruflo: An agent meta-harness for Claude Code and Codex

https://github.com/ruvnet/ruflo
2•ms7892•10m ago•0 comments

Fedora 45 Atomic Desktops Look to Allow for Web-Based Remote Installations

https://www.phoronix.com/news/Fedora-45-Atomic-Remote-Install
2•nateb2022•13m ago•0 comments

Show HN: Awsmux – Multi-account AWS CLI, up to 5.4x faster, 7.4x fewer tokens

https://github.com/0hardik1/awsmux
2•0hardik1•13m ago•0 comments

Have your say on advancing AI transparency in Canada

https://ised-isde.canada.ca/site/ised/en/have-your-say-advancing-ai-transparency-canada
1•hmokiguess•15m ago•0 comments

Ask HN: What are some popular AI detection software that you know/have used?

1•dd-sharma•18m ago•1 comments

NVLink, NVSwitch, and All That

https://blog.doubleword.ai/nvlink-scale-up
1•matt_d•19m ago•0 comments

How are you authorizing AI agents that call MCP servers?

https://www.keydris.com/
2•ahmed89•25m ago•0 comments

JetBrains Is Sunsetting Kotlin Notebook – What It Means for Kotlin Developers

https://medium.com/@muhamadsyafii4/jetbrains-is-sunsetting-kotlin-notebook-what-it-means-for-kotl...
4•sorokod•28m ago•1 comments

Show HN: Open-source AI bookmark manager for busy people

https://github.com/rortan134/cache-app
1•gsmt•32m ago•2 comments

'Shameful': Pentagon accused of cover-up over US Military casualties in Iran war

https://www.theguardian.com/us-news/ng-interactive/2026/jul/25/pentagon-iran-war-casualties-cover-up
4•hebelehubele•32m ago•0 comments

America Is About to Go over a Peptide Cliff

https://www.theatlantic.com/health/2026/07/peptide-bpc157-fda-compounding-pharmacy/688052/
3•paulpauper•33m ago•0 comments

When Middle Age Starts

https://www.theatlantic.com/family/2026/07/middle-age-start-end/688021/
2•paulpauper•33m ago•0 comments

I Tried Coding My Own Graphics Library

https://www.youtube.com/watch?v=_JGMgpyCTsY
1•birdculture•34m ago•0 comments

You Cannot Escape the Details

https://davidnicholaswilliams.com/you-cannot-escape-the-details/
1•davnicwil•34m ago•0 comments

General Resolution: LLM Usage in Debian

https://www.debian.org/vote/2026/vote_002
3•zdw•38m ago•0 comments

The Next Ten Billion Years (2013)

https://www.resilience.org/stories/2013-09-05/the-next-ten-billion-years/
2•simonebrunozzi•38m ago•0 comments

Show HN: Proxmox -> Share your host's Bluetooth with a VM over the network

https://github.com/lucid-fabrics/proxmox-bluetooth
14•wmehanna•41m ago•2 comments

Show HN: I created a way to turn your GitHub contribution graph into a game

https://ykdojo.github.io/gh-commit-history/
1•ykev•43m ago•1 comments

Show HN: Minesweeper Raycasted

https://claude.ai/public/artifacts/725f961b-09dc-4a66-8dac-8fefeeb69a1f
2•franze•43m ago•0 comments

Agent's Personality Tax: Stop Re‑Buying Your Agent's Context

https://tanishq.xyz/engineering/agent-personality-tax
1•tanishqxyz•43m ago•1 comments

Show HN: Tasku. Manage Tasks from the Terminal

https://github.com/tomdringer/tasku
1•nerimasoft•44m ago•0 comments

Car Hacking and Vulnerability Reporting in 2026

https://www.hakstuff.net/blog/car-hacking-and-vulnerability-reporting-in-2026
1•simonebrunozzi•47m ago•1 comments

Producing ammonia and fertiliser using wind power in Morris, Minnesota

https://ammoniaenergy.org/articles/flexible-renewable-ammonia-demonstrator-now-operational-in-min...
28•gritzko•52m ago•5 comments

NanoPutians, organic molecules whose structural formulae resemble human forms

https://en.wikipedia.org/wiki/NanoPutian
3•okl•52m ago•0 comments

Tokokino

https://tokokino.com
1•handfuloflight•53m ago•0 comments

Geohash

https://en.wikipedia.org/wiki/Geohash
2•colinprince•55m ago•0 comments