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.

Rocket Lab launches 10th Synspective satellite – SpaceNews

https://spacenews.com/rocket-lab-launches-10th-synspective-satellite/
1•rbanffy•46s ago•0 comments

Interview – ADHD Child vs. Non-ADHD Child [video]

https://www.youtube.com/watch?v=-IO6zqIm88s
1•gurjeet•4m ago•1 comments

You can't always trust a BMC's inventory of the server's hardware

https://utcc.utoronto.ca/~cks/space/blog/tech/BMCDontTrustHardwareInventory
1•LorenDB•4m ago•0 comments

Due to the AI memory crisis, Apple is bringing back the original Apple I

https://old.reddit.com/r/MacStudio/comments/1ugkygr/due_to_the_ai_memory_crisis_apple_is_bringing/
1•akirahittoxyz•6m ago•0 comments

The US lifts its block on Mythos 5

https://twitter.com/Techmeme/status/2070638481265905837
6•bobrenjc93•8m ago•0 comments

Ask HN: Any OSS models as good as GPT-4o-mini?

2•ra0x3•11m ago•0 comments

Mankato Unofficial Website

http://city-mankato.us/
2•limbicsystem•12m ago•0 comments

Why does kinetic energy increase quadratically, not linearly, with speed? (2011)

https://physics.stackexchange.com/questions/535/why-does-kinetic-energy-increase-quadratically-no...
3•ProxyTracer•13m ago•0 comments

I built a tiny free app to track money saved by skipping small purchases

https://skipd.coffee/
1•dariyam•16m ago•0 comments

Show HN: Imap2gmail – A self-contained mass-migrations orchestrator for Gmail

https://github.com/overflowy/imap2gmail
1•overflowy•17m ago•0 comments

Workbench: A TUI for parallel coding agents

https://github.com/erikqu/workbench-cli
3•erikqu•17m ago•1 comments

Assessing GPT-5.6 Sol Against Cybersecurity Benchmarks

https://www.irregular.com/research/assessing-gpt-5.6-sol
1•edanm•19m ago•0 comments

Show HN: Skillmaxxing – make every agent self-evolving

https://github.com/Bennyoooo/skillmaxxing
2•bennyjiang•19m ago•0 comments

AI in Mathematics Is Forcing Big Questions

https://spectrum.ieee.org/ai-in-mathematics
2•rbanffy•20m ago•0 comments

Inference Cards

https://cmart.blog/inference-cards/
1•zdw•21m ago•0 comments

Heavener: What happens when you can't afford EDR licenses

https://blog.otterpwn.com/projects/heavener
1•hexagr•23m ago•0 comments

GeoSpoof vs. Geoceptor – comparing two iOS location spoofing tools

https://geospoof.com/blog/geoceptor-vs-geospoof
1•sgro•26m ago•0 comments

Ask HN: Model access depends on citizenship. What should Non-US founders do?

1•recsv-heredoc•27m ago•1 comments

Structured Primary Keys

https://modern-sql.com/blog/2026-06/structured-primary-keys
1•birdculture•27m ago•0 comments

Tell Zillow: Fee-Simple vs. Leasehold Filter

2•HoldOnAMinute•31m ago•1 comments

How to Make the World's Best Black Shirt [video]

https://www.youtube.com/watch?v=u_BdsucFI9E
1•riknos314•35m ago•0 comments

Show HN: All-in-one memory for AI Agents

https://parcle.ai/second-brain
1•longtermop•35m ago•0 comments

iOS 27 Adds Mac-Like Recovery Mode for iPhone and iPad

https://www.macrumors.com/2026/06/22/ios-27-adds-mac-like-recovery-mode/
2•antfarm•37m ago•0 comments

Show HN: RAG Vector DB Cost Calculator

https://tools.superml.org/calculators/rag-vector-db-cost-calculator
1•bps1418•37m ago•0 comments

Academy Software Foundation Launches New Wayland for Artists Working Group

https://www.aswf.io/blog/academy-software-foundation-launches-new-wayland-for-artists-working-group/
2•agluszak•38m ago•0 comments

I've built an iOS app to spoof location, no PC needed

1•alienshello•44m ago•0 comments

Skill for generating cheatsheet PDF optimized for the reMarkable eink

https://github.com/Deca/remarkable-cheatsheet
1•Decag•46m ago•0 comments

How much compute does the world need?

https://www.ft.com/content/a5475746-510b-4b3f-8039-3fea1fb7c207
1•1vuio0pswjnm7•46m ago•0 comments

US strikes Iran in response to drone strike on commercial ship

https://www.aljazeera.com/news/2026/6/26/us-strikes-iran-in-response-to-drone-strike-on-commercia...
8•thisislife2•46m ago•6 comments

OpenTag: An open-source alternative to Claude in Slack

https://github.com/CopilotKit/OpenTag/
3•davidmckayv•47m ago•0 comments