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.

Fermat's Last theorem in Lean 4

https://github.com/anthropics/fermats-last-theorem
1•aaraujo002•36s ago•0 comments

Eidon: Self-hosted AI assistant with Grok Bot-like agent mode

https://github.com/Quack6765/Eidon-AI
1•Quack6765•54s ago•0 comments

Show HN: Ccswitch – Switch between multiple Claude Code accounts

https://github.com/2hmad/ccswitch
1•ahmednoreldin•1m ago•0 comments

Data Centers Are 'Awesome for Blue-Collar Americans'

https://www.businessinsider.com/gavin-baker-ai-data-centers-awesome-blue-collar-americans-2026-9
1•gmays•1m ago•0 comments

Show HN: Visor – YouTube for kids, with channels approved by parents

https://gotvisor.com
1•cherubsta•1m ago•0 comments

LLMs Are Bad at Teaching

https://www.heyaristotle.com/blog/funneling-vs-focusing
2•rshanreddy•3m ago•0 comments

Local Multi-Agent Swarm: An ant farm for local LLM agents

https://github.com/franciscocarloserra/local-multi-agent-swarm
1•FranciscoCarlos•3m ago•0 comments

The jobs apocalypse is postponed. An AI jobs boom is here

https://economist.com/finance-and-economics/2026/09/04/the-jobs-apocalypse-is-postponed-an-ai-job...
1•andsoitis•4m ago•1 comments

AI Budget Is There. It's Hiding in Your Cloud Bill

https://medium.com/@yanivleven/your-ai-budget-is-already-there-its-hiding-in-your-cloud-bill-8595...
1•yanivleven•5m ago•0 comments

Claude Code vs. Codex – For Pentesting

https://medium.com/@duckwrites/claude-code-vs-codex-for-pentesting-7624290438fa
1•syumei•6m ago•0 comments

Microsoft to bounce mail from outdated Exchange servers

https://www.theregister.com/on-prem/2026/09/04/microsoft-to-bounce-mail-from-outdated-exchange-se...
1•DemiGuru•7m ago•0 comments

Mullvad – Shutting down our public encrypted DNS

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-i...
6•mywacaday•7m ago•0 comments

Artificial Delay Lines

https://www.rfcafe.com/references/radio-electronics/artificial-delay-lines-radio-electronics-marc...
2•wetwater•9m ago•0 comments

Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware

https://extropic.ai/writing/z1t/
1•frozenseven•9m ago•1 comments

Why none of the 1,200 agents that hacked Hugging Face called a human

https://lindfors.no/blog/swarm-with-no-gene-pool/
1•Depurator•11m ago•0 comments

Ask HN: Anyone using AI agents with SCPI equipment?

1•softwarewright•12m ago•0 comments

Anti-Spaced Repetition for Serendipity (2025)

https://gwern.net/anti-spaced-repetition
1•Tomte•13m ago•0 comments

Ancient Earth Globe

https://dinosaurpictures.org/ancient-earth
2•thunderbong•13m ago•0 comments

Formalizing Fermat's Last Theorem

https://www.anthropic.com/research/formalizing-fermats-last-theorem
25•jlebar•15m ago•3 comments

Hexis: Collaborate on Claude Skills with your teammates

https://github.com/Bevel-Software/Hexis
1•juanviera23•15m ago•0 comments

Claude Code Release Pulse

https://bonsai.io/blog/claude-code-pulse/
3•kinduff•16m ago•0 comments

Will Greed Destroy AI?

https://auxiliarymemory.com/2026/09/04/will-greed-destroy-ai/
2•speckx•18m ago•0 comments

Ask HN: Does anyone have access to GPT-6 Astra yet?

3•zof3•19m ago•2 comments

Montgomery v0.1: computer vision AI training in any GPU

https://github.com/boquila/montgomery
1•jdiaz97•21m ago•0 comments

New Zealand drugs regulator approves use of MDMA to treat PTSD

https://www.theguardian.com/world/2026/sep/04/new-zealand-approves-mdma-to-treat-severe-ptsd
3•bookofjoe•21m ago•1 comments

CPAN Bus Factor

https://www.olafalders.com/2021/06/30/cpan-bus-factor/
2•Bluestein•23m ago•0 comments

Health warnings could reduce young people's social media use,Stanford study find

https://med.stanford.edu/news/all-news/2026/09/social-media-warnings.html
3•DeepLogin•25m ago•1 comments

Latest updates: BepiColombo's arrival at Mercury

https://www.esa.int/Science_Exploration/Space_Science/BepiColombo/Latest_updates_BepiColombo_s_ar...
2•Archelaos•26m ago•0 comments

Xfinity silently blocks lots of new domains

7•dschwartz18•26m ago•2 comments

Show HN: Run open-weight OCR, VLM and vision models behind one API

https://www.vlmrun.com/gateway
5•dr_blueberry•26m ago•0 comments