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.

Australopithecus did not consume substantial mammalian meat

https://www.science.org/doi/10.1126/science.adq7315
1•aziaziazi•55s ago•0 comments

HuggingFace Security incident disclosure – July 2026

https://huggingface.co/blog/security-incident-july-2026
1•Daviey•2m ago•0 comments

The Secret Math Society Known Simply as Nicolas Bourbaki

https://www.quantamagazine.org/inside-the-secret-math-society-known-as-nicolas-bourbaki-20201109/
1•pykello•3m ago•0 comments

Show HN: Loris Tunnel – an open-source desktop manager for SSH tunnels

https://github.com/RangerWolf/loris-tunnel-app
2•rangerwolf•5m ago•0 comments

The Computer at the Bottom of a Canal

https://negroniventurestudios.com/2026/07/18/the-computer-at-the-bottom-of-a-canal/
1•Kudos•6m ago•0 comments

Neither GCC nor Clang are compliant with standard C++

https://sebsite.pw/w/20260708-badstdcxx.html
1•jandeboevrie•8m ago•1 comments

Pal Routes: shortest Palworld 1.0 breeding routes from your owned Pals

https://palroutes.com/
1•AsterXing•9m ago•0 comments

Brazil Eyes Film Royalties and Drug Patents in US Tariff Retaliation

https://www.riotimesonline.com/brazil-us-tariff-film-royalties-drug-patents/
1•vrganj•15m ago•0 comments

Israeli ministers announce plans for illegal settlements in Gaza and West Bank

https://www.theguardian.com/world/2026/jul/18/israel-plan-new-illegal-settlements-gaza-west-bank-...
4•kubafu•16m ago•1 comments

Show HN: Fosnie – open-source self-hosted AI workspace for regulated teams

https://fosnie.dev/
1•bellapai•21m ago•0 comments

Wp2shell Pre Authentication RCE in WordPress Core

https://wp2shell.com/
1•Techbrunch•24m ago•1 comments

AI Mania Is Eviscerating Global Decision-Making

https://ludic.mataroa.blog/blog/ai-mania-is-eviscerating-global-decision-making/
3•bertman•26m ago•0 comments

Timeline Studio

https://github.com/MartinDelophy/ai-video-editor
1•martindelophy•27m ago•0 comments

Compaction

https://developers.openai.com/api/docs/guides/compaction
1•tosh•27m ago•0 comments

Cryptids

https://en.wikipedia.org/wiki/List_of_cryptids
2•tosh•30m ago•0 comments

We run 100% agentic coding at a €2M ARR healthcare SaaS

https://agenticprime.ai/issues/agentic-coding-healthcare-saas/
1•tosh•36m ago•0 comments

Flight Planning with Little Navmap

https://tech.marksblogg.com/little-navmap-flight-planning.html
1•marklit•38m ago•0 comments

Uruky – The Paid European Search Engine

https://robheghan.prose.sh/26_06_30_uruky
1•birdculture•40m ago•0 comments

Curated list of academic papers using Binary Ninja

https://github.com/affinepoly/awesome-binja-papers
2•affinepoly•40m ago•0 comments

JobsNate

https://www.jobsnate.com/
1•neodynix•44m ago•0 comments

Vikram-1, India's first private orbital rocket, aces debut launch

https://www.space.com/space-exploration/launches-spacecraft/skyroot-aerospace-india-first-private...
3•porridgeraisin•47m ago•0 comments

Behind the scenes: watching media on the browser (2021)

https://asyncimpulse.com/behind-the-scenes-watching-media-on-the-browser/
1•csmantle•49m ago•0 comments

External Commentary on LLM Global Workspace Representations [pdf]

https://www-cdn.anthropic.com/files/4zrzovbb/website/cc4be2488d65e54a6ed06492f8968398ddc18ebe.pdf
1•allenleee•49m ago•0 comments

US oil firms sign deals with Iraq to develop alternative shipping routes

https://apnews.com/article/oil-iraq-pipeline-deal-582b42f21cb62cfe8dc6c8e73d1dcafa
1•geox•51m ago•0 comments

Show HN: Yapp.page, publish a webpage from a Claude or ChatGPT chat

https://yapp.page/
1•hpko•57m ago•0 comments

The Sandpaper Cover of the Return of the Durutti Column (2014)

https://daily.redbullmusicacademy.com/2014/04/return-of-the-durutti-column-feature/
2•ravetcofx•59m ago•0 comments

Find What SaaS Tools Competitors Use via Sub-Processors

https://ashishb.net/tech/sub-processors-leak-saas-stack/
8•ashishb•1h ago•0 comments

How Reddit Detects Ban Evasion – and Why a New Account Isn't Enough

https://medium.com/@thesuperrepemail/how-reddit-detects-ban-evasion-and-why-a-new-account-isnt-en...
3•rajsuper123•1h ago•0 comments

DOSBox on OpenVMS (Alpha CPU)

https://astr0baby.online/AXP/OpenVMS/DOSBOX/
1•jandeboevrie•1h ago•0 comments

Vörwatch: The VPS Monitoring Tool

https://medium.com/@vektormemory/v%C3%B6rwatch-the-vps-monitoring-tool-we-built-because-we-needed...
1•vektormemory•1h ago•0 comments