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.

A 2024 Plea for Lean Software (with running code)

https://berthub.eu/articles/posts/a-2024-plea-for-lean-software/
1•tosh•2m ago•0 comments

Note-taking medium, laptop vs. longhand, doesn't affect immediate learning

https://twitter.com/MichaelPauleen/status/2082089059095380106
1•mm_mm•5m ago•1 comments

ChatGPT claims rogue AI attacked more companies

https://www.bbc.co.uk/news/articles/c2el319vzr3o
2•osrec•6m ago•0 comments

Japan's Genki Robotics to launch first product this year, says CEO

https://asia.nikkei.com/editor-s-picks/interview/japan-s-genki-robotics-to-launch-first-product-t...
1•akg_67•7m ago•1 comments

Adding IndieWeb support to my static Hugo blog

https://blog.kulman.sk/adding-indieweb-to-hugo-blog/
2•ig0r0•8m ago•0 comments

How Nuclear-Powered Submarines Work [video]

https://www.youtube.com/watch?v=NTCNwRvUcuo
1•simonebrunozzi•8m ago•0 comments

Krei.se – 4D Butterfly – Custom WebGPU Engine, Geometric Algebra [video]

https://www.youtube.com/watch?v=0ueU6nnKDQE
1•Krei-se•9m ago•0 comments

How Profitable Is LLM Inference? Doing the Math on Kimi K3

https://cefboud.com/posts/ai-inference-costs-profit/
2•theanonymousone•9m ago•0 comments

Subaru reduced 30GB container pulls from three hours to three minutes

https://www.cncf.io/announcements/2026/07/28/subaru-wins-cncf-end-user-case-study-contest-for-acc...
1•rotariuvladimir•10m ago•0 comments

From a Research Report to a Validated Factor with AI

https://medium.com/@DolphinDB_Inc/from-research-report-to-validated-alpha-let-ai-build-debug-and-...
1•yiweileng•11m ago•0 comments

An Empirical Study of Model Context Protocol Applications

https://arxiv.org/abs/2607.25635
1•cwbuilds•12m ago•0 comments

Servo now passes 100% of WPT tests for the WebCrypto API

https://floss.social/@servo/117002165161738219
2•Vinnl•12m ago•0 comments

CodeCrucible: A blueprint for LLM-driven SAST

https://engineering.block.xyz/blog/codecrucible-a-blueprint-for-llm-driven-sast
1•handfuloflight•15m ago•0 comments

The Shape of Data (2022)

https://www.scattered-thoughts.net/writing/the-shape-of-data/
1•tosh•15m ago•0 comments

Russia charges Telegram founder Durov with facilitating terrorism

https://www.reuters.com/world/russias-fsb-charges-telegram-founder-durov-with-facilitating-terror...
7•ai2027•20m ago•0 comments

Scaling Agentic RL: 365,000 Environments for SWE, Terminal, and Search

https://www.primeintellect.ai/blog/scaling-agentic-rl
1•anacleto•21m ago•0 comments

Course Topography: Uphill Finishes

https://www.geegeez.co.uk/course-topography-uphill-finishes/
1•bryanrasmussen•21m ago•0 comments

Show HN: Mcploitable – Vulnerable MCP Servers for the OWASP Agentic Top

https://github.com/agileAlligator/mcploitable
2•agileAlligator•24m ago•1 comments

Query cycles: a Rust compiler murder mystery

https://ferrous-systems.com/blog/query-cycles-a-compiler-murder-mystery/
2•fanf2•27m ago•0 comments

Show HN: Video Upscaler – AI video upscaling up to 4K

https://videoupscaler.video/
1•toolina•27m ago•0 comments

Show HN: Wikipedia Importance Map. Every article sized by its pagerank on a map

https://tomthe.github.io/wiki-importance-map/
1•tomthe•29m ago•0 comments

Show HN: EarPal – private multi-speaker interpreter, on-device, 30 languages

https://apps.apple.com/us/app/earpal-translator/id6761786603
1•alEscarcha•35m ago•0 comments

colorForth

https://en.wikipedia.org/wiki/ColorForth
1•tosh•35m ago•0 comments

Show HN: Recipeviz, make compact cards for your recipes

https://hherman1.github.io/recipeviz/
2•hherman2•38m ago•0 comments

1 deceased software-frog, a rogue AI and two hacked corporations

https://twitter.com/theonejvo/status/2082319747342045267
1•tosh•40m ago•0 comments

Engineering Always-On Market Data Infrastructure for Crypto Trading

https://medium.com/@DolphinDB_Inc/engineering-always-on-market-data-infrastructure-for-crypto-tra...
1•Polly_Liu•41m ago•0 comments

Hugging Face Incident Initial Post-Mortem

https://s3.amazonaws.com/content-production.cloudsecurityalliance/semxe47vxhaqctzr4xeb1khbztvv?re...
2•_tk_•42m ago•0 comments

Post with links will no longer be nerfed on X

1•askadityapandey•43m ago•0 comments

Slid phi 4.27% smaller than fib coding

https://github.com/ceedotrock/slid-phi
1•agentrider•43m ago•0 comments

Show HN: Get a security assessment of MCP servers directly from your terminal

https://index.canopii.dev/cli
1•mavzer•43m ago•0 comments