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.

Hutter Prize – Compressing Human Knowledge

http://prize.hutter1.net
1•NKosmatos•1m ago•1 comments

Bill Gates on the Dangers of AI

https://www.theatlantic.com/podcasts/2026/08/bill-gates-dangers-ai/688418/
1•thunderbong•1m ago•0 comments

CVE-2026-86950: An in-the-wild iOS bug with a possible WhatsApp zero-click path

https://calif.io/research/the-great-glyph-grift
1•ni5arga•4m ago•0 comments

Ban Kids from Social Media and They'll Chat in Public Radio Podcast Comments

https://www.techdirt.com/2026/09/30/ban-kids-from-social-media-and-theyll-just-chat-in-public-rad...
1•hn_acker•5m ago•2 comments

LLM library that builds itself, a converter for nearly every file

https://medium.com/@vektormemory/vektor-v1-9-8-b023b9b8a654
1•vektormemory•7m ago•0 comments

Thinking Before Thinking: Scaling Agentic Inference Through Meta-Reasoning

https://arxiv.org/abs/2609.38147
1•matt_d•8m ago•0 comments

Factory CEO just accused his VC board advisor of spying for Cognition

https://techcrunch.com/2026/09/30/factory-ceo-just-accused-his-vc-board-advisor-of-spying-for-cog...
2•reenorap•12m ago•0 comments

Model with metacognitive guidance identifies zero-click full-chain RCE in BlueZ

https://twitter.com/autopoiesislab/status/2083221810171224416
1•car•12m ago•0 comments

AI as a Compiler: Compiling Triton kernels without the Triton compiler

https://arxiv.org/abs/2609.36800
1•matt_d•13m ago•0 comments

The data center buildout, county by county

https://pressaudit.org/blog/datacenters
1•SLHamlet•13m ago•1 comments

Can Agents Design Libraries for Agents?

https://gabeorlanski.github.io/posts/library-design-bench/
1•matt_d•17m ago•0 comments

Scott Aaronson interview, on the impact of AI on science and mathematics [video]

https://www.youtube.com/watch?v=Qjgc9Hs5GKs
1•calf•17m ago•1 comments

How many hats are in the world?

https://hat.observer/
1•civilchaos•18m ago•0 comments

Context Language Models (CLMs)

https://github.com/facebookresearch/context-language-models
1•handfuloflight•19m ago•0 comments

Apple's first employee: The remarkable odyssey of Bill Fernandez (2014)

https://www.techrepublic.com/article/apples-first-employee-the-remarkable-odyssey-of-bill-fernandez/
1•bananaboy•21m ago•0 comments

Configurable Indent Levels?

https://github.com/psf/black/issues/378
1•jerlendds•24m ago•0 comments

EDG C++ Compiler is open source

https://github.com/edgcpp/compiler
2•zx2c4•26m ago•0 comments

The Scientific Case for Being Less in Touch with Your Friends

https://www.nytimes.com/2026/09/30/opinion/friendship-frequency-interaction.html
1•gumby•30m ago•0 comments

Google figures out how to watermark AI-designed proteins

https://arstechnica.com/science/2026/09/google-figures-out-how-to-watermark-ai-designed-proteins/
3•gumby•31m ago•1 comments

Readable Regular Expressions for JavaScript/TypeScript, Inspired by Emacs' Rx

https://rahuljuliato.com/posts/emacs-rx-in-typescript
1•RahulMJ•36m ago•1 comments

Building big things in the U.S. is hard. A Senate deal aims to fix that

https://www.washingtonpost.com/politics/2026/09/30/building-big-things-us-is-too-hard-senate-deal...
2•scythe•38m ago•0 comments

OpenJDK vs. GraalVM vs. Eclipse Temurin vs. Semeru Java Performance

https://www.phoronix.com/review/openjdk-graalvm-temurin-semeru
1•ejboy•39m ago•0 comments

The AI Pascal's Wager

https://ploum.net/2026-10-01-pascal_wager.html
2•frizlab•41m ago•1 comments

Growth.engineer – Vetted, open-source growth workflows for AI agents

https://www.growth.engineer
1•Soerensen•41m ago•1 comments

Nine – single binary, WASM tools and persistent AI harness/runtime

https://github.com/djordlucas/nine
1•jojolatulipe•48m ago•1 comments

How to Calibrate Jev (and Related)

https://pypi.org/project/reexpress-sdm/
1•reexpressionist•56m ago•0 comments

Turbo Haskell

https://www.reddit.com/r/haskell/comments/1wu24oe/turbo_haskell/
9•simonmic•1h ago•0 comments

Stacking Oranges in 24 Dimensions

https://www.empirical.health/blog/ai-math-sphere-packing/
1•brandonb•1h ago•0 comments

Rivian: LiDAR R2 reaches customers in 2027, employees get it this year

https://electrek.co/2026/09/30/rivian-lidar-r2-customers-2027-autonomy-update/
3•cisc•1h ago•0 comments

56k.rip – the 1996 dial-up internet experience

https://56k.rip/
2•adunk•1h ago•0 comments