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.

Bank of England sees growing risks to financial stability from AI

https://www.reuters.com/business/finance/bank-england-sees-growing-risks-financial-stability-ai-2...
1•adithyaharish•1m ago•0 comments

Swift Rockies – A retreat-style iOS developer conference in Calgary, July 2026

https://swiftrockies.com
1•swiftrockies•2m ago•0 comments

GhostWire – Resilient P2P Mesh Communication

https://www.ghostwire.cc
1•PHANTOMOJO•3m ago•0 comments

Security you can't justify is a vicious cycle

https://bogomolov.work/blog/posts/security-you-cant-justify-is-a-vicious-cycle/
1•irr123•3m ago•0 comments

In-place functional programming with Koka

https://dl.acm.org/doi/abs/10.1145/3607840
1•fanf2•4m ago•0 comments

Office Suite for Coding Agents

https://smalldocs.org/
2•andrem•10m ago•0 comments

Volkswagen bans GrapheneOS citing security reasons, continues support Android 10

https://www.autoevolution.com/news/volkswagen-bans-security-focused-grapheneos-cites-security-rea...
1•teleforce•10m ago•0 comments

Lessons Learned Building Shopify Browser and Server Side Tracking

https://blog.adnansiddiqi.me/implementing-browser-and-server-side-tracking-on-shopify-using-gtm-a...
2•pknerd•10m ago•0 comments

Show HN: I built an in-call AI, and the hard part was making it talk less

https://heyalo.ai
2•giu_1•11m ago•1 comments

Show HN: Unlimitedcodex – Flat-Price OpenAI-Compatible GPT/Codex API Access

https://unlimitedcodex.com
1•caqq•14m ago•0 comments

Bast – Go Structured Web Framework for server-side applications

https://github.com/bastion-framework/bast
1•kasimlyee•16m ago•0 comments

Text to CAD for Furniture Designs

https://www.timbr.pro
1•wojciem•17m ago•0 comments

Performance Optimized Statically Typed Python

https://post-py.org/
1•incognito124•17m ago•0 comments

Show HN: Multi-channel color QR code generator

https://github.com/Astra31415926/QR.G.B.-ART
2•MihailKashkarov•18m ago•1 comments

Golfstream – social network for rich people

https://apps.apple.com/pl/app/golfstream-social-network/id6782670766
3•yaszko•19m ago•1 comments

Grammarly critical hacks and vulnerabilities

2•IDIRIS•21m ago•0 comments

What Is a Load Balancer?

https://hackbotone.com/what-is-a-load-balancer-d4a24d8cf00d
1•hackbotone•26m ago•0 comments

Scientists measured the smallest possible contacts for future computer chips

https://phys.org/news/2026-07-scientists-smallest-contacts-future-chips.html
1•pseudolus•27m ago•0 comments

HTTP/1.1 vs. HTTP/2

https://hackbotone.com/http-1-1-vs-http-2-830f0364a8a4
1•hackbotone•28m ago•0 comments

Calling of an Engineer

https://en.wikipedia.org/wiki/Calling_of_an_Engineer
1•thunderbong•28m ago•0 comments

Omni – open-source (Granola, Notion and Wispr Flow all in one)

https://github.com/AlexKapadia/omni
1•alexkapadia1•29m ago•0 comments

AI Giants Are Handing Out Tons of Free Computing Power to Grab Startup Share

https://www.wsj.com/tech/ai/ai-giants-are-handing-out-tons-of-free-computing-power-to-grab-startu...
1•thm•30m ago•0 comments

Basilisk – a Rust Python type checker at 100% on the typing conformance suite

https://github.com/python/typing/blob/main/conformance/results/results.html
1•cfdevelop•34m ago•0 comments

Bird-Away: Raspberry Pi-powered water-based bird deterrent

https://github.com/mattsahn/bird-away
2•sahn44•35m ago•4 comments

Death Becomes Her: China's New Hit Game

https://www.sixthtone.com/news/1018715
1•Alien1Being•38m ago•0 comments

PostgreSQL Benchmark: AWS RDS vs. Self-Hosted on Hetzner (2026)

https://hostim.dev/blog/postgres-benchmark-rds-vs-hostim-vs-self-hosted/
3•pv1337•39m ago•0 comments

Proxying inference requests in 6ms with Pingora, Envoy, and Spanner

https://modal.com/blog/serverless-servers
1•birdculture•39m ago•0 comments

Researchers Create Self-Replicating Seedbox in Quest for Decentralized Democracy

https://torrentfreak.com/researchers-create-self-replicating-seedbox-in-quest-for-decentralized-d...
1•rapnie•42m ago•0 comments

Why worms (and microbes) are catching on as a manure pollution solution

https://www.technologyreview.com/2026/07/07/1140142/why-worms-and-microbes-are-catching-on-as-a-m...
1•joozio•44m ago•0 comments

Show HN: Orchestra – Browser automation tool with export plain Playwright

https://www.orchestra-automation.com/
1•oceandoughnut•45m ago•1 comments