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.

Linux Mint 27 arrives next month, and I like it

https://www.zdnet.com/tech/linux-mint-27-release-date/
1•CrankyBear•50s ago•0 comments

Lattices – open-source Programmatic Window Manager

https://lattices.dev/
1•arach•59s ago•0 comments

Five Grand Challenges in Material Science for AI to Solve

https://discoveredmaterials.com/grand-challenges/
1•advaith08•2m ago•1 comments

The Election Day Revolt That Threatens America's AI Boom

https://www.wsj.com/tech/ai/the-election-day-revolt-that-threatens-americas-ai-boom-03a53b52
2•10111001•3m ago•0 comments

Tobacco company got smoked by leaving secret recipes on a file share

https://www.theregister.com/security/2026/11/05/tobacco-company-got-smoked-by-leaving-secret-reci...
2•Bender•4m ago•0 comments

How Contemporary academic structures constrain scientific creativity

https://www.nature.com/articles/s41562-026-02575-5
1•Anon84•5m ago•0 comments

Paraguay bank collapses with half of population's savings

https://www.aljazeera.com/video/newsfeed/2026/11/5/paraguay-bank-collapses-with-half-of-populatio...
5•mikhael•6m ago•0 comments

Paraguay's President Resigned

https://www.reuters.com/world/americas/paraguay-president-pea-resigns-under-mounting-pressure-ban...
6•katzenberg•6m ago•0 comments

Until – Humans make the decisions, the agent loops until the code matches

https://until.dev
1•abby11•6m ago•0 comments

Discord rewritten in Rust, uses 93% less RAM

https://www.windowslatest.com/2026/11/05/discord-is-killing-its-electron-app-that-can-eat-4gb-of-...
3•AbuAssar•6m ago•0 comments

Flink's Kafka connector commits offsets to Kafka

https://dalelane.co.uk/blog/?p=6161
1•eatonphil•6m ago•0 comments

This Year's Super El Niño Will Worsen Global Hunger

https://e360.yale.edu/features/super-el-nino-agriculture
2•speckx•10m ago•0 comments

Pull the Plug on Technofascism Before It Reboots

https://www.techpolicy.press/pull-the-plug-on-technofascism-before-it-reboots/
5•beedeebeedee•10m ago•1 comments

The AI Times – wake up to a printed paper, not a feed

https://github.com/firstninja-v/the-ai-times
1•vsairamkumarred•10m ago•0 comments

Show HN: Site/app blocker and usage tracker specifically for Linux

https://glockerapp.com/
1•noufalibrahim•11m ago•0 comments

Japan contractor's AI-guided tunnel boring outperforms human operators

https://asia.nikkei.com/business/technology/artificial-intelligence/japan-contractor-s-ai-guided-...
2•mikhael•12m ago•0 comments

T-Mobile launches $90 5Gbps fiber internet plan

https://www.tomshardware.com/service-providers/network-providers/t-mobile-launches-usd90-5-gbps-f...
4•Brajeshwar•13m ago•0 comments

Google Summaries Aren't About AI, They're About Lock-In

https://www.eff.org/deeplinks/2026/11/google-summaries-arent-about-ai-theyre-about-lock
1•Brajeshwar•13m ago•0 comments

UK government considers smart glasses ban over secret filming concerns

https://www.theguardian.com/uk-news/2026/nov/04/uk-government-considers-smart-glasses-ban-over-se...
4•Brajeshwar•13m ago•0 comments

Remote Desktop for Mac in 2026

https://macky.dev/blog/remote-desktop-mac-options
3•wslh•14m ago•0 comments

The Hutterites' Guide to Technology

https://macleans.ca/longforms/the-hutterites-guide-to-technology/
2•Teever•14m ago•0 comments

Google, Meta, TikTok sue to block California youth social media law

https://www.reuters.com/world/us/google-meta-tiktok-sue-block-california-youth-social-media-law-2...
4•tartoran•15m ago•0 comments

The Confessions of an AI Fraud Kingpin

https://www.404media.co/the-confessions-of-an-ai-fraud-kingpin-onlyfake-owner-nazarenko/
4•Teever•16m ago•0 comments

Services4Agents – Pay-per-call infrastructure for autonomous agents

https://services4agents.fyi
2•alterdaness•16m ago•0 comments

Ask HN: Local AI Models for Coding and General Tasks?

2•giantg2•17m ago•0 comments

My psychophysics as a bilateral cochlear implant user

https://claude.ai/artifact/L8qsMc3SorytGW3LA81nYf
3•mi-rae•17m ago•1 comments

Datadog Degradation, but No Incident?

https://updog.ai/status/datadog
3•connorbrinton•17m ago•1 comments

Show HN: BeatBox – a cybersecurity lab on your own computer (QEMU, Rust)

https://github.com/0xthearchitect/beatbox
2•0xthearchitect•18m ago•0 comments

Ask HN: Any good AI design tools for pitch decks and visuals?

3•AlanAAG•20m ago•0 comments

The Stacks Project, Formalized in Lean

https://axiommath.ai/research/the-stacks-project-formalized/
3•namanbnsl•21m ago•0 comments