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.

Unjica

https://unjica.com
1•unjica•1m ago•0 comments

Understanding Map of Content (MOC) in Zettelkasten

https://publish.obsidian.md/johndray/020+Zettelkasten/Understanding+Map+of+Content+(MOC)+in+Zette...
1•ankitg12•2m ago•0 comments

Boss – Dependency Manager for Delphi and Lazarus

https://github.com/HashLoad/boss
1•TheWiggles•7m ago•0 comments

Image Converter/Compressor

https://filelite.app
1•gintokinx•11m ago•0 comments

Show HN: Modern Robotics Registry – mapping the new robotics ecosystem

https://roboticsregistry.net
1•make_it_sure•12m ago•1 comments

DSLs Enable Reliable Use of LLMs

https://martinfowler.com/articles/llm-and-dsls.html
2•SirOibaf•14m ago•0 comments

America stands on the shoulders of Soviet engineers

https://write.as/cxgd70ai1rc57
1•garn810•16m ago•0 comments

Bringing Up the RK3576 NPU on Mainline Linux: A Byte-Exact Single-Task Path

https://zenodo.org/records/21348017
1•giuliomagnifico•16m ago•0 comments

Why Europe is suddenly betting big on drones

https://www.cnbc.com/2026/07/15/drones-defense-europe-autonomous-weapons.html
2•01-_-•16m ago•0 comments

Google's AI search features pose 'unacceptable risk' to children

https://www.pbs.org/newshour/nation/googles-ai-search-features-pose-unacceptable-risk-to-children...
1•01-_-•18m ago•0 comments

Telegram Serverless

https://core.telegram.org/bots/serverless
1•soheilpro•18m ago•0 comments

New era for Gibraltar with removal of border controls with Spain

https://www.bbc.com/news/articles/cwydz60j3eno
7•tosh•19m ago•1 comments

Musk promises purge after Grok Build caught sending repos to the cloud

https://www.theregister.com/ai-and-ml/2026/07/14/musk-promises-purge-after-grok-build-caught-send...
3•dools•23m ago•0 comments

Mind Training in Daily Life: Nothing Special

https://studybuddhism.com/en/tibetan-buddhism/mind-training/what-is-mind-training/mind-training-i...
1•rramadass•24m ago•1 comments

NeurIPS Mech Interp Workshop is getting more AI slop

https://twitter.com/NeelNanda5/status/2077117795066871908
1•martianvoid•29m ago•0 comments

OpenBAO: Manage, store, and distribute sensitive data

https://openbao.org/
1•poly2it•30m ago•0 comments

Photo Vault. Encrypted. Invisible

https://vault-application.com/
1•janandonly•30m ago•0 comments

Don't Sleep on BitNet (2025)

https://jackson.dev/post/dont-sleep-on-bitnet/
1•thomasjb•32m ago•0 comments

Space cargo costs falling faster than steamship freight in the 1800s

https://www.thetimes.com/business/technology/article/space-cargo-costs-falling-fast-wqqlvsws9
2•TMWNN•35m ago•0 comments

AI in Australia's Interests

https://www.pm.gov.au/media/ai-australias-interests-0
2•softveda•39m ago•0 comments

ConlangCrafter: Constructing Languages with a Multi-Hop LLM Pipeline

https://github.com/morrisalp/ConlangCrafter
1•jbotz•39m ago•1 comments

Financial documents that feel like notes

https://www.typeclerk.com/
1•astonfred•40m ago•0 comments

Show HN: HumansMap: Explore organizations and people connection graphs

https://humansmap.com/
1•scurnus•48m ago•1 comments

Show HN: Create Telegram New Rich Messages Without Telegram Premium

https://github.com/rassvetteam/Amethyst-Post-Bot
1•waterflane•49m ago•0 comments

China and the new era of critical minerals diplomacy

https://archive.fo/20260715052604/https://www.ft.com/content/a5018a00-0f96-4b39-b82f-c4ccd5e929f7
2•ironyman•51m ago•0 comments

Show HN: PDF Recover – Chrome extension for yanking PDFs out of webpages

https://github.com/unprovable/PDFRecover/
1•unprovable•52m ago•1 comments

Soofi: Complete training code for an open-source foundation model

https://github.com/soofi-project/Soofi-Pretraining
2•mnewme•54m ago•0 comments

Ask HN: Question regarding personal knowledge management

1•diarrheaasmr•54m ago•0 comments

BYD can take Toyota's crown without the US market, says top executive

https://www.ft.com/content/ee2919bc-d6f3-4e07-b823-983265b0b8f9
3•JumpCrisscross•56m ago•0 comments

Using Go for Mobile Apps

https://www.davidsobsessions.com/p/one-year-of-gomobile/
2•theHocineSaad•56m ago•0 comments