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

Prompt Engineering for Vibecoding MVP Quicker

https://chromewebstore.google.com/detail/promptify/gbdneaodlcoplkbpiemljcafpghcelld
1•Krish-mal15•1m ago•1 comments

Is there any value from "coming soon" placeholders?

1•sshadmand•2m ago•0 comments

Prediction: AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
1•raphlinus•2m ago•0 comments

Best Japanese Learning Tools 2025 Award Show

https://skerritt.blog/best-japanese-learning-tools-2025-award-show/
1•wahnfrieden•10m ago•0 comments

Israel Pumps Desalinated Water into Depleted Sea of Galilee

https://humanprogress.org/in-world-first-israel-begins-pumping-desalinated-water-into-depleted-se...
1•geox•10m ago•0 comments

Show HN: Chrome Extension and Spreadsheet that replaced our $10k/y support desk

https://tatomo.com
1•mareksotak•10m ago•0 comments

I Know Why Lying about AI Water Use Is So Easy [video]

https://www.youtube.com/watch?v=H_c6MWk7PQc
1•Topfi•12m ago•0 comments

Hamas Rejects Disarmament, Threatens Another October 7 – Media Silence

https://honestreporting.com/hamas-rejects-disarmament-threatens-another-october-7-media-silence/
3•mhb•17m ago•0 comments

A.I. Videos Have Flooded Social Media. No One Was Ready

https://www.nytimes.com/2025/12/08/business/ai-slop-sora-social-media.html
2•xnx•21m ago•0 comments

Plaintext Casa – A decentralized social network

https://plaintext.casa/
1•koehr•22m ago•1 comments

Multibase CLI

http://www.chriswarbo.net/blog/2025-12-07-multibase_cli.html
1•chriswarbo•23m ago•0 comments

This Century, Child Mortality Is Likely to Rise

https://time.com/7338791/childhood-mortality-increasing-gates-foundation/
4•gok•23m ago•1 comments

Microsoft wants to fix app updates – new orchestrator to make updates invisible

https://www.windowscentral.com/microsoft/windows-11/microsoft-wants-to-fix-app-updates-on-windows...
1•zathan•25m ago•0 comments

Guardian Editorial on Geoengineering

https://www.theguardian.com/commentisfree/2025/dec/08/the-guardian-view-on-solar-geoengineering-a...
1•dr_dshiv•25m ago•0 comments

Why the Sanitizer API is just `setHTML()`

https://frederikbraun.de/why-sethtml.html
1•birdculture•26m ago•0 comments

A battle against arsenic toxicity by Earth's earliest complex life forms

https://www.nature.com/articles/s41467-025-59760-9
1•QueensGambit•28m ago•0 comments

Poland arrests Ukrainians utilizing 'advanced' hacking equipment

https://www.bleepingcomputer.com/news/security/poland-arrests-ukrainians-utilizing-advanced-hacki...
3•c420•29m ago•0 comments

Release Notes for Safari Technology Preview 233

https://webkit.org/blog/17635/release-notes-for-safari-technology-preview-233/
1•feross•29m ago•0 comments

CISA's Mobile Communications Best Practice Guidance [pdf]

https://www.cisa.gov/sites/default/files/2025-11/guidance-mobile-communications-best-practices-20...
1•embedding-shape•30m ago•0 comments

Multifunctional retinal phantom for standardizing ophthalmic imaging systems

https://www.nature.com/articles/s44172-025-00475-6
1•PaulHoule•32m ago•0 comments

Universal Probabilistic Daily Reminder Coordination System for Anything

https://github.com/TypicalHog/randevu
1•TypicalHog•32m ago•0 comments

Unix v4 tape found in closet at UofU

https://ksltv.com/science-technology/university-of-utah-discovers-rare-computer-relic/853296/
3•krupan•34m ago•1 comments

Social media, not gaming, tied to rising attention problems in teens

https://theconversation.com/social-media-not-gaming-tied-to-rising-attention-problems-in-teens-ne...
5•devonnull•35m ago•2 comments

LMArena Is a Plague on AI

https://surgehq.ai/blog/lmarena-is-a-plague-on-ai
3•cui•35m ago•1 comments

Show HN: Axis – A semantics-first logic language co-designed with AI

https://github.com/axis-foundation/axis-research
1•fixpointflow•36m ago•1 comments

Show HN: RamScout – Search eBay RAM Listings by Price per GB (US/UK)

https://www.ramscout.com/
3•chinskee•37m ago•0 comments

Show HN: I built a system for active note-taking in regular meetings like 1-1s

https://withdocket.com
4•davnicwil•42m ago•0 comments

DeepSeek-v3.2 Release

https://api-docs.deepseek.com/news/news251201
3•yihongs•48m ago•1 comments

DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models

https://cas-bridge.xethub.hf.co/xet-bridge-us/692cfec93b25b81d09307b94/2d0aa38511b9df084d12a00fe0...
4•yihongs•49m ago•1 comments

Claude Code is coming to Slack

https://techcrunch.com/2025/12/08/claude-code-is-coming-to-slack-and-thats-a-bigger-deal-than-it-...
2•jnord•50m ago•1 comments