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.

Private, offline-first notes for people who write Markdown,and code

https://github.com/dsbitor/technotes-releases/
1•ITORDB•3m ago•0 comments

The AI Whale Fall and Open Source

https://minor.gripe/posts/2026-07-13-the_ai_whalefall_and_open_source/
1•ai_critic•3m ago•0 comments

Show HN: Taetype – a complete font engine for Rust and WASM

https://github.com/silly-tae/taetype
2•silly-tae•6m ago•0 comments

The Englishwoman who sketched India before photography took hold

https://www.bbc.com/news/articles/cm2drrv6q54o
2•1659447091•7m ago•0 comments

Show HN: Free API of 248M aggregated VEX statements: 45% of CVEs not affected

https://getreel.dev/vex
1•simoneree•12m ago•0 comments

Cdbx.ai – AI-powered browser IDE to describe, build, and publish apps

https://cdbx.ai/
3•chbutler•12m ago•1 comments

When a Web Developer Holds Your Domain Hostage

https://www.dnaccess.com/held-for-ransom-recovering-domain-name/
1•bhartzer•13m ago•0 comments

Leantime: Project management, built with ADHD, Autism, and dyslexia in mind

https://github.com/Leantime/leantime
1•nateb2022•15m ago•0 comments

I Bought the $3k Fitness Suit That Electrocutes You. I'm Sending It Back

https://www.404media.co/i-bought-the-3-000-fitness-suit-that-electrocutes-you-im-sending-it-back/
1•ValentineC•15m ago•1 comments

NASA's Hubble Discovers First of Star Cluster's Missing Black Holes

https://science.nasa.gov/missions/hubble/nasas-hubble-discovers-first-of-star-clusters-missing-bl...
3•Jimmc414•19m ago•0 comments

Economic Possibilities for our Grandchildren (1931)

https://fermatslibrary.com/s/economic-possibilities-for-our-grandchildren
1•mustaphah•24m ago•1 comments

In Federal Prisons, Some Guards Use Fear and Violence to Stifle Complaints

https://www.themarshallproject.org/2026/07/13/california-federal-prison-abuse
3•Jimmc414•26m ago•0 comments

Tab. – a public ledger for tracking money friends owe you

https://thetab.io
2•concentric•27m ago•1 comments

LAPD Regularly Pulled over Innocent People Plate Readers Flagged Cars as Stolen

https://www.404media.co/lapd-regularly-pulled-over-innocent-people-because-license-plate-readers-...
4•Jimmc414•27m ago•1 comments

Dressed to Kill: Fashion Throughout Bond Eras

https://dressed-to-kill.vercel.app/
2•atlasunshrugged•28m ago•1 comments

Musk's Starlink Socks Customers with $1500 'High Demand' Surcharge

https://www.techdirt.com/2026/07/13/musks-starlink-socks-customers-with-1500-high-demand-surcharge/
5•lemonberry•29m ago•0 comments

Ask HN: What are your personal websites?

4•basilikum•30m ago•3 comments

BYD surpasses Tesla in global race; 'do-or-die' crisis in China's market

https://www.scmp.com/business/china-evs/article/3359708/byd-surpasses-tesla-global-race-do-or-die...
3•breve•31m ago•0 comments

The pelican benchmark is doubtful, let's draw MacBook Pro in SVG. Is Fable best?

https://playcode.io/blog/macbook-svg-benchmark
2•ianberdin•32m ago•0 comments

ORA – AI coding agent that blocks its own commits if security scan fails

https://auremcto.com/
2•tjsandhu•34m ago•0 comments

Michigan says diarrhea outbreak may be linked to lettuce, salad greens

https://www.cnn.com/2026/07/13/health/cyclospora-parasite-diarrhea-outbreak-increase
3•Bender•35m ago•0 comments

Israel's Operation to Cultivate Ahmadinejad

https://www.nytimes.com/2026/07/13/us/politics/israel-mahmoud-ahmadinejad-iran.html
3•u1hcw9nx•36m ago•1 comments

Manifest Man

https://www.thenewcritic.com/p/manifest-man
3•ekluger•38m ago•0 comments

Lobste.rs is now running on SQLite

https://lobste.rs/s/ko1ji1
16•abetusk•44m ago•0 comments

Forgein – portable context layer for AI tools, native MCP server (MIT CLI)

https://app.forgein.ai
2•shadowmodder•44m ago•0 comments

Which Professional Credentials Actually Matter?

https://corvi.careers/blog/which-certifications-matter-by-job-family/
4•sp1982•48m ago•0 comments

What your dog's vet bill says about America's health care system (2016)

https://www.cbsnews.com/news/what-your-dogs-vet-bill-says-about-americas-healthcare/
2•paulpauper•49m ago•0 comments

The American suburbs are better than you think

https://www.noahpinion.blog/p/the-american-suburbs-are-better-than
7•paulpauper•50m ago•0 comments

Ask HN: How do you troubleshoot desktop Linux crashes/freezes?

2•Curiositry•53m ago•0 comments

Wyoming's 'Explosive Diarrhea' Cases Double, Linked to Travel Outside of U.S.

https://cowboystatedaily.com/2026/07/13/wyomings-explosive-diarrhea-cases-double-linked-to-travel...
5•Bender•54m ago•1 comments