frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

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•11mo 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.

Android rolling out AI 'Contextual suggestions' that learn from your habits

https://9to5google.com/2026/05/13/android-contextual-suggestions/
1•petee•2m ago•0 comments

Technical Support Representative

1•SanthiyaDhiya•2m ago•0 comments

Load Cells for Silos

https://www.swttech.com/products/load-cells-for-silos/
1•swttech•5m ago•0 comments

Physics of the Century (So Far)

https://galileo-unbound.blog/2026/05/13/the-best-physics-of-the-century-so-far/
1•ibobev•5m ago•0 comments

A minimal distributed key-value database with HashiCorp's Raft library

https://notes.eatonphil.com/minimal-key-value-store-with-hashicorp-raft.html
1•ibobev•6m ago•0 comments

Unsloth: The Art of the Sloth

https://fizz.prose.sh/unsloth
1•severine•6m ago•0 comments

Malware crew TeamPCP open-sources its Shai-Hulud worm on GitHub

https://www.theregister.com/security/2026/05/13/malware-crew-teampcp-open-sources-its-shai-hulud-...
2•pkaeding•7m ago•0 comments

In Praise of Aegis Authenticator (and KDE Connect)

https://agateau.com/2026/in-praise-of-aegis-authenticator/
2•agateau•8m ago•0 comments

Tech oligarchs reshape humanity while billionaires of old seem quaint

https://www.theguardian.com/technology/2026/mar/08/billionaires-tech-oligarchs
3•robtherobber•10m ago•0 comments

US/China talks to make sure non-state actors don't get a hold of these AI models

https://www.cnbc.com/2026/05/14/us-china-ai-rules-bessent-us-lead.html
2•nl•10m ago•0 comments

Show HN: Running the second public ODoH relay

https://numa.rs/blog/posts/odoh-anonymous-dns-without-an-account.html
3•rdme•12m ago•0 comments

Show HN: NoPoint – Pitch decks vibe coded instead of clicked (open source)

https://nopoint.app
1•mewc•12m ago•1 comments

Debankd, a Financial Censorship Monitor

https://debankd.org/
1•kokkis•12m ago•1 comments

Show HN: Bhatti – self-hosted runtime for your harness engineering

https://bhatti.sh
1•sahil-shubham•12m ago•1 comments

SenseNova-U1 Technical VAE-Free Pixel-Level Flow Matching 32xCompression [pdf]

https://github.com/OpenSenseNova/SenseNova-U1/blob/main/docs/pdf/SenseNOVA_U1.pdf
1•DanielWen666•13m ago•0 comments

Kay Nishi and the Meeting That Started MS-DOS

https://nemanjatrifunovic.substack.com/p/kay-nishi-and-the-meeting-that-started
1•whobre•16m ago•0 comments

Show HN: Local-first Kubernetes YAML visualizer (no server, no LLM)

https://openlume.com/explain/yaml
1•shadaba•16m ago•0 comments

Web Agent: Browser-native agent · profiles · tools

https://github.com/nikola66/web-agent
1•nikola66•17m ago•0 comments

Show HN: Zenflow a multi-agent orchestration and workflow engine

https://github.com/zendev-sh/zenflow
1•vietanh85•19m ago•0 comments

Pipes, Forks, and Zombies

https://cs61.seas.harvard.edu/wiki/2017/Shell3/
1•tosh•19m ago•0 comments

I Tracked Down the Hidden Workers Secretly Powering ChatGPT [video]

https://www.youtube.com/watch?v=aooiDA-AsNo
2•ShinyLeftPad•30m ago•0 comments

Officially, Marco Rubio is still banned from China. So how is he in Beijing?

https://www.washingtonpost.com/world/2026/05/14/officially-marco-rubio-is-still-banned-china-so-h...
2•_tk_•31m ago•0 comments

The First Wafer Scale Company – Trilogy Systems Story Part 1 (2024)

https://thechipletter.substack.com/p/wafer-scale-trilogy-systems-part
1•klelatti•31m ago•0 comments

Economics of Expanding Medical Assistance in Dying to Vulnerable Populations

https://journals.sagepub.com/doi/10.1177/00302228251323299
1•NalNezumi•36m ago•0 comments

Hiring Trends in Mid 2026: What Founders Are Getting Wrong

https://foundersarehiring.com/hiring-resources/hiring-trends-mid-2026
1•niksmac•38m ago•0 comments

AI Font Detector: Smart Ways to Identify Fonts with Precision

https://www.tumblr.com/tracksaasly/816569321203613696/ai-font-detector-smart-ways-to-identify-fon...
1•emmaroutines•38m ago•0 comments

Non-interactive Claude Code usage ejected from subscriptions

1•mdemare•38m ago•0 comments

Why Ruby Is the Better Language for LLM-Powered Development

https://www.bytecode.hr/posts/why-ruby-is-the-better-language-for-llm-powered-development
1•faangguyindia•39m ago•0 comments

Firefox extension to browser the web in a 1990s GeoCities retro style

https://addons.mozilla.org/en-US/firefox/addon/geocities-time-machine/
2•whatsupdog•40m ago•1 comments

GitLab's Reliability Crisis: Developers Are Fed Up and Going Public

https://gitlab.com/gitlab-com/gl-infra/production/-/work_items/22104
2•joshwoodcock•41m ago•0 comments