frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

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•11mo 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.

Stop Treating Agent Sandboxes as Cattle

https://opencomputer.dev/blog/stop-treating-sandboxes-as-cattle/
1•iacguy•9m ago•0 comments

Interview with Josh Fisher – Inventing VLIW, Multiflow, Itanium, VLIW's Success [video]

https://www.youtube.com/watch?v=ZF8ohzWmuzI
1•tambourine_man•14m ago•0 comments

Personal Loan Eligibility Calculator Online – SMFG India Credit

https://www.smfgindiacredit.com/personal-loan-eligibility-calculator.aspx
1•saumyaraut11•20m ago•0 comments

Copy.fail: a small Linux kernel bug with an unusually big blast radius

https://jorijn.com/en/blog/copy-fail-cve-2026-31431-linux-kernel-bug-explained/
1•jorijn•32m ago•1 comments

Stitch Together Lots of Little HTML Pages with Navigations for Interactions

https://blog.jim-nielsen.com/2026/small-html-pages/
2•OuterVale•36m ago•0 comments

Show HN: Kula – a family health platform that makes sense of your data

2•samuraikmc•39m ago•0 comments

Apple discontinues $599 base Mac mini. Entry-level model starts at $799 with 512

https://macdailynews.com/2026/05/01/apple-discontinues-599-base-mac-mini-entry-level-model-now-st...
1•apparent•41m ago•3 comments

Pake: Webpage to desktop app in one command using rust

https://github.com/tw93/Pake
1•AbuAssar•45m ago•0 comments

Learning Randomized Reductions

https://arxiv.org/abs/2412.18134
1•matt_d•47m ago•0 comments

Stock Market Course

1•Apextrading•49m ago•0 comments

The Vision of Harmandeep Singh Kandhari in Premium Housing

https://harmandeep-singh-kadhari.wuaze.com/
1•KirtiKKapoor•54m ago•0 comments

9social: A Social Network for Plan9

https://www.youtube.com/watch?v=q6qVnlCjcAI
2•dharmatech•59m ago•0 comments

High Performance Motor Control from the Ground Up – Field Oriented Control (FOC) [video]

https://www.youtube.com/watch?v=ujofKWmGChw
3•num42•1h ago•0 comments

Use Cheaper Models with Claude

https://gist.github.com/gitcloned/1929590e2fa0d0267919c6826808da2c
1•ashish0112•1h ago•5 comments

The Engineering Constraints of Distributed LLM Inference over the Open Internet

https://siliconandsoul.substack.com/p/the-engineering-constraints-of-distributed
1•essenceX•1h ago•0 comments

Practical Electronics Course

https://practicingelectronics.com/practical-electronics-course/
2•ofrzeta•1h ago•2 comments

Humanoid Robot Actuators: The Complete Engineering Guide

https://www.firgelli.com/pages/humanoid-robot-actuators
20•ofrzeta•1h ago•0 comments

IPv4 Tools – IP Lookup, PTR Search, CIDR, ASN

https://worldip.io/tools
1•tuxxin•1h ago•1 comments

Show HN: Maxcred – app to maximise your credit card rewards

https://maxcred.vercel.app
1•theoo21•1h ago•0 comments

BrowserQuest – Mozilla's HTML5 MMO is back

https://korben.info/browserquest-mmo-mozilla-html5-retour.html
4•threejin•1h ago•1 comments

I Automate Everything

https://effective-programmer.com/how-i-actually-automate-everything-0d97ed624a34?sk=f8a15ad7e32cd...
2•naveed125•1h ago•1 comments

StartupLaunchPage – One Page 1500 Fixed Boxes Checkbox Puzzle Game

https://startuplaunchpage.com
3•vnyarongi•1h ago•1 comments

Show HN: TTSC – TypeScript-Go compiler and runner with transform plugins

https://github.com/samchon/ttsc
1•autobe•1h ago•1 comments

Entrepreneurs Flocked to Colorado. Now Red Tape Is Driving Some Away

https://www.wsj.com/business/entrepreneurs-flocked-to-colorado-now-red-tape-is-driving-some-away-...
2•bookmtn•1h ago•2 comments

Real Linux in a Browser Tab

https://linuxontab.com/
2•kilian-ai•1h ago•0 comments

The Scooter and the Bike

https://maxmautner.com/2026/04/12/scooter-vs-bike.html
1•mslate•2h ago•0 comments

HyperList: A powerful TUI for creating, editing, and managing HyperLists

https://github.com/isene/hyperlist
2•thunderbong•2h ago•1 comments

LegalEase – plain-English incorporation guidance for Canadian founders

https://legalease.dev/legalease.dev/
2•margikoca•2h ago•0 comments

The Tech Stack in 2026 (pic)

https://i.imgur.com/w8Ziffp.jpeg
2•ivewonyoung•2h ago•0 comments

Spirit Airlines shuts down; says it can't keep up with higher oil prices

https://apnews.com/article/spirit-airlines-trump-bailout-bankruptcy-37a4818e1b71c0905d022f669d85948c
2•ZeidJ•2h ago•1 comments