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.

Ask HN: Has anyone vibe coded in Common Lisp? Is it even possible?

1•palad1n•1m ago•0 comments

Open Coaster: an open source web/mobile RollerCoaster Tycoon clone

https://github.com/tilework-tech/opencoaster
1•theahura•1m ago•0 comments

Nine people dead in Learjet crash in South Florida, officials say

https://www.msn.com/en-us/news/news/nine-people-dead-in-learjet-crash-in-south-florida-officials-...
2•measurablefunc•1m ago•0 comments

Tom7/noperts: Reproducible nopert proofs

https://github.com/tom7/noperts/
1•RebelPotato•2m ago•0 comments

Selected Ambient Works X Matrix

https://selectedambientworks.com/
1•bonefishgrill•2m ago•0 comments

Amdahl 470V

https://en.wikipedia.org/wiki/Amdahl_470V
2•kristianp•7m ago•0 comments

How the facial recognition blame game leaves shoppers stranded

https://www.techradar.com/vpn/vpn-privacy-security/shaking-from-head-to-toe-how-the-facial-recogn...
1•rawgabbit•8m ago•0 comments

Japan's Jimi 'Mundane' Halloween Costumes of 2026

https://spoon-tamago.com/japan-jimi-mundane-halloween-costumes-2026/
2•zdw•8m ago•0 comments

What happens when the AI money loop breaks?

https://fvdge.com/AI_Circularity_Stress_Lab.html
1•teja_nemana•10m ago•1 comments

Show HN: Arken – cryptographic identity for AI agents calling MCP servers/APIs

https://github.com/arkenforge/arken-core
1•arkenforge•10m ago•0 comments

Context as Infrastructure: Knowledge Compilation for Retrieval in Agent Harness

https://arxiv.org/abs/2610.41172
2•yingfeng•11m ago•0 comments

Yandex moves its supercomputers to new site after Ukrainian drone attacks

https://meduza.io/en/news/2026/10/26/yandex-moves-all-three-of-its-supercomputers-to-new-site-aft...
1•gnabgib•12m ago•0 comments

Learning without retention is what real intelligence needs

https://zenodo.org/records/22706328
1•shoman3003•13m ago•0 comments

Show HN: AWKLog – a minimalist Datalog interpreter in Awk

https://github.com/stass/awklog
1•stass•15m ago•0 comments

Big Tech returns smallest share of cash to shareholders in 15 years

https://www.reuters.com/legal/transactional/big-tech-returns-smallest-share-cash-shareholders-15-...
1•geox•20m ago•0 comments

This Play of Thermodynamics

https://docs.google.com/document/d/1IxOP_TW8Qut4NfDZqc_8ErPccRiS0v8veCKmgxAmVXQ/edit?tab=t.0
1•the-mitr•21m ago•0 comments

Ask HN: uBlock Origin for the IoT devices in my house?

1•rstuart4133•23m ago•0 comments

Optimizing 124B MoE inference on a single Nvidia DGX Spark

https://developer.nvidia.com/blog/3-ways-to-boost-moe-inference-on-nvidia-dgx-spark/
1•trcytony•26m ago•0 comments

Pepperwind, a fictional company dataset with 223 tables and 79M rows

1•rasinmuhammed•27m ago•0 comments

Personality Traits and Career Success: Understanding Workplace Dynamics [pdf]

https://www.rieti.go.jp/jp/publications/dp/25e105.pdf
1•rohanm93•27m ago•0 comments

Jet nosedives and erupts into fireball near busy roadway in South Florida

https://apnews.com/article/palm-beach-plane-crash-ffdee609e7916ff7fcd178d2b8e69b39
1•bradleyankrom•27m ago•1 comments

BYD expands EV shipping fleet as wars upend freight costs and key trade routes

https://restofworld.org/2026/byd-expands-cargo-ship-ev-exports/
2•Gaishan•28m ago•1 comments

Panic and Anger Spread as Europe's Great Pension Covenant Unravels

https://www.wsj.com/world/europe/panic-and-anger-spread-as-europes-great-pension-covenant-unravel...
3•bryan0•31m ago•2 comments

Intel trials open robotics architecture with SAP in Chinese demo

https://www.sdxcentral.com/news/intel-trials-open-robotics-architecture-with-sap-in-chinese-demo/
2•gmays•34m ago•0 comments

Zellic's and V12's Work on x86 Binary Formal Verification

https://v12.sh/blog/x86-formal-verification-intro
2•_doctor_love•35m ago•0 comments

GDPx: Measuring Frontier Model Capabilities Across the Most Valuable Domains

https://newsletter.semianalysis.com/p/gdpx-measuring-frontier-model-capabilities
1•tmoertel•35m ago•0 comments

The Command Line as Franken-REPL

https://www.autodidacts.io/the-command-line-as-everything-repl/
1•Curiositry•36m ago•0 comments

Show HN: GhostBase – 25MB terminal database studio for SQLite, Postgres, MySQL

https://github.com/4yk5/GhostBase
2•4yk5•38m ago•0 comments

Cra Browser: open-source Arc replacement for macOS

https://github.com/VictorKildahl/cra
1•nateb2022•46m ago•0 comments

Show HN: DodoCD – CI/CD for PHP Shared Hosting

https://github.com/YohanSandun/dodocd
1•yohansandun•49m ago•0 comments