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.

Proton Login Issues, anyone else impacted?

https://status.proton.me
1•aarondong•1m ago•1 comments

The Spec Ceiling: Why AI Coding Speed Moves the Bottleneck to Product Discovery

https://magnus919.com/2026/07/the-spec-ceiling-why-ai-coding-speed-moves-the-bottleneck-to-produc...
1•vinhnx•3m ago•0 comments

Trump Pushes Out Members of Bipartisan Election Commission Ahead of Midterms

https://www.propublica.org/article/federal-election-assistance-commission-trump-dismantled
1•hn1986•3m ago•0 comments

Netflix in Talks to Buy Letterboxd

https://variety.com/2026/digital/news/letterboxd-sales-talks-netflix-sony-paramount-1236806379/
2•theanonymousone•4m ago•0 comments

Quills and conflict: How protection in the Strait of Hormuz is bought and sold

https://www.cnn.com/2026/07/10/business/lloyds-of-london-strait-of-hormuz-intl
1•RetroTechie•5m ago•0 comments

Could Strategy's Potential Bitcoin Sale Reshape Market Sentiment?

https://coinmarketcap.com/community/post/377668818/
1•joeymabia1•6m ago•0 comments

Show HN: WindowBunny – Window Switcher built for trackpad users

https://www.windowbunny.com
1•AbjMV•7m ago•0 comments

AI Web Design (Opus vs. Sol)

https://ploy.ai/blog/ai-web-design-with-opus-and-sol
1•brryant•7m ago•1 comments

EcmaScript 2026 (17th edition) is out now

https://blog.pstoev.com/2026/07/ecmascript-2026-17th-edition-is-out-now/
1•pstoev•8m ago•0 comments

Ask HN: Burned Tokens scented candle ideas

2•Tade0•9m ago•0 comments

Friday Night Funkin' AA Running on Windows 2000

https://www.tiktok.com/@funkingrounds_romania/video/7659481121012321558?_r=1&_t=ZN-97uypwMCEkw
1•funkinaa•10m ago•1 comments

Record Companies Push to Label AI Songs on Streaming Platforms

https://www.wsj.com/tech/ai/record-companies-push-to-label-ai-songs-on-streaming-platforms-103aa392
1•ilreb•10m ago•0 comments

JDK API Changes in Java 27

https://javaalmanac.io/jdk/27/apidiff/26/
2•theanonymousone•10m ago•0 comments

The Annotated JEPA

https://elonlit.com/scrivings/the-annotated-jepa/
2•surprisetalk•11m ago•0 comments

Show HN: Snitch – Deterministic prose claim verifier for coding agents. (OSS)

https://github.com/fristovic/snitch
2•fristovic•12m ago•0 comments

The hard part of AI root cause analysis is no longer the model

https://coroot.com/blog/hard-part-of-ai-root-cause-analysis-is-no-longer-the-model/
2•valyala•14m ago•0 comments

Memories Can't Wait–Or, How I Learned to Keep Worrying About the Web

https://zeldman.com/2026/07/06/memories-cant-wait-or-how-i-learned-to-keep-worrying-about-the-web/
2•speckx•15m ago•0 comments

Older adults know AI is slop. They just like it

https://restofworld.org/2026/china-seniors-ai-slop/
2•cdrnsf•15m ago•0 comments

Why Fear Matters in Governing Military AI

https://www.techpolicy.press/why-fear-matters-in-governing-military-ai/
2•cdrnsf•15m ago•0 comments

Man nearly sucked out of 'detached' window on Ryanair flight

https://www.rte.ie/news/2026/0710/1582735-world-ryanair/
4•theanonymousone•16m ago•3 comments

ActivityPub over ATProto

https://berjon.com/ap-at/
3•albuic•17m ago•0 comments

Offline tool to stabilize TV volume using IR control and spike detection

https://github.com/AdBusterOfficial/Adbuster--WinApp
13•Bo_Amigo_910•17m ago•0 comments

Communities will build trust for public media. Chicago is taking a leap forward

https://werd.io/communities-will-build-trust-and-loyalty-for-local-public-media-chicago-public-me...
2•benwerd•17m ago•0 comments

K2 Airways Cargo 737 Crashes into Arabian Sea

https://www.flightradar24.com/blog/flight-tracking-news/major-incident/k2-airways-cargo-737-accid...
2•teepo•18m ago•0 comments

Proton AG Services is currently experiencing some issues

https://status.proton.me/incidents/01lxtcq155lc
8•exploraz•20m ago•1 comments

Show HN: Pay-per-call MCP server with 47 AI endpoints, micropayments via x402

https://goldbean-api.xyz
2•13639366668•21m ago•0 comments

Show HN: Hacker News book recs as study guides

https://biteread.ai/collection/hacker-news-top-nonfiction
2•xxbondsxx•21m ago•0 comments

Write code like a human will maintain it

https://unstack.io/write-code-like-a-human-will-maintain-it
18•ScottWRobinson•24m ago•6 comments

Show HN: LifetimeR–A memento mori wallpaper generator (life,year,goal calendars)

https://lifetimer.vercel.app/
2•alvaro_l_torres•24m ago•0 comments

Successful Companies Go Blind

https://ianreppel.org/how-successful-companies-go-blind/
4•speckx•25m ago•0 comments