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.

They are just thoughts and feelings

1•alfarez•3m ago•0 comments

Datasaurus Dozen

https://en.wikipedia.org/wiki/Datasaurus_dozen
1•diatone•3m ago•0 comments

Being early looks a lot like being wrong: notes after a defence tech exit

https://medium.com/@ErikKannike/being-early-looks-a-lot-like-being-wrong-notes-after-a-defence-te...
1•possiblelion•4m ago•0 comments

The Center on Long-Term Risk

https://longtermrisk.org/about-us
2•Bluestein•5m ago•0 comments

Ask HN: What are your rules for letting an AI agent commit code?

1•Marvin_RunAI•9m ago•0 comments

Why e-readers are so expensive?

https://world-of-ereader.com/why-e-readers-are-so-expensive/
1•nicoloren•12m ago•0 comments

Gemini Spark now integrates with Chrome

https://blog.google/innovation-and-ai/products/gemini-app/gemini-spark-updates-july-2026/
1•nyku•14m ago•0 comments

Linux Network Latency Testing

https://0xcafed00d.neocities.org/#/linux/network-latency-testing
1•neomech•14m ago•0 comments

The Problem – Machine Intelligence Research Institute

https://intelligence.org/the-problem/
1•1d22a•17m ago•0 comments

Evidence of a Global SuperOrganism (2008)

https://kk.org/thetechnium/evidence-of-a-g/
1•jalev•21m ago•0 comments

AI: Considerations for people who make decisions

https://berthub.eu/articles/posts/ai-for-decision-makers/
2•soheilpro•22m ago•0 comments

Ask HN: How do you sell software to customers in China?

1•fenesiistvan•24m ago•0 comments

A London Taxi Family Confronts the Driverless Future

https://www.bloomberg.com/news/articles/2026-07-31/waymo-s-london-launch-tests-the-future-of-icon...
1•helsinkiandrew•27m ago•1 comments

Show HN: AI Product Opportunity

https://aiproductopportunity.com
1•vinitk80555•28m ago•0 comments

German court rules AI music firm Suno broke copyright rules

https://www.reuters.com/world/german-court-rules-ai-music-firm-suno-broke-copyright-rules-2026-07...
3•saaaaaam•29m ago•0 comments

US Military jamming disrupted a medical plane's GPS system before it crashed

https://apnews.com/article/new-mexico-plane-crash-medevac-ntsb-gps-d95ba57711f926082d7f11d2c20f0f0d
1•1d22a•30m ago•1 comments

A detailed Lidar map of England and Wales

https://lidarmap.uk/
1•hermitcrab•31m ago•1 comments

Why Enterprise AI Gets Hard After the First Agent

https://medium.com/@DolphinDB_Inc/enterprise-ai-needs-more-than-chatbots-meet-dolphinx-6704da50a733
1•yiweileng•32m ago•0 comments

First AI Agent in 30 Minutes

1•lawalkola•33m ago•0 comments

Boomers Can't Stop Gifting Their Grandkids AI-Generated Slop Books

https://www.wired.com/story/boomers-cant-stop-gifting-their-grandkids-ai-generated-slop-books/
2•01-_-•33m ago•0 comments

Sony Not Budging on Ending PlayStation Discs in the Face of Fan Protests

https://kotaku.com/sony-not-budging-on-ending-playstation-discs-in-the-face-of-fan-protests-were-...
1•01-_-•34m ago•0 comments

A Microsoft Flight Simulator Cinderella Story: Building the A220 Airliner

https://news.xbox.com/en-us/2026/07/30/microsoft-flight-simulator-cinderella-story-building-a220-...
1•rb2e•37m ago•0 comments

Chinese military researchers tap US AI models to train defence systems

https://www.reuters.com/world/asia-pacific/chinese-military-researchers-tap-us-ai-models-train-de...
2•iLuddite•40m ago•0 comments

Show HN: STE-Code a distillation and adaptation of ASD-STE100 for code

https://github.com/NikolaRHristov/STE-Code
1•nikolahristov•42m ago•0 comments

Yann LeCun's $1B Bet Against LLMs [Part 1] [video]

https://www.youtube.com/watch?v=kYkIdXwW2AE
3•KolmogorovComp•43m ago•0 comments

The Role of Rigor in Artificial Intelligence

https://twitter.com/iamtimnguyen/status/2077091364743807065
2•Emerson1•52m ago•1 comments

Neural network surrogates fail to generalize across geometry families

https://davidmashiah.com/notes/my-model-scored-perfect
1•davidmashiah•58m ago•0 comments

Histogram vs. empirical cumulative distribution function (eCDF) for dataviz

https://brooker.co.za/blog/2022/09/02/ecdf.html
1•fanf2•58m ago•1 comments

Ukraine's Kill Zone

https://www.reuters.com/graphics/UKRAINE-CRISIS/KILL-ZONE/znpnojmknvl/
6•dirtyaura•1h ago•1 comments

Codeberg.org Is Down

https://status.codeberg.org/status/codeberg?sort_2=uptime_asc
5•csmantle•1h ago•1 comments