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

Building apps like the hero of 12 angry men

https://wman.substack.com/p/building-apps
1•tetek•8s ago•0 comments

MapRoot: Two OSS zero-days to cross-tenant RCE in Microsoft Planetary Computer

https://enclave.ai/blog/maproot-two-cross-tenant-rce-on-microsoft-planetary-computer
1•talhof8•12s ago•0 comments

Show HN: Flightdeck – self-hosted observability and control for AI agents

https://github.com/flightdeckhq/flightdeck
1•pykul•1m ago•0 comments

Ask HN: How to introduce cloud computing to high schoolers?

1•shivajikobardan•2m ago•0 comments

Acme CAA Extensions to Become Mandatory

https://www.feistyduck.com/newsletter/issue_137_acme_caa__extensions_to_become_mandatory
1•speckx•2m ago•0 comments

NASA satellites locate mysterious GPS jammer within several kilometers in Iran

https://arstechnica.com/gadgets/2026/05/nasa-satellites-can-spot-gps-jammers-on-earth/
1•ck2•4m ago•0 comments

From Chivalry to Involution in the Evolution of Wuxia

https://systemsthinkingcollection.substack.com/p/swords-on-the-margins
1•InputName•4m ago•0 comments

Creusot helps you prove your Rust code is correct

https://github.com/creusot-rs/creusot/tree/master
1•fanf2•5m ago•0 comments

AI Marketing and Growth Specilaist

1•AiGrowth•5m ago•1 comments

Soviet 80s supercomputer project "Start"

https://start.iis.nsk.su/
1•phront•7m ago•0 comments

The Visa Empire: Borders as a Business

https://www.lighthousereports.com/investigation/the-visa-empire-borders-as-a-business/
1•prakhar897•7m ago•0 comments

Giving LLMs a Formal Reasoning Engine for Code Analysis

https://yogthos.net/posts/2026-04-08-neurosymbolic-mcp.html
1•davidjade•9m ago•1 comments

New ad intelligence beta for app marketers –TikTok live,Meta/Google/Apple coming

https://appstorestatistics.com/ads-intelligence
1•tkrenn06•9m ago•0 comments

Spread: A simple, fast spreadsheet viewer written in Rust using GPUI

https://github.com/samuelcolvin/spread
1•sbt567•9m ago•0 comments

New York Passes Tax on the Ultra-Wealthy

https://www.cnbc.com/2026/05/28/new-york-mamdani-pied-a-terre-tax-passes.html
2•proofofcontempt•10m ago•0 comments

European Software

https://niqwithq.com/posts/european-software
1•speckx•12m ago•0 comments

Garnix Is Shutting Down

https://old.reddit.com/r/NixOS/comments/1tq47o4/garnix_is_shutting_down_and_being_open_sourced
1•flurie•12m ago•0 comments

Local-First and Portable CI

https://prefix.dev/blog/portable-ci-with-pixi
2•synparb•13m ago•0 comments

CNN sues Perplexity over 'verbatim' copycat articles

https://www.theverge.com/ai-artificial-intelligence/938893/cnn-perplexity-ai-copyright-lawsuit
1•thm•13m ago•0 comments

Learning from Ava:Lessons from Trustworthy AI for Policy and Dev Research

https://arxiv.org/abs/2604.17843
1•hek2sch•14m ago•0 comments

The Upcoming Sunset of DataSpell

https://blog.jetbrains.com/dataspell/2026/05/the-upcoming-sunset-of-dataspell/
1•BewareTheYiga•14m ago•1 comments

The 'brain as radio' model of consciousness – and what it means for AGI

https://www.salars.net/consciousness/brain-as-broadcast-receiver-series-part-1-the-radio-in-your-...
1•rsalars•14m ago•0 comments

Modern C++ Tutorial: C++ 11/14/17/20 On the Fly

https://changkun.de/modern-cpp/
1•ibobev•14m ago•0 comments

Searching for Birds

https://SearchingForBirds.VisualCinnamon.com/
1•robin_reala•14m ago•0 comments

Why Google's AI can't spell Google (or anything else)

https://techcrunch.com/2026/05/27/why-googles-ai-cant-spell-google-or-anything-else/
1•Brajeshwar•15m ago•0 comments

Websites have a new way to spy on visitors: analyzing their SSD activity

https://arstechnica.com/security/2026/05/websites-have-a-new-way-to-spy-on-visitors-analyzing-the...
2•Brajeshwar•15m ago•0 comments

Cache Hierarchy Matters for Pragmatism

https://www.khola.blog/p/the-pragmatic-programmer-after-the
1•bcapchickadee•16m ago•0 comments

Wix laying off about 20% of its workforce. CEO cites AI, exchange rates

https://www.cnbc.com/2026/05/28/wix-layoffs-ai-exchange-rates.html
2•tcp_handshaker•16m ago•1 comments

Anonymous plaintiffs have asked a NYC court to declare them owners of 3.8M BTC

https://www.galaxy.com/insights/research/satoshi-bitcoin-salomon-brothers-patoshi-abandoned-prope...
1•int32_64•17m ago•0 comments

Valve hikes Steam Deck prices by more than 40%, blaming rising costs

https://www.bbc.com/news/articles/cz725d5d1x7o
3•-1•17m ago•0 comments