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.

Qwe (kiwi): lightweight, flexible, file-first version/revision control system

https://github.com/mainak55512/qwe
1•thunderbong•33s ago•0 comments

Not sure how to view or share your Claude Code sessions? Drop them right here

https://specious.github.io/obsession/
1•specious•11m ago•0 comments

Carbon dioxide levels in the atmosphere just hit a 'depressing' new record

https://www.scientificamerican.com/article/carbon-dioxide-levels-in-the-atmosphere-just-hit-a-dep...
2•rolph•11m ago•0 comments

Why is southern Italy poorer than northern Italy?

https://statsandsociety.substack.com/p/fully-explaining-the-italian-south
3•paulpauper•14m ago•0 comments

Arthur Brooks on Reinvention, Religion, and the Science of Happiness (Ep. 274)

https://conversationswithtyler.com/episodes/arthur-brooks/
2•paulpauper•14m ago•0 comments

From Tiny Seed to Towering Sequoia: How Purdue Hackers Changed My Life

https://www.jackhogan.me/blog/from-tiny-seed-to-towering-sequoia
3•j0h120311•15m ago•0 comments

93k Layoffs in 2026

https://layoffs.fyi/
4•mgh2•15m ago•0 comments

SEC moves to scrap quarterly reporting requirement

https://www.ft.com/content/3560d1e3-8271-453f-84d6-4a875b9efd98
3•petethomas•19m ago•0 comments

Study to date on school phone bans

https://marginalrevolution.com/marginalrevolution/2026/05/the-best-study-to-date-on-school-phone-...
3•paulpauper•23m ago•1 comments

MCP Steroid – Give AI the whole IDE, not just the files

https://mcp-steroid.jonnyzzz.com/
3•crummy•27m ago•0 comments

The Pope Had to Call Customer Service

https://www.nytimes.com/2026/05/05/us/pope-leo-xiv-bank-customer-service.html
2•osnium123•31m ago•0 comments

Anthropic moral dev said AI overcorrection could address historical injustices

https://www.foxnews.com/politics/anthropics-moral-compass-architect-suggested-ai-overcorrection-c...
3•like_any_other•35m ago•3 comments

Defeating Works by Design's Unpickable Lock [video]

https://www.youtube.com/watch?v=rMi1dIqMwNw
2•zdw•37m ago•0 comments

ParseFlow – Optimize Files for Context

https://docs.parseflow.tech/
4•bollethegoalie•37m ago•0 comments

The First Modern Car Without Hydraulic Brakes Is Headed to Production

https://www.thedrive.com/news/the-first-modern-car-without-hydraulic-brakes-is-headed-to-production
2•voisin•41m ago•1 comments

Show HN: MCP-identity – Per-request cryptographic attestation for MCP servers

https://github.com/mustafabagdatli-git/mcp-identity
4•mustafabagdatli•44m ago•0 comments

Depression Hates a Moving Target

https://twitter.com/anishmoonka/status/2051517996481364144
3•delichon•48m ago•1 comments

Leadly – AI lead generation for small businesses at $9/month

https://willowy-kulfi-0cbaff.netlify.app
3•Leadly•54m ago•1 comments

Apple to Pay $250M to Settle Class Action over Delayed Siri Features

https://www.macrumors.com/2026/05/05/apple-class-action-siri-lawsuit-settlement/
4•mgh2•54m ago•0 comments

Trustworthy JavaScript for the Open Web

https://hacks.mozilla.org/2026/05/trustworthy-javascript-for-the-open-web/
2•nnx•58m ago•0 comments

Linear's MCP server accepts HTTP:// redirect URIs for confidential OAuth clients

https://github.com/korrel-dev/mcp-audits/tree/main/audits/linear
3•issazangana•1h ago•0 comments

Canadian fiddler sues Google after AI wrongly claimed he was a sex offender

https://www.theguardian.com/music/2026/may/05/canadian-ashley-macisaac-fiddler-musician-singer-so...
3•Teever•1h ago•0 comments

Bevy and egui desktop app in production

https://nominal.io/blog/nominal-connect-shipping-realtime-desktop-software-with-rust-bevy-and-egui
2•phsilva•1h ago•0 comments

Sample App – On-Device AI Assistant for Android

https://github.com/ajay-sainy/GemOfGemma
2•qarue•1h ago•0 comments

Skelm – Build AI agents in TypeScript without losing your mind

https://github.com/scottgl9/skelm
2•scottgl•1h ago•0 comments

Lessons on Building MCP Servers

https://taoofmac.com/space/blog/2026/04/29/2341
2•gmays•1h ago•0 comments

StarFighter 16-Inch

https://us.starlabs.systems/pages/starfighter
47•signa11•1h ago•23 comments

Security Engineering Is a Context Problem

https://aseemshrey.in/blog/security-engineering-is-a-context-problem/
3•LuD1161•1h ago•0 comments

Show HN: Library to make your own Windows program launcher (like dmenu)

https://github.com/cristeigabriela/wintheon
2•gabriela_c•1h ago•0 comments

Google is building an AI agent that could be its answer to OpenClaw

https://www.businessinsider.com/google-ai-agent-openclaw-remy-gemini-assistant-2026-5
3•droidjj•1h ago•0 comments