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

DNS as a Filesystem: A Practical Study in Applied Category Theory

https://loss.dev/?node=honk-protocol
1•graemefawcett•44s ago•1 comments

Spaceorbust – Terminal RPG where GitHub commits power space civilization

https://spaceorbust.com
2•zjkramer•4m ago•2 comments

Data Science Weekly – Issue 630

https://datascienceweekly.substack.com/p/data-science-weekly-issue-630
1•sebg•7m ago•0 comments

New AI Tool That Helps with Meta Ads

https://www.audience-plus.com
1•alexTs101•7m ago•1 comments

Trmnl – 2025 in Review

https://usetrmnl.com/blog/2025-in-review
1•MBCook•9m ago•0 comments

Show HN: Roblox Python tower defense game

https://github.com/jackdoe/roblox-python-tower-defense
1•jackdoe•9m ago•0 comments

Fee-based primary care is rapidly rising in US, hastening doctor shortages

https://medicalxpress.com/news/2025-12-fee-based-primary-rapidly-hastening.html
2•bikenaga•13m ago•1 comments

Chemical Hygiene

https://karpathy.bearblog.dev/chemical-hygiene/
2•zdw•18m ago•0 comments

North Korean hackers stole a record $2B of crypto in 2025, Chainalysis says

https://www.coindesk.com/business/2025/12/18/north-korean-hackers-stole-a-record-usd2b-of-crypto-...
3•hhs•18m ago•0 comments

How to Use AI as a Real Software Engineering Tool

https://chat.engineer/p/how-to-use-ai-as-a-real-software-engineering-tool
2•olh•20m ago•0 comments

Show HN: Patch PHPUnit to shard your Laravel test suite

https://github.com/boltci/shards
1•matt413•28m ago•0 comments

Wall Street Ruined the Roomba and Then Blamed Lina Khan

https://www.thebignewsletter.com/p/how-wall-street-ruined-the-roomba
2•danboarder•30m ago•0 comments

Show HN: Infexec – A utility for pinning commands to terminal panes

https://github.com/Software-Deployed/infexec
2•indigophone•30m ago•0 comments

A Testing Conundrum

https://nedbatchelder.com/blog/202512/a_testing_conundrum.html
1•todsacerdoti•32m ago•0 comments

Show HN: CLI tools to browse Claude Code and Codex CLI logs interactively

1•hy_wondercoms•32m ago•0 comments

Show HN: TiliaJS FRP JavaScript/TypeScript/ReScript State Management

https://tiliajs.com
1•indigophone•32m ago•0 comments

Exploring the Swift SDK for Android

https://swift.org/blog/exploring-the-swift-sdk-for-android/
1•frizlab•33m ago•0 comments

Cocktail Distributed Key Generation

https://github.com/C2SP/C2SP/blob/main/cocktail-dkg.md
1•choult•34m ago•0 comments

Prediction Market Investors – Where Do I Find Them?

7•h100ker•35m ago•8 comments

Understanding Encoder and Decoder LLMs

https://magazine.sebastianraschka.com/p/understanding-encoder-and-decoder
1•jeffjeffbear•36m ago•0 comments

Show HN: Squache – A self-hosted HTTPS caching proxy for web scraping

https://github.com/devrupt-io/squache
2•devrupt•38m ago•0 comments

LinkedIn's war against bot scrapers ramps up as AI gets smarter

https://news.bloomberglaw.com/artificial-intelligence/linkedins-war-against-bot-scrapers-ramps-up...
1•hhs•40m ago•0 comments

Once Again, Health Care Proves to Be a Bitter Political Pill for GOP

https://www.nytimes.com/2025/12/18/us/politics/health-care-gop.html
2•duxup•42m ago•4 comments

Show HN: Git repo visualization and interactive stars and commits history

https://git-history.com/
2•rohitghumare•42m ago•0 comments

Property-Based Testing Caught a Security Bug I Never Would Have Found

https://kiro.dev/blog/property-based-testing-fixed-security-bug/
2•nslog•42m ago•0 comments

FBI dismantles alleged $70M crypto laundering operation

https://www.theregister.com/2025/12/18/e_note_takedown/
3•Bender•43m ago•0 comments

AI Vending Machine Was Tricked into Giving Away Everything [video]

https://www.youtube.com/watch?v=SpPhm7S9vsQ
1•jhonovich•43m ago•1 comments

Car's web browser may be on the road to cyber ruin

https://www.theregister.com/2025/12/18/web_browsers_in_devices_security_vulnerabilities/
2•Bender•43m ago•0 comments

Scoop: TikTok signs deal for sale of U.S. unit after yearslong saga

https://www.axios.com/2025/12/18/tiktok-sale
1•cdrnsf•43m ago•1 comments

China launches $113B free-trade experiment on Hainan island

https://www.reuters.com/world/china/china-launches-113-billion-free-trade-experiment-hainan-islan...
1•0xpiguy•44m ago•0 comments