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.

Code Sandbox Tech Behind Manus and Claude Agent Skills

https://www.dataleadsfuture.com/exclusive-reveal-code-sandbox-tech-behind-manus-and-claude-agent-...
1•juanviera23•4m ago•0 comments

ShowHN: RepoScout – A multi-platform Git repo search tool in Rust

1•shreeshjha•8m ago•0 comments

Set Theory with Types

https://lawrencecpaulson.github.io//2025/11/21/Typed_Set_Theory.html
1•baruchel•11m ago•0 comments

OpenAI Demo'd Fixing Issue #2472 Live. It's Still Open

https://blog.tymscar.com/posts/openaiunmergeddemo/
1•baobun•13m ago•0 comments

Why are late night conversations better?

https://www.humaninvariant.com/blog/conversations
1•humaninvariant•15m ago•0 comments

The CIA's mission to sabotage Afghanistan's opium

https://www.washingtonpost.com/national-security/2025/11/12/cia-afghanistan-heroin-poppy-seeds/
1•EvgeniyZh•15m ago•0 comments

Being Chronically Offline Is the New Cool [video]

https://www.youtube.com/watch?v=Lm0gb4wDKCE
1•inatreecrown2•21m ago•0 comments

Moss: a Rust Linux-compatible kernel in 26,000 lines of code

https://github.com/hexagonal-sun/moss
2•hexagonal-sun•22m ago•1 comments

Amex Architecture

2•nemsj•23m ago•0 comments

L2M: Claude Code but for legacy code modernization

https://github.com/astrio-ai/l2m
1•NolanLwin•24m ago•0 comments

Musk's xAI in advanced talks to raise $15B at $230B valuation

https://www.reuters.com/business/musks-xai-advanced-talks-raise-15-billion-lifting-valuation-230-...
1•iamtech•31m ago•0 comments

Traveling with the iPad Pro, 10 Years On

https://sixcolors.com/post/2025/11/traveling-with-the-ipad-pro-10-years-on/
2•tosh•34m ago•0 comments

Memory chips could be the next bottleneck for AI (2024)

https://economist.com/business/2024/10/24/memory-chips-could-be-the-next-bottleneck-for-ai
2•runeks•41m ago•1 comments

Project Sapphire (1995)

https://www.airandspaceforces.com/article/0895sapphire/
2•thunderbong•55m ago•0 comments

Mind-altering 'brain weapons' no longer only science fiction, say researchers

https://www.theguardian.com/world/2025/nov/22/mind-altering-brain-weapons-no-longer-only-science-...
4•ifh-hn•1h ago•0 comments

A minimal and self-contained system for local preview environments

https://github.com/cesarleaz/iframe-hotreload
1•gabyword•1h ago•0 comments

Room-temperature processible ceramics enable sustainable electronics

https://www.dezeen.com/2025/11/17/geolectric-light-mit-design-intelligence-lab/
3•gsf_emergency_6•1h ago•0 comments

2025 Self-Host User Survey Results

https://selfh.st/survey/2025-results/
1•sirbread•1h ago•0 comments

Mark Cuban's plan to shake up healthcare with "Cost-Plus Drugs"

https://www.statnews.com/2025/11/20/readout-loud-podcast-mark-cuban-cost-plus-drugs-trumprx/
1•gsf_emergency_6•1h ago•0 comments

Show HN: Nano Banana Pro – AI image generation and editing platform

https://nanobananapro.design
1•niliu123•1h ago•0 comments

Building a deep-space logistics startup

https://ionmicrosys.com/
5•rainegarden•1h ago•4 comments

Google begins showing ads in AI Mode (AI answers)

https://www.bleepingcomputer.com/news/artificial-intelligence/google-begins-showing-ads-in-ai-mod...
4•nreece•1h ago•1 comments

Channel Geography Favors England Invading France, Not Vice-Versa (Drachinifel) [video]

https://www.youtube.com/watch?v=8Tsrm_mvoVk
1•bell-cot•1h ago•0 comments

A New Programming Model for Full-Stack Distributed Systems

https://www.youtube.com/watch?v=fZf-S5yfbfo
2•geetee•1h ago•0 comments

An MIT Student Awed Top Economists with His AI Study–Then It All Fell Apart

https://www.wsj.com/economy/aidan-toner-rodgers-mit-ai-research-78753243
2•seagullz•1h ago•0 comments

Small Machine Shop Owner Fights Back [video]

https://www.youtube.com/watch?v=jt5DhnoYm5w
1•ksec•1h ago•0 comments

Let me opt in, not out

https://www.aleksandrhovhannisyan.com/blog/let-me-opt-in-not-out/
1•aleksandrh•1h ago•0 comments

Google denies 'misleading' reports of Gmail using your emails to train AI

https://www.theverge.com/news/826902/gmail-ai-training-data-opt-out
6•GeorgeWoff25•2h ago•1 comments

Superman copy found in mum's attic is most valuable comic ever at $9.12M

https://www.bbc.com/news/articles/c8e9rp0knj6o
124•1659447091•2h ago•36 comments

Servo Sponsorship Tiers

https://servo.org/blog/2025/11/21/sponsorship-tiers/
3•pabs3•2h ago•0 comments