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.

The forbidden railway: Vienna – Pyongyang (2008)

http://vienna-pyongyang.blogspot.com/
1•throwaway2037•1m ago•1 comments

Trump's Plan for Science: More Money for A.I., Less for Universities

https://www.nytimes.com/2026/07/22/us/politics/trump-research-funding-artificial-intelligence.html
1•goplayoutside•2m ago•0 comments

Modern Kubernetes Homelab: GitOps with ArgoCD

https://www.jonashietala.se/blog/2026/07/23/gitops_with_argocd/
1•lawn•3m ago•0 comments

Soon everybody will be worried about Chinese LLM's as agent Trojan horses

https://twitter.com/i/status/2080180914135667085
2•mherrmann•10m ago•1 comments

The Law of Leaky Abstractions (2002)

https://www.joelonsoftware.com/2002/11/11/the-law-of-leaky-abstractions/
2•rldjbpin•11m ago•1 comments

Google's Design Ethicist Testimony [pdf]

https://www.commerce.senate.gov/wp-content/uploads/media/doc/06_25_19Harris_Testimony.pdf
1•malaiqa•12m ago•1 comments

Code review: slapping an AI reviewer on top of an AI author doesn't cut it

https://blog.codacy.com/ai-code-review-is-not-enough-how-engineering-leaders-should-gate-ai-gener...
2•ARayOutOfBounds•13m ago•1 comments

OpenAI's models broke free and launched a cyberattack

https://www.politico.com/news/2026/07/22/openai-hugging-face-congress-response-01009190
1•Alien1Being•13m ago•0 comments

Show HN: I built a token-per-second counter in Go

https://github.com/canergulay/tokps
1•canergl•16m ago•0 comments

Beyond Arc and GSM: Langford Coverage as a Benchmark for ASI

https://zenodo.org/records/21502973
1•Mlangford75•19m ago•1 comments

Stupid Slow: The Perceived Speed of Computers (2024)

https://www.datagubbe.se/stupidslow/
1•doener•19m ago•1 comments

KTransformers – Flexible LLM Inference Framework

https://ktransformers.net/en
1•stareatgoats•23m ago•0 comments

OpenAI's Australian data centre drops water recycling plan

https://www.reuters.com/business/energy/openais-australian-data-centre-drops-water-recycling-plan...
3•adithyaharish•23m ago•0 comments

I gave Pi one tool and it ran for eight days

https://monotykamary.com/posts/i-gave-pi-one-tool/
1•kennyfrc•24m ago•0 comments

Why creators are hedging against the TikTok algorithm

https://www.officeos.co/blog/why-creators-are-hedging-against-the-tiktok-algorithm
1•Harro123•24m ago•0 comments

I'm helping DBA-less SQL Server Shops for free hoping that I can build my leads

https://consulting.marlonribunal.com/
1•MarlonPro•24m ago•0 comments

Ode to Jim Goad

https://counter-currents.com/2026/07/ode-to-jim-goad/
1•MrBuddyCasino•24m ago•0 comments

Distillation Is Not Anti-American, Weaponizing It Is

https://hardcoresoftware.learningbyshipping.com/p/241-distillation-is-not-anti-american
1•rbanffy•25m ago•0 comments

Show HN: Clipboard Saver – Browser extension to save and organize copied text

https://github.com/tejasashinde/clipboard-saver-extension
1•tejas_s•27m ago•0 comments

Find the prefect domain name with Gemeni and Agents (Antigravity)

https://rizz.dev/blog/guides/find-an-available-domain-name-with-ai
1•rizzdev•27m ago•1 comments

Besser is an open-source low-code platform to build all APIs, databases, agents

https://besser-pearl.org/
1•u1hcw9nx•28m ago•0 comments

Buzz – Where people and agents work together

https://buzz.xyz
1•blackdivine•28m ago•0 comments

World Artificial Intelligence Cooperation Organization

https://en.wikipedia.org/wiki/World_Artificial_Intelligence_Cooperation_Organization
1•iamflimflam1•30m ago•0 comments

Prefactoring: Clear the Way for Your New Feature

https://testing.googleblog.com/2026/07/prefactoring-clear-way-for-your-new.html
1•birdculture•31m ago•0 comments

Antares: Highly Efficient Open Weight AI Models for Vulnerability Localization

https://blogs.cisco.com/ai/introducing-antares-the-most-efficient-open-weight-ai-models-for-vulne...
1•shallow-mind•39m ago•0 comments

Iran strikes on CIA facilities prompt questions about possible Russian role

https://www.reuters.com/world/middle-east/iran-strikes-cia-facilities-prompt-questions-about-poss...
2•geox•41m ago•0 comments

Recent Data Graphics Pulling Their Weight

https://www.anychart.com/blog/2026/07/10/data-graphics-pull-their-weight/
1•latentframe•42m ago•0 comments

Valve give Steam Wishlist and Steam Gifts a major needed upgrade

https://www.gamingonlinux.com/2026/07/valve-give-steam-wishlist-and-steam-gifts-a-major-needed-up...
2•Erenay09•46m ago•0 comments

Graffiti (Conjecture-Generating Program)

https://en.wikipedia.org/wiki/Graffiti_(program)
1•YeGoblynQueenne•46m ago•0 comments

Show HN: Loop me in - Get looped into people's chats with AI. Help out. Get paid

https://www.loopmein.ai/
1•guico•47m ago•1 comments