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.

Show HN: Enola-A deterministic architecture graph for developers and AI agents

https://github.com/enola-labs/enola/tree/main
1•GertLH•1m ago•0 comments

Chipify – Open-source workflow automation for analog IC design

https://chipify.io/
1•santihofi•1m ago•0 comments

Width vs. Depth: Speculating on the Margin

https://blog.doubleword.ai/speculating-on-the-margin
3•somnial•2m ago•1 comments

Agent-Rigor: AI Coding Discipline and Testing Framework

https://github.com/MeherBhaskar/agent-rigor
1•michael-sumner•4m ago•0 comments

Lunatic: An Erlang-inspired runtime for WebAssembly

https://lunatic.solutions/
2•giancarlostoro•5m ago•0 comments

US Government says it got hacked – again

https://techcrunch.com/2026/07/02/us-government-says-it-got-hacked-again/
1•rbanffy•6m ago•0 comments

China's CXMT Is Set to Challenge DRAM Incumbents

https://newsletter.semianalysis.com/p/chinas-cxmt-is-set-to-challenge-dram
1•rbanffy•7m ago•0 comments

Fable via API and Me

1•lygten•8m ago•0 comments

Localize your App Store IAP and subscriptions in 175 countries with one clic

https://medium.com/apparence/localize-your-app-store-prices-automatically-with-parityappkit-ae3d4...
1•macfleid•10m ago•0 comments

OpenAI Proposes Giving US Govt. 5% Stake

https://www.bloomberg.com/news/articles/2026-07-02/openai-proposes-giving-the-us-government-a-5-s...
1•karma_daemon•10m ago•1 comments

Show HN: LoopFlow – plain-English loops that run coding agents until tests pass

https://loopflow.live
1•forgeapp•11m ago•0 comments

3D Printing a Brain (2021)

https://jonathanraines.github.io/projects/3d-printing-a-brain/
1•JonathanRaines•12m ago•1 comments

Show HN: Newsprint – A native RSS reader for macOS with Hacker News support

https://github.com/ata-sesli/newsprint
1•ata-sesli•12m ago•0 comments

Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC, or

https://minoki.github.io/posts/2026-06-30-haskell-inline-asm.html
1•fanf2•12m ago•0 comments

FoundationDB's Flow – Bringing Actor-Based Concurrency to C++11

https://apple.github.io/foundationdb/flow.html
1•sourdecor•12m ago•0 comments

Ask HN: Who here has gotten a job offer from 'Ask HN: Who wants to be hired?'

3•fur-tea-laser•13m ago•2 comments

Qdf – a Go serializer you query the raw bytes of, smaller than protobuf

https://github.com/alex60217101990/qdf
1•alex602•14m ago•0 comments

The System as a Program: fusing the database and the programming language

https://www.cambra.dev/blog/the-system-as-a-program/
2•sortalongo•17m ago•1 comments

Tarski's influence on computer science [pdf]

https://math.stanford.edu/~feferman/papers/tarskiandcs.pdf
1•remywang•17m ago•0 comments

Optimizing an Algorithm That's Quadratic by Design

https://whatchord.earthmanmuons.com/articles/chord-ranking-performance.html
1•elasticdog•18m ago•0 comments

Anthropic is removing its covert code for catching Chinese competitors

https://www.theregister.com/ai-and-ml/2026/07/01/anthropic-is-removing-its-covert-code-for-catchi...
3•johnbarron•19m ago•0 comments

Understanding List Virtualization

https://jlopes.eu/blog/understanding-virtualization/
2•offeringofpie•19m ago•0 comments

The Mythos report for curl 2026-05-06 made public

https://gist.github.com/bagder/c9b83a19f30e82e41b11f6315465b17a
2•_____k•19m ago•0 comments

Good APIs Age Slowly

https://yusufaytas.com/good-apis-age-slowly
2•birdculture•20m ago•0 comments

What Is CSS Containment and How Can I Use It?

https://csswizardry.com/2026/04/what-is-css-containment-and-how-can-i-use-it/
1•eustoria•20m ago•0 comments

PCs Explorer – Know your worth

https://strivetobeearthsbestemployer.com
1•johnbarron•20m ago•0 comments

Every New JavaScript Feature Worth Knowing

https://blog.webdevsimplified.com/2026-06/new-javascript-features-es2026/
1•eustoria•21m ago•0 comments

How to Switch LLM Providers Without Downtime

https://konghq.com/blog/enterprise/how-to-switch-llm-providers-without-downtime
1•axandriamier•22m ago•0 comments

A Judicial Wake-Up Call on Government by AI

https://www.techpolicy.press/a-judicial-wakeup-call-on-government-by-ai/
2•cdrnsf•22m ago•0 comments

Can You Embrace A.I. Without Layoffs? This Company Says It's Trying

https://www.nytimes.com/2026/07/02/world/europe/germany-sap-ai-jobs-skilled-workers.html
2•xbryanx•23m ago•0 comments