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.

Ask HN: Who is your startup using for insurance?

1•VladVladikoff•2m ago•0 comments

I got tired of seeing mistake fares on Reddit a day late

https://github.com/010zx00x1/faresnipe
1•01x02111•3m ago•0 comments

Show HN: CodeAlmanac – Self-updating wiki for your coding agent (local, Apache)

https://github.com/AlmanacCode/codealmanac
1•reveriedev•6m ago•0 comments

Fifty-seven self-contained web demos BY Fable in one run

https://elder-plinius.github.io/FABLE-SHOWCASE/
1•smusamashah•6m ago•1 comments

Stacks: Run classic HyperCard stacks on modern macOS without emulation

https://morphing.cloud/hypercard/
1•CharlesW•7m ago•0 comments

What If We Accidentally Outsource the Real Work to AI?

https://www.insidehighered.com/opinion/columns/just-visiting/2026/07/09/ai-scribes-medicine-are-s...
1•speckx•8m ago•0 comments

GPT-5.6 Is Live

https://openai.com/index/gpt-5-6/#
2•akarshhegde18•8m ago•0 comments

Nintendo in a Small Town, 1987

https://dfarq.homeip.net/nintendo-in-a-small-town-1987/
1•TMWNN•9m ago•0 comments

Lobsters Interview with Mitchell Hashimoto

https://alexalejandre.com/programming/interview-with-mitchell-hashimoto/
1•veqq•10m ago•0 comments

New York sues 3M, DuPont, others over 'forever chemicals' in consumer goods

https://www.reuters.com/world/new-york-sues-3m-dupont-others-over-forever-chemicals-consumer-good...
1•onemoresoop•10m ago•0 comments

How should group chats work in decentralized systems?

https://marindedic.com/groups/
3•Realman78•11m ago•0 comments

Show HN: EdgeSpeech, on-device speech-to-speech for React Native

https://github.com/switchboard-sdk/edgespeech
2•jimsrand•11m ago•0 comments

Feds Are Pushing a New Gas Station Chain Selling Cheap Fuel

https://www.thedrive.com/news/feds-are-pushing-a-brand-new-gas-station-chain-selling-strangely-ch...
1•randycupertino•11m ago•0 comments

Bonnie Tyler–80s pop legend known for 'Total Eclipse of the Heart,' dies aged 75

https://www.theguardian.com/music/2026/jul/09/bonnie-tyler-80s-pop-legend-known-for-total-eclipse...
1•bookofjoe•12m ago•0 comments

World’s First Commercial Nuclear-Powered Satellite

https://citylabs.net/first-commercial-nuclear-powered-satellite-aboard-spacex-transporter-17/
1•geox•13m ago•0 comments

DevOps Field Guide: Your Infrastructure Repo Is a Mess

https://www.gruntwork.io/blog/devops-field-guide-your-infrastructure-repo-is-a-mess-heres-how-to-...
2•likwitjunkie•13m ago•0 comments

Tarit – Self-host sandbox cloud and hypervisor for AI agents

https://github.com/instavm/tarit
1•mkagenius•14m ago•0 comments

Top research universities shrink doctoral programs amid federal funding decline

https://www.nytimes.com/2026/07/06/us/research-universities-fewer-phds-science.html
1•BISH-BASH-BOSH•15m ago•0 comments

Starbucks taps AI to cut reliance on Microsoft, IBM software

https://fortune.com/2026/07/09/starbucks-to-use-ai-to-replace-microsoft-ibm-software/
1•Brajeshwar•16m ago•0 comments

Show HN: Hyper – distributed Firecracker microVM orchestrator written in Elixir

https://github.com/harmont-dev/hyper
2•suis_siva•16m ago•0 comments

Should we spray burn scars with glyphosate? Californians reckon w/ grim reality

https://www.latimes.com/environment/story/2026-07-09/should-we-spray-burn-scars-with-glyphosate-c...
1•littlexsparkee•19m ago•0 comments

The Price of Palantir's Politics

https://www.ft.com/content/21038b20-646e-4773-a473-110c2d62ab15
2•helsinkiandrew•20m ago•0 comments

OpenCode MCP Integration Guide

https://www.arcade.dev/blog/opencode-mcp-integration/
1•manveerc•21m ago•0 comments

Divide and Compact: Segment-Oriented Compaction in SlateDB

https://slatedb.io/blog/segment-oriented-compaction/
4•agavra•21m ago•0 comments

Worker shortage endangers US chip production plans

https://www.taipeitimes.com/News/biz/archives/2026/07/09/2003860430
1•craigjb•21m ago•0 comments

Postgres locks do not scale

https://www.recall.ai/blog/postgres-locks-do-not-scale
4•timetoogo•22m ago•0 comments

ANSI X9.150-2026 Payment QR – Merchant-Presented QR Codes for Secure Payment

https://webstore.ansi.org/standards/ascx9/ansix91502026
1•petethomas•22m ago•0 comments

GPT-5.6

https://openai.com/index/gpt-5-6/
193•logickkk1•23m ago•100 comments

Using GPT-5.6

https://developers.openai.com/api/docs/guides/latest-model
2•minimaxir•23m ago•0 comments

The Download: a nuclear landmark, and China eyes Nvidia chips

https://www.technologyreview.com/2026/07/09/1140283/the-download-nuclear-power-milestone-nvidia-c...
1•joozio•23m ago•0 comments