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.

Elon Musk, other tech execs sign petition calling on Nvidia to reinstate Jensen

https://techcrunch.com/2026/11/14/elon-musk-other-tech-execs-sign-petition-calling-on-nvidia-to-r...
1•jnord•2m ago•0 comments

Show HN: Mapping the FAA ground stop with open flight-tracking data

1•joshfischer1108•2m ago•0 comments

AI submissions cause end of game coding contest

https://www.pcgamer.com/software/ai/educational-game-dev-program-cancelled-because-students-were-...
1•TeaVMFan•3m ago•0 comments

Squinglish: SQL's Inconsistent Calling Conventions

https://blog.delightql.org/post/2026/10/23/squinglish-sqls-inconsistent-calling-conventions/
1•ludsan•5m ago•0 comments

Show HN: Daily puzzles to keep AI users sharp

https://brainsaver.app
1•bigboingy•6m ago•0 comments

Sword Coast Map 3D (Rust to WebGL, Mobile Friendly)

https://swordcoastmap.com/?cam=5053,1505,12450,-1.0,50.0&t=12.90&weather=clear
1•elliotbnvl•7m ago•0 comments

Reading Tab – an offline ePub/PDF/MOBI reader that lives in your new tab

https://chromewebstore.google.com/detail/reading-tab-epub-pdf-mobi/mgmdhcdipgmbbkndjmengbndggkbjoka
1•zenull•8m ago•0 comments

Toward a future space-based, highly scalable AI infrastructure system design

https://www.cell.com/joule/fulltext/S2542-4351(26)00362-4
1•simonebrunozzi•9m ago•0 comments

Arc Browser Clean Room Reimplementation

https://github.com/VictorKildahl/cra
2•saivan•14m ago•1 comments

Ask HN: Best books you read in 2026?

1•013•15m ago•0 comments

The AI graveyard: A running list of projects and startups that didn't make it

https://techcrunch.com/2026/11/14/the-ai-graveyard-a-running-list-of-projects-and-startups-that-d...
2•jnord•17m ago•0 comments

Qwen-Drive-1.0

https://huggingface.co/Qwen/Qwen-Drive-1.0-4B
3•0o777•20m ago•1 comments

Bill Gates Has Earned Billions Investing in Climate-Polluting Landfills

https://www.propublica.org/article/bill-gates-republic-landfill-methane-pollution
4•jamesgill•22m ago•0 comments

The Telephone Changed the World

https://lithub.com/how-the-telephone-changed-the-world/
1•NaOH•25m ago•0 comments

RFC 10008: The HTTP Query Method

https://www.rfc-editor.org/rfc/rfc10008.html
1•tambourine_man•26m ago•0 comments

Honest-tests – detect fake tests and prove them with mutation testing

https://github.com/mintwork/honest-tests
1•mintworks•29m ago•0 comments

L3Harris Statement on the Nov. 13 Ground Stop

https://www.l3harris.com/newsroom/press-release/2026/11/l3harris-statement-nov-13-ground-stop
6•taspeotis•30m ago•0 comments

The Healthcare System. Or whatever you call it

https://davebarry.substack.com/p/the-healthcare-system
1•ZeroCool2u•31m ago•0 comments

Duality of Quadrilaterals via Quaternions [pdf]

https://scholarworks.uni.edu/cgi/viewcontent.cgi?article=1193&context=surp
1•teleforce•32m ago•0 comments

Brave removes tracking metadata from Instagram and Facebook photos

https://brave.com/privacy-updates/40-remove-tracking-metadata/
3•skaul•35m ago•0 comments

Critical infrastructure cyber protection is 'priority work'–but takes a year

https://www.rnz.co.nz/news/politics/2605865/cyber-protection-of-critical-infrastructure-is-priori...
4•billybuckwheat•35m ago•0 comments

The Nord Stream Prosecution: Immunity, Military Objectives, and Superior Orders

https://www.justsecurity.org/163881/germany-ukraine-nord-stream-prosecution/
1•everybodyknows•36m ago•0 comments

A look inside OpenAI's recent Proof of Yang-Mills Existence [video]

https://www.youtube.com/watch?v=s_9sCVqKQjY
1•HotHotLava•44m ago•1 comments

US Land Value Tax Progress in just 2 years

https://substack.com/@reedschwartz/note/c-383850504
1•JimmyBuckets•44m ago•0 comments

AI Quest – Interactive sandboxes for agentic web apps

https://ai-quest.dev/
1•quentinmerle•47m ago•0 comments

The Chinese spy allegation that toppled Nvidia's CEO is starting to look shaky

https://www.businessinsider.com/intelligence-jensen-huang-downfall-shaky-nvidia-china-spy-gpus-20...
7•cpncrunch•48m ago•2 comments

Jensen Huang Resigns After Having Another Affair in Addition to the Chinese Spy

https://thezvi.substack.com/p/jensen-huang-resigns-after-having
1•paulpauper•51m ago•0 comments

Stephen Kovacevich, a Pianist of Quiet Intensity, Has Died

https://www.nytimes.com/2026/11/13/arts/music/stephen-kovacevich-dead.html
2•paulpauper•52m ago•0 comments

Privatize Air Traffic Control, Redux

https://marginalrevolution.com/marginalrevolution/2026/11/privatize-air-traffic-control-redux.html
1•paulpauper•53m ago•0 comments

Nvidia deliberately kept GPU prices high through circular financing deals

https://www.techspot.com/news/114558-nvidia-deliberately-kept-gpu-prices-high-through-circular.html
16•madihaa•55m ago•11 comments