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.

Estimating Fable and Sol model sizes

https://twitter.com/anpaure/status/2083993647268405602
1•grahamsfde•2m ago•0 comments

EU Age Verification Project Mandates Hardware-Bound Attestation

https://linuxiac.com/eu-age-verification-project-mandates-hardware-bound-attestation/
1•RobotToaster•2m ago•0 comments

Special Relativity Boot Camp: A Geometry-First Introduction to Special Relativit

https://www.acsu.buffalo.edu/~whkinney/SpecialRelativityBootCamp/
1•fanf2•5m ago•0 comments

Anthropic's Fever Dream: Claude's package that stole real keys

https://www.aikido.dev/blog/anthropic-rogue-agents-package-stole-keys
1•lschueller•10m ago•0 comments

The next 50 years: humanity, AI, power – Yuval Noah Harari [video]

https://www.youtube.com/watch?v=_V_ed5fuexA[Video]
1•jamesblonde•11m ago•0 comments

Show HN: Authoryze- payment controls for AI agents

https://authoryze.ai
1•kevinfee•12m ago•2 comments

Show HN: Make your Framework 12 sound like a creaky door

https://github.com/ArcaEge/creakwork12
1•arcaege•14m ago•0 comments

GestãO de Carteiras E Ativos (Brazilian Project)

https://zeca.app.br/
1•selic•17m ago•0 comments

Healthy Criticism

https://karim.cloud/blog/posts/healthy-criticism
2•k_shehadeh•19m ago•0 comments

Sharing an X11 Server Across Hosts with FamilyWild

https://dobrowolski.dev/article/sharing-an-x-server-across-hosts-with-familywild/
3•shirozuki•20m ago•0 comments

A Top Law Firm Went from Standing Up to Trump to Bending the Knee

https://www.nytimes.com/2026/08/02/us/politics/paul-weiss-trump.html
3•JumpCrisscross•21m ago•0 comments

SynthID watermark is hard to break, but it doesn't solve AI disinformation

https://arstechnica.com/ai/2026/07/tested-google-synthid-works-great-but-labeling-ai-content-may-...
2•saikatsg•24m ago•0 comments

Python-based backtesting for Polymarket, with h5i-db

https://medium.com/@Koukyosyumei/python-based-backtesting-for-polymarket-with-h5i-db-a9fefee27ac9
1•syumei•27m ago•0 comments

Games at the press of a button: The Rip-O-Bot (1989)

https://blog.gingerbeardman.com/2026/08/02/games-at-the-press-of-a-button-the-rip-o-bot/
1•msephton•27m ago•0 comments

Plotlines: Every place and journey in every literature classic, on one map

https://peter-guillam123.github.io/plotlines/index.html
1•theanonymousone•29m ago•0 comments

Let the Machines In

https://blog.semenzin.com/let-the-machines-in/
2•lluvt•29m ago•0 comments

I gave local AI eyes

https://github.com/zyads/eyes
1•aether-zyads•31m ago•0 comments

Shed Blog

https://www.shedblog.co.uk/
2•thinkingemote•34m ago•0 comments

Adding Go's Defer to the TypeScript Compiler

https://healeycodes.com/adding-defer-to-the-typescript-compiler
1•healeycodes•34m ago•0 comments

Malaysia is reportedly shutting down Balaji Srinivasan's Network School

https://techcrunch.com/2026/08/02/malaysia-is-reportedly-shutting-down-balaji-srinivasans-network...
2•aanet•35m ago•0 comments

Show HN: MicroCodex Coding Agent – OpenAI/codex reimplemented in C++ <1MB binary

https://github.com/paoloanzn/microcodex
2•paoloanzn•35m ago•0 comments

Doxy – a browser Markdown and HTML editor (like Overleaf but no LaTeX)

https://trydoxy.com
1•iliesw•36m ago•0 comments

Why Curiosity May Be the Most Underrated Career Skill

https://www.forbes.com/sites/rodgerdeanduncan/2025/12/11/why-curiosity-may-be-the-most-underrated...
4•speckx•39m ago•1 comments

Bill Watterson: A Cartoonist's Advice

https://www.zenpencils.com/comic/128-bill-watterson-a-cartoonists-advice/
1•mixmastamyk•41m ago•0 comments

Engineering behind the xPal private messaging app cross-device message deletion

https://xpalapp.substack.com/p/the-engineering-behind-the-xpal-private
1•Brandon-Coll•43m ago•0 comments

TinyNES Review – A Super Niche NES Console

https://blog.lon.tv/2023/02/05/tinynes-review-a-super-niche-nes-console/
1•throwoutway•45m ago•0 comments

I built a non-physical GPU that does 194,396 yottaflops on one CPU core

https://github.com/pluscoder30-cpu/Omega_Field_GPU_Ultimate
1•soul-vector•45m ago•0 comments

I Built a Million-Dollar Machine for $200 [video]

https://www.youtube.com/watch?v=YP-hdsrOYo8
1•binyu•48m ago•0 comments

Mission High leads California in UC Berkeley admissions. But many don't graduate

https://sfstandard.com/2026/07/30/mission-high-uc-berkeley-admissions-dropout/
1•donsupreme•49m ago•0 comments

Energizing a vacuum-tube flip-flop module from a 1948 IBM system

https://www.righto.com/2026/07/ibm-604-trigger-tube-module.html
2•geerlingguy•50m ago•0 comments