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.

Show HN: Tool for creating step-by-step tutorials from screen recordings. No AI

https://framepin.com/
1•aksuta•1m ago•0 comments

Condom-maker is getting squeezed

https://www.economist.com/business/2026/05/27/the-worlds-top-condom-maker-is-getting-squeezed
1•andsoitis•1m ago•0 comments

A thousand Postgres branches for $1

https://xata.io/blog/a-thousand-postgres-branches-for-1
1•tudorg•3m ago•0 comments

The Sign-Off Layer Is Becoming the Real Engineering System

https://newsletter.thelongcommit.com/p/the-sign-off-layer-is-becoming-the
2•jason_s•8m ago•0 comments

AI is code – and can't be prompted into being smarter

https://www.theregister.com/ai-and-ml/2026/06/14/ai-is-code-and-cant-be-prompted-into-being-smart...
2•wglb•9m ago•0 comments

Why Linux Still Feels Unstable

https://www.whileforloop.com/blog/2026/06/14/why-linux-still-feels-unstable/
2•wook__•11m ago•1 comments

Holy Git! Microsoft code-sharing site suffers downtime, despite move to Azure

https://www.theregister.com/software/2026/06/12/github-outages-persist-as-ai-coding-drives-traffi...
1•Bender•12m ago•0 comments

NHS patients can't opt out of Palantir's data platform – but their hospital can

https://www.theregister.com/databases/2026/06/13/nhs-patients-cant-opt-out-of-palantirs-data-plat...
2•Bender•12m ago•0 comments

Federal Network Agency vs. Steam: Investigation into "Plantation Simulator"

https://www.heise.de/en/news/Federal-Network-Agency-vs-Steam-Investigation-into-Plantation-Simula...
1•mschuster91•13m ago•0 comments

The Minecraft community so nostalgia blinded

1•letlearnbasic•13m ago•0 comments

How to Become an AI-Native Software Engineer? What an AI-Native Team Looks Like

https://medium.com/vibecodingpub/how-to-become-an-ai-native-software-engineer-8f4bda05e7dc
2•SaeedZF•14m ago•0 comments

Why pushback is growing against New Jersey's crazy e-bike law

https://electrek.co/2026/06/13/why-pushback-is-growing-against-new-jerseys-crazy-e-bike-law/
1•Bender•14m ago•0 comments

Vibe Coder vs. Software Engineer

https://yusufaytas.com/vibe-coder-vs-software-engineer
11•yusufaytas•15m ago•0 comments

Why can't I type and scroll at the same time?

https://scrollpods.app/blog/why-cant-i-type-and-scroll-at-the-same-time
1•tippa123•15m ago•0 comments

Researchers uncovering ADHD links to other health conditions

https://www.washingtonpost.com/wellness/2026/06/14/adhd-is-linked-chronic-pain-other-health-condi...
1•bookofjoe•17m ago•1 comments

Commanded, Meet EventSourcingDB

https://docs.eventsourcingdb.io/blog/2026/06/15/commanded-meet-eventsourcingdb/
2•goloroden•17m ago•0 comments

The Leading Deepfake Expert No Longer Trusts His Own Eyes

https://www.nytimes.com/2026/06/14/us/ai-deepfake-hany-farid.html
1•nhyun•20m ago•0 comments

How Are You Feelin.today?

https://feelin.today/
3•michalwarda•20m ago•1 comments

Show HN: Ray Hosting – Topology-aware game server orchestrator made from scratch

https://ray-hosting.com/en-US
2•bardhyliis•23m ago•0 comments

Why All the PRs?

https://idiallo.com/blog/why-all-the-prs
1•firefoxd•24m ago•0 comments

Bring Siri AI to EU iPhone Users Safely

https://siri4eu.com
7•peterspath•27m ago•7 comments

The Fertile Void

https://d.glezos.com/the-fertile-void/
1•gtzi•30m ago•0 comments

Companies are scrambling to curtail soaring AI costs

https://www.economist.com/business/2026/06/14/companies-are-scrambling-to-curtail-soaring-ai-costs
2•andsoitis•30m ago•0 comments

UK to announce Australia-style social media ban for teenagers

https://www.ft.com/content/e3b7be6f-99e7-42d2-a3bb-e400690c7bc0
1•mmarian•30m ago•1 comments

The Aeneid by Virgil (19B.C.E)

https://classics.mit.edu/Virgil/aeneid.html
1•andsoitis•32m ago•0 comments

Show HN: Pg-status – lightweight HTTP sidecar for PG master/replica discovery

https://github.com/krylosov-aa/pg-status
2•krylosov-aa•32m ago•0 comments

Claude Code Is Dead

https://claude-code-is-dead.vercel.app/
3•gidellav•33m ago•0 comments

Webxdc – Secure mini apps for chats

https://webxdc.org/
1•birdculture•40m ago•0 comments

Paul Krugman breaks down problems with SpaceX valuation [video]

https://www.youtube.com/watch?v=jqjcOs-N6a8
3•jethronethro•40m ago•0 comments

Is Musk the richest American ever now? No, except as a consumer

1•dfps•41m ago•0 comments