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.

Reality Bites Elon Musk and His Tesla, SpaceX Believers

https://www.wsj.com/finance/stocks/reality-bites-elon-musk-and-his-tesla-spacex-believers-1b639591
1•doener•1m ago•0 comments

Ask HN: Any Good Pi.dev Setups?

1•galsapir•2m ago•0 comments

OSS ChatGPT WebUI – Projects, Profiles, Server Tools, 8x Themes, 1-Click Sharing

https://llmspy.org
1•mythz•3m ago•0 comments

Earth and Sun – Bartosz Ciechanowski

https://ciechanow.ski/earth-and-sun/
1•lifeisstillgood•7m ago•0 comments

The Custody Trilemma

https://blog.mozaik.money/the-custody-trilemma/
1•zmilos•8m ago•1 comments

Google reports first quarter of negative cash flow

https://www.bloomberg.com/news/articles/2026-07-22/alphabet-posts-cloud-sales-beat-slight-miss-on...
1•holistio•10m ago•0 comments

Flock cameras keep getting smashed, so now they're hiding inside speed signs

https://www.msn.com/en-us/news/other/flock-cameras-keep-getting-smashed-so-now-they-re-hiding-ins...
2•allgirl•14m ago•0 comments

Show HN: Vinv-Ties every runtime trace to code segment, prevents reward hacking

https://github.com/VinvAI/VinvAI
2•sohamac•17m ago•0 comments

Show HN: SaveAnswer – a local Chrome extension for keeping AI answers searchable

https://chromewebstore.google.com/detail/saveanswer-save-ai-answer/iminapemlncanmmaadedieifgkaeoljm
1•lynnFu•18m ago•0 comments

Fil-C: Garbage In, Memory Safety Out – Filip Pizlo – SSW 2026 [video]

https://www.youtube.com/watch?v=5F-2Y1LPRek
2•ndr•19m ago•0 comments

Show HN: Build native iOS widgets from any HTTPS endpoint

1•elkabong•19m ago•0 comments

Ask HN: How to get in touch with Paddle (MoR)

1•probst•22m ago•0 comments

Show HN: Statistical Football Predictions for Brazil's Loteca Lottery

https://alfavpalpites.com.br
1•fabioricardo7•23m ago•0 comments

Show HN: LLM Proxy - Python with SSE stream aggregation and timeout prevention

https://github.com/lordraw77/llmproxy
1•lordraw•23m ago•0 comments

Show HN: Frontier model pricing became a rip-off, so I built an open-source CLI

https://github.com/kolega-ai/kolega-code
1•fabioricardo7•28m ago•0 comments

New EU Notes Survey

https://surveys.ecb.europa.eu/10b/banknotes/share/
1•steveskids•30m ago•0 comments

My Agent Isn't Autonomous. That's the Point

https://wp.awrshift.com/my-agent-isnt-autonomous/
1•pmserhii•31m ago•1 comments

Measuring developer productivity with the DX Core 4

https://getdx.com/research/measuring-developer-productivity-with-the-dx-core-4/
2•saikatsg•33m ago•0 comments

Show HN: Bagel (Bag ExpLoration) for ROSBAGs

https://bagel-ros2.vercel.app
2•Hussain04•34m ago•0 comments

2026 Fields Medals Awarded to Four of Top Mathematicians

https://www.simonsfoundation.org/2026/07/23/2026-fields-medals-awarded-to-four-of-worlds-top-math...
2•atmosx•34m ago•0 comments

OpenTelemetry Collector: A Production-Ready Guide

https://signoz.io/blog/opentelemetry-collector-complete-guide/
2•dhruv_ahuja•37m ago•0 comments

AI Kill Switch Act would let Trump admin order shutdown of rogue AI systems

https://arstechnica.com/tech-policy/2026/07/ai-kill-switch-act-would-let-trump-admin-order-shutdo...
3•ndsipa_pomu•40m ago•1 comments

An institutional-grade market terminal for retail investors

https://kresmion.com
2•sol9•41m ago•0 comments

End-to-End Encryption and "Going Dark"

https://www.schneier.com/blog/archives/2026/07/end-to-end-encryption-and-going-dark.html
3•mdp2021•42m ago•0 comments

Show HN: Amdb – Local code context MCP server, single Rust binary

https://github.com/BETAER-08/amdb
2•try_betaer•44m ago•0 comments

Game of Trees – Git-based version control from OpenBSD folks

https://www.gameoftrees.org/
3•gregnavis•46m ago•0 comments

Mirror Mirror: Mirror your PC screen to your phone over your local network

https://github.com/maco30001/Mirror-Mirror
2•maco3000•46m ago•0 comments

Use This Instead of OpenCode

https://www.truss-agent.com/
1•jrh89•47m ago•0 comments

The Hugging Face Incident – By Scott Alexander

https://www.astralcodexten.com/p/the-hugging-face-incident
2•mellosouls•48m ago•0 comments

Clop ransomware targets Windchill, FlexPLM in data theft attacks

https://www.bleepingcomputer.com/news/security/clop-ransomware-targets-windchill-flexplm-in-data-...
1•Imbiss•48m ago•0 comments