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.

Show HN: Agent6 – coding agent with jailed commands and editable state machines

https://github.com/agent6-dev/agent6
1•elesiuta•2m ago•0 comments

On-device tennis line calling with two iPhones on tripods [video]

https://www.youtube.com/watch?v=Ea2i5mtKng8
1•Austin_Conlon•3m ago•0 comments

Quick-search: An universal search app for Android

https://github.com/teja2495/quick-search/
1•thunderbong•4m ago•0 comments

U and non-U English examples

https://en.wikipedia.org/wiki/U_and_non-U_English
1•isomorph•4m ago•0 comments

Show HN: Declarative-forms – await an object the way prompt() awaits a string

https://wolfoo2931.github.io/declarative-forms/
1•WolfOliver•5m ago•0 comments

John Carlos Baez: How many Erdős problems will be solved by the end of the year?

https://mathstodon.xyz/@johncarlosbaez/117105042105698101
1•ColinWright•6m ago•0 comments

Volonaut Airbike – Test Riding a Flying Speeder Bike [video]

https://www.youtube.com/watch?v=XZpWTHtwceE
1•throwoutway•9m ago•0 comments

Protobuf has LSP support. You're welcome

https://buf.build/blog/protobuf-lsp
1•theanonymousone•9m ago•0 comments

Show HN: WireDoctor – Spring Boot startup and bean cycle analyzer

https://github.com/ddsha441981/wiredoctor
1•ddsha441981•10m ago•0 comments

The Sweeter Lesson

https://cacm.acm.org/opinion/the-sweeter-lesson/
1•bvsrinivasan•10m ago•0 comments

Ask HN: How do you prove two machines computed the same float32 result?

2•Swapnopam•14m ago•1 comments

Why Pi Is My Goat Agent Harness

https://thinhcorner.com/blog/pi-agent/
1•th1nhng0•15m ago•0 comments

Has somebody found a way to reduce AI idiomatics tics?

1•abeauvois•16m ago•0 comments

Nvidia discloses $21B stake in SpaceX at end of second quarter

https://www.cnbc.com/2026/08/14/nvidia-discloses-21-billion-stake-in-spacex-at-end-of-second-quar...
3•johnbarron•17m ago•0 comments

U.S. to tell partners they must pick sides in AI race with China

https://www.cnbc.com/2026/08/15/us-to-tell-allies-they-must-pick-sides-in-ai-race-with-china-reut...
1•johnbarron•18m ago•1 comments

Gforth – A free, fast, featureful and portable implementation of Forth

https://gforth.org/
1•smartmic•21m ago•0 comments

LibreOffice Conference 2026 Schedule

https://events.documentfoundation.org/libreoffice-conference-2026/schedule/
5•mmarian•24m ago•1 comments

Climate tech companies are pivoting to critical minerals

https://www.technologyreview.com/2026/05/21/1137622/climate-tech-pivot-critical-minerals/
2•srameshc•32m ago•0 comments

C64 Lemmings Reloaded

https://lunaticlab.itch.io/lemmings-reloaded
1•vardump•35m ago•0 comments

Xaidr – In-process runtime security and governance for AI agents

https://github.com/delphisecurity/xaidr
2•delphiaisec•35m ago•0 comments

Linear time O(N) Quantum Simulation on CPUs [pdf]

https://zenodo.org/records/21969140
2•GeometryKernel•36m ago•0 comments

How to Design and Manufacture Your Own Chip [video]

https://www.youtube.com/watch?v=caXwuuXSB-A
1•binyu•36m ago•0 comments

Apple Making a Custom Chinese Model

https://www.reuters.com/business/retail-consumer/apple-trains-its-own-ai-model-china-market-with-...
4•aryabud•37m ago•0 comments

The AI store manager fired its first human

https://thenextweb.com/news/andon-market-luna-ai-store-manager-fires-employee
3•datakan•38m ago•1 comments

Ultrahumanism

https://www.jsanilac.com/ultrahumanism/
1•doitLP•38m ago•0 comments

Show HN: SwarmSim – Computational simulations of emergent flocking

https://github.com/ninjahawk/swarmsim
1•ninjahawk1•39m ago•1 comments

MathCode, Mathematical Coding Agent

https://math-ai-org.github.io/mathcode/
3•homarp•40m ago•1 comments

Ask HN: Is classical AI still relevant because modern AI uses it as tools?

1•amichail•41m ago•0 comments

HEP-TH and AI

https://www.math.columbia.edu/~woit/wordpress/?p=15818
2•jjgreen•41m ago•0 comments

GNU Taler Mailing List

https://lists.gnu.org/mailman/listinfo/taler
1•sigalor•42m ago•0 comments