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.

Elon Musk and Sam Altman spar on X after Apple files OpenAI lawsuit

https://www.cnbc.com/2026/07/12/elon-musk-and-sam-altman-spar-.html
1•root-parent•1m ago•0 comments

The Vulkan Kitchen: A Visual Tour of the Graphics Pipeline

https://fremaconsulting.ch/blog/vulkan
1•tohms•1m ago•0 comments

Show HN: Biscotti – on-device meeting transcription for macOS

1•scosman•2m ago•0 comments

Split – A Chrome extension that glitches the browser if you have too many tabs

1•GonzAVic•3m ago•0 comments

SpaceX cleared to fly Starship again after booster failure in May

https://techcrunch.com/2026/07/13/spacex-cleared-to-fly-starship-again-after-booster-failure-in-may/
1•Brajeshwar•4m ago•0 comments

Nestlé to Tweak Some Food Recipes to Appeal to Duller GLP-1 Palates

https://www.wsj.com/health/pharma/nestle-to-tweak-some-food-recipes-to-appeal-to-duller-glp-1-pal...
2•sefrost•6m ago•2 comments

Optimizing MiniMax M3 Sparse Attention on Nvidia Blackwell

https://fireworks.ai/blog/kernel-optimization-for-minimax-m3-on-nvidia-blackwell
1•smurda•6m ago•0 comments

Apple's rumored M7 Ultra targets 1.5TB and Blackwell-class AI performance

https://www.tomshardware.com/tech-industry/semiconductors/apples-rumored-m7-ultra-targets-1-5tb-o...
3•rbanffy•8m ago•0 comments

Flow – a compact data pipeline language that cuts LLM token usage by 33%

https://github.com/pinku/Flow
1•dpia•8m ago•0 comments

Unified CLI for running AI coding agents in isolated Docker or Podman containers

https://github.com/VibePod/vibepod-cli
1•nezhar•9m ago•0 comments

ID-JAG helps AI agents authenticate

https://nango.dev/blog/id-jag-agent-authentication/
1•rguldener•9m ago•0 comments

Test How hard to love you?

https://www.hardtolovetest.com/
1•jeyzolo•9m ago•1 comments

OB-GYN pay overhaul spells changes for maternal care

https://www.axios.com/2026/07/13/ob-gyn-pay-overhaul-changes-maternal-care
1•brandonb•10m ago•0 comments

The Efficiency Gains from Mergers

https://nicholasdecker.substack.com/p/the-efficiency-gains-from-mergers
1•surprisetalk•10m ago•0 comments

The Prompt Stops Mattering When You Leave the Room

https://x.com/i/article/2076675078620909569
1•deepakguptacse•11m ago•0 comments

Rewriting the Accreditation Playbook

https://pen.org/rewriting-the-accreditation-playbook/
1•hn_acker•11m ago•0 comments

AI-authored motion graphics with a compiler in the loop

https://samsonaligba.com/video-compiler-for-agents-and-humans
1•sa_gdi•11m ago•0 comments

I Built an AI System That Codes, Runs and Improves Itself

https://fatihkoc.net/posts/ai-system-that-improves-itself/
1•fatihkocnet•13m ago•0 comments

The Meridian of Her Greatness (2017)

https://samzdat.com/2017/06/01/the-meridian-of-her-greatness/
1•jxmorris12•14m ago•0 comments

Show HN: Stinger – Catch secret-stealing activity via local traps on macOS/Linux

https://github.com/0x4D31/stinger
1•0x4d31•14m ago•0 comments

Settling a 2006 conjecture on Huffman codes

https://iczelia.net/blog/settling-a-2006-conjecture-on-huffman-codes/
1•speckx•14m ago•0 comments

Harmonic, client-side additive models with uncertainty bands

https://chrismac860.github.io/harmonic/
2•cmackle•15m ago•0 comments

CortexWP AI: WordPress Agentic system for debugging and development

https://cortexwp.ai/blog/cortexwp-ai-wordpress-agent
1•mdrajinsharwar•15m ago•0 comments

The Cell Phone Novel Craze of Early 2000s Japan Did Not Destroy Literature

https://lithub.com/the-cell-phone-novel-craze-of-early-2000s-japan-did-not-in-fact-destroy-litera...
1•theanonymousone•18m ago•0 comments

Why Am I Left-Handed?

https://www.quantamagazine.org/why-am-i-left-handed-20260713/
2•Brajeshwar•18m ago•0 comments

Spaceflight is hard on the heart, yet artificial ones grow better in space

https://www.space.com/space-exploration/human-spaceflight/spaceflight-is-hard-on-the-heart-yet-ar...
1•marc__1•19m ago•0 comments

SynapseOS – Where the Kernel Thinks

https://github.com/velle999/SYNAPSE
1•vellesinclair•19m ago•0 comments

Reading Well

https://map.simonsarris.com/p/reading-well
1•simonsarris•20m ago•0 comments

The AI Safety Paradox

https://pointersgonewild.com/2026-07-03-the-ai-safety-paradox/
1•ibobev•22m ago•0 comments

Show HN: FDrive – Mount Anything as a FS (SFTP, S3, FTP, IPFS, ...)

https://github.com/mickael-kerjean/fdrive
1•mickael-kerjean•22m ago•0 comments