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: Advect – autodiff for NumPy and Array API programs

https://yaugenst.github.io/advect/0.1.0/playground/
1•yaugenst-flex•1m ago•0 comments

Canada's wildfire season is taking a heavy toll on First Nations

https://grist.org/global-indigenous-affairs-desk/canadas-wildfire-season-is-taking-a-heavy-toll-o...
2•speckx•2m ago•0 comments

Curl: Nobody Wants to Work with Windows

https://www.heise.de/en/news/curl-Nobody-wants-to-work-with-Windows-11409147.html
2•smartmic•3m ago•0 comments

Professor turns childhood Double Dutch idea into a real machine [video]

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

Five Programming Books That Changed How I Think

https://adamtornhill.substack.com/p/five-programming-books-that-changed
3•birdculture•3m ago•0 comments

Grok Bot

https://twitter.com/bot/status/2087224798078517251
2•punnerud•6m ago•0 comments

Show HN: ThinkingType, an eval measuring if fonts change VLM judgments

https://github.com/wdanfort/thinkingtype
1•bwuckner-sf•6m ago•1 comments

Lightricks/LTX-2.5 – Video, Audio and World Simulation

https://huggingface.co/Lightricks/LTX-2.5
1•embedding-shape•6m ago•0 comments

An unreleased Anthropic model made progress on one of math's biggest unsolved

https://techcrunch.com/2026/08/11/an-unreleased-anthropic-model-made-progress-on-one-of-maths-big...
2•sbulaev•6m ago•0 comments

The whole of PyTorch on one page

https://tensor.khalilli.ai/blog/part-0-the-map/
5•akhalilli•8m ago•0 comments

Show HN: The Complexity Behind Products

https://s-1.vercel.app/
1•Altaba•9m ago•0 comments

Gamgee

https://www.ycombinator.com/companies/gamgee
2•ray__•10m ago•0 comments

Automated bookkeeping harness connected to mercury, whop, stripe and more

https://fionas.xyz/promotions
1•second_brain2•10m ago•0 comments

Zero Day Clock

https://zerodayclock.com/
3•mooreds•12m ago•0 comments

Hoover Dam is losing power. Inside the 'slowest-moving train wreck in history'

https://www.msn.com/en-us/money/general/ar-AA29M1PK
2•Stratoscope•12m ago•0 comments

Designing Connection Authentication for C1 Bridge

https://www.c1.ai/engineering/designing-connection-authentication-for-c1-bridge
1•russell_h•16m ago•0 comments

Game Developers Conference – Royalty Free Sound Effects

https://sonniss.com/gameaudiogdc/
3•hyperific•19m ago•0 comments

Search over the Visual World: off-the-shelf VLMs beat video embeddings

https://arxiv.org/abs/2608.08075
5•ashu_trv•21m ago•0 comments

Can you trust what AI tells you? [video]

https://www.youtube.com/watch?v=cIMlBw2nqfA
1•thesdev•21m ago•0 comments

Making Holograms with a Pen Plotter

https://blog.jordan.matelsky.com/Penplotter-holography/
2•DemiGuru•22m ago•0 comments

Personal Mac Security: Run a Practical Local Check

https://stackandink.com/blog/audit-personal-mac-security-nist-mscp/
1•Igor_Wiwi•23m ago•0 comments

When Crumbling Infrastructure Meets Cyber Exposure

https://controlsystemssecurity.com/posts/one-county-multiple-points-of-failure-2026-08-11.html
1•Glomz-guy•25m ago•0 comments

The Tradeoffs Facing Japan's Economy

https://www.emergingtrajectories.com/lh/japan-economy-tradeoffs/
12•cl42•26m ago•0 comments

OpenAI Brings ChatGPT Desktop App to Linux

https://www.phoronix.com/news/ChatGPT-Desktop-Linux-Preview
2•DemiGuru•26m ago•0 comments

Zap Rocks. Add Water. Get Clean Hydrogen

https://spectrum.ieee.org/stimulated-geologic-hydrogen
3•Jimmc414•27m ago•1 comments

Show HN: Pulp – Zero-allocation C11 telemetry engine (28M logs/SEC to disk)

https://github.com/superwired-labs/Pulp
2•superwired_labs•28m ago•1 comments

Operation Matryoshka: Russia using 'BBC news' fakes to pervert key German vote

https://euobserver.com/231951/operation-matryoshka-russia-using-bbc-news-fakes-to-pervert-key-ger...
2•01-_-•29m ago•0 comments

Weekend at Bernie's

https://nesbitt.io/2026/05/08/weekend-at-bernies.html
2•zbentley•29m ago•0 comments

Alpha Compute to buy gas rights for $55M data center campus

https://www.reuters.com/legal/litigation/alpha-compute-buy-pennsylvania-land-gas-rights-55-millio...
1•ashurandi•29m ago•0 comments

Microsoft August 2026 Patch Tuesday fixes 400 flaws, 3 zero-days

https://www.bleepingcomputer.com/news/microsoft/microsoft-august-2026-patch-tuesday-fixes-400-fla...
3•speckx•29m ago•0 comments