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.

Exploring the "Banality" of Deception in Generative AI

https://arxiv.org/abs/2605.07012
1•jrepinc•2m ago•0 comments

China is going dark to develop its own Mythos

https://www.politico.eu/article/china-is-going-dark-to-develop-its-own-mythos-german-cyber-chief-...
1•jonbaer•2m ago•0 comments

Show HN: FasterFixes – Open-source feedback widget with MCP for coding agents

https://github.com/manucoffin/faster-fixes
1•manuelcoffin•8m ago•1 comments

How Elon Musk turned an online nobody into his biggest promoter

https://www.washingtonpost.com/technology/2026/05/13/elon-musk-engages-with-anonymous-x-acount-xf...
1•1vuio0pswjnm7•10m ago•0 comments

AMD DGF SuperCompression

https://gpuopen.com/learn/introducing-amd-dgf-supercompression/
1•ibobev•11m ago•0 comments

Precomputed Lens Transport Maps

https://arxiv.org/abs/2605.04017
1•ibobev•11m ago•0 comments

More is different in real-world multilayer networks

https://www.nature.com/articles/s41567-023-02132-1
1•hamburgererror•13m ago•0 comments

Denise: C64/Amiga emulator with shader and runAhead

https://sourceforge.net/projects/deniseemu/files/v2.8/
1•doener•15m ago•0 comments

Review: A House of Dynamite

https://medium.com/luminasticity/review-a-house-of-dynamite-b1170fbe1bcb
1•bryanrasmussen•18m ago•0 comments

AI-Assistance in Character Posing: How It Works in Cascadeur

https://cascadeur.com/blog/general/ai-assistance-in-3d-character-posing-how-it-works-in-cascadeur
1•embedding-shape•18m ago•0 comments

Mainline Linux 6.12 on Annapurna Labs Alpine V2 (Ubiquiti UNVR, UDM-Pro)

https://github.com/bcyangkmluohmars/linux-alpine-v2
1•kabelkevin•19m ago•0 comments

The Chinese whiz kids of Silicon Valley

https://restofworld.org/2026/chinese-ai-researchers-silicon-valley/
1•thm•19m ago•0 comments

Show HN: Dart Live – compiler, VM, analyzer and hot reload on the web via WASM

https://modulovalue.com/dart-live/
2•modulovalue•20m ago•0 comments

D3D12 LinAlg Matrix Preview

https://devblogs.microsoft.com/directx/d3d12-linalg-preview/
1•ibobev•20m ago•0 comments

Security Baseline

https://securitybaseline.eu/
1•TechTechTech•21m ago•0 comments

Childhood and Education: Do the Math

https://thezvi.substack.com/p/childhood-and-education-18-do-the
1•FergusArgyll•22m ago•0 comments

Show HN: HYPD – AI co-pilot for marketers running Google Ads

https://www.hypd.ai/
1•cionut•27m ago•0 comments

So you've installed `fzf`. Now what? (2023)

https://andrew-quinn.me/fzf/
1•mpweiher•27m ago•0 comments

Show HN: I built a crypto price predictor

https://coinsignal.co
2•hieunc229•28m ago•0 comments

Show HN: Embedded Spritesheet PNG Standard

https://mccormick.cx/games/embedded-spritesheet-png-spec/
1•chr15m•32m ago•0 comments

Windows 11 still runs on code from the 1990s

https://www.pcworld.com/article/3133963/windows-11-still-runs-on-code-from-the-1990s-microsoft-ad...
3•redbell•34m ago•0 comments

Sam Altman was winning on the stand, but it might not be enough

https://www.theverge.com/ai-artificial-intelligence/929129/sam-altman-testimony-elon-musk-openai-...
1•frb•34m ago•1 comments

LLMs and Buttondown – Applied Cartography

https://www.jmduke.com/posts/llm-born.html
1•rhazn•37m ago•0 comments

AI datacenters in space do not have a cooling problem

https://www.seangoedecke.com/space-ai-datacenters-do-not-have-a-cooling-problem/
2•rhazn•37m ago•1 comments

Partial static single information form

https://bernsteinbear.com/blog/partial-ssi/
1•ibobev•37m ago•0 comments

The Macintosh Serial Cable

https://www.colino.net/wordpress/archives/2026/05/11/the-macintosh-serial-cable-mini-din-8-590-05...
1•ibobev•37m ago•0 comments

Learnings from Crawling Technical Documentation

https://www.heltweg.org/posts/learnings-from-crawling-technical-documentation/
1•rhazn•38m ago•0 comments

The Side Effect You Can't See: Perceptual Parochialism in Software Engineering

https://mamad.purbo.org/posts/side-effects-and-scale/
1•weatherlight•40m ago•0 comments

Details of the Daring Airdrop at Tristan Da Cunha

https://www.tristandc.com/government/news-2026-05-11-airdrop.php
1•PuddleOfSausage•42m ago•0 comments

AI startup upgrades Euro air traffic systems and raises $5.5M

https://designverse.ai/blog
2•timreidmedia•42m ago•3 comments