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.

Minnesota mayoral race was a dead-even tie; they drew the winner from a bag

https://www.cnn.com/2026/11/14/us/minnesota-mayoral-race-tie
1•1659447091•3m ago•0 comments

Jensen Huang Affairs Tracker

https://jensenhuangtracker.surge.sh
1•julienmartlet•6m ago•0 comments

Show HN: Free Llms.txt Generator

https://amplifyklicks.com/free-llms-txt-generator/
1•amplifyklicks•7m ago•0 comments

Shine Bright for Voyager's Light‑Day

https://science.nasa.gov/mission/voyager/voyager-1/shine-bright-for-voyagers-light-day/
1•thunderbong•7m ago•0 comments

Show HN: Audio Transcription in Browser with WebGPU

https://whisper.tanpreet.xyz/demo/
1•tanpreetjolly•8m ago•1 comments

The Game: Help people with math

https://game.poshenloh.com/
1•rahimnathwani•9m ago•0 comments

Stop Hardcoding Your Timeouts

https://alfy.blog/2026/04/23/stop-hardcoding-your-timeouts.html
2•birdculture•15m ago•1 comments

Instead of collecting dust, Claude makes your old Kindle useful again

https://www.reddit.com/r/ClaudeAI/comments/1xsk5k9/instead_of_collecting_dust_claude_makes_your_old/
2•taubek•19m ago•0 comments

SSA from Bytecode: Imperative Pearl

https://bernsteinbear.com/blog/ssa-bytecode/
2•fanf2•21m ago•0 comments

Nearly $20M found in Hungary's forests, buildings amid corruption probe

https://www.aljazeera.com/news/2026/11/14/hungarian-investigators-uncover-19-5m-hidden-in-forests...
3•_tk_•30m ago•0 comments

Prime Air secure first SAIL 4 approval from UK Civil Aviation Authority

https://www.aboutamazon.co.uk/news/innovation/prime-air-secures-sail-4-approval-uk-civil-aviation...
1•nephihaha•31m ago•0 comments

How Much Did the November 2026 FAA Outage Cost?

https://www.thepricer.org/how-much-did-the-november-2026-faa-outage-cost/
1•marksmark•31m ago•0 comments

Show HN: MAP & GO! - the day, on a map

https://apps.apple.com/us/app/map-go/id6766313000
2•yairco•32m ago•0 comments

I received a job offer, and they hid a way to launch malicious code

https://www.reddit.com/r/programming/comments/1xvwjeh/how_i_received_a_job_offer_and_they_hid_a_w...
1•taubek•34m ago•1 comments

Show HN: FieldRook – a local-first Windows troubleshooting workstation

https://github.com/Rookweld/FieldRook
1•nullfeather•36m ago•0 comments

Backdooring LLMs – Do you trust your AI provider?

https://pgaleone.eu/ai/2026/11/14/backdooring-llms-and-trust/
2•me2too•43m ago•1 comments

Show HN: Voice-first app onboarding experiment (UI, Pros, Cost)

https://coffeeandtoken.com/anatomy-of-a-voice-first-onboarding/
1•briodf•49m ago•0 comments

Why the Airbus A321XLR Often Gets Stuck Climbing for First Few Hours of Flight

https://simpleflying.com/airbus-a321xlr-often-stuck-climbing-1st-few-hours-flight/
5•edward•50m ago•0 comments

Nature-Based Sanitation. Cihuatlán: A Large-Scale Artificial Wetland

https://revista.unaminternacional.unam.mx/en/nota/12/saneamiento-basado-en-la-naturaleza-cihuatla...
1•bryanrasmussen•1h ago•0 comments

Could China's battery-swapping e-trucks be the answer to EV range anxiety

https://www.theguardian.com/environment/2026/nov/12/china-battery-swapping-e-trucks-catl-ev-range...
5•xbmcuser•1h ago•0 comments

Show HN: Automatic extraction gets you structured data from web data

http://66.44.17.8/:3333
1•sunsonia926•1h ago•0 comments

Spreadsheets and Other Models of Morality

https://blog.coredump.cx/p/spreadsheets-and-other-models-of
1•surprisetalk•1h ago•0 comments

Secure Exclaves and Ambient Sensing

https://security.apple.com/blog/secure-exclaves/
1•u1hcw9nx•1h ago•0 comments

Skill Recorder: Desktop app that records your on-screen work session

https://github.com/microsoft/skill-recorder
1•taubek•1h ago•0 comments

British salmon loses its organic status

https://www.theguardian.com/environment/2026/nov/14/salmon-organic-british-farmed-environmental-w...
1•rdmuser•1h ago•0 comments

The Tyranny of Format over Content

https://medium.com/@smoking2man/the-tyranny-of-format-over-content-how-modern-ai-models-fit-human...
1•Aldus551•1h ago•0 comments

LetterBurst: Crossword Puzzle

https://play.google.com/store/apps/details?id=com.letterburst.game&hl=en_US
1•CompetitivePie•1h ago•0 comments

The Forgotten Sport of Balloon Jumping

https://www.smithsonianmag.com/air-space-magazine/sport-balloon-jumping-180958805/
2•thunderbong•1h ago•0 comments

This Week in Plasma: XWayland on Demand

https://blogs.kde.org/2026/11/14/this-week-in-plasma-xwayland-on-demand/
2•HieronymusBosch•1h ago•0 comments

Tip

https://vivaldi.com/blog/tips/tip-639/
1•wizardV•1h ago•0 comments