frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Keurig's new machine uses plastic-free compressed coffee pucks

https://www.theverge.com/tech/1003956/keurig-alta-coffee-machine-altarounds-pucks-appliance-preorder
1•rdmuser•27s ago•0 comments

Chrome extension that identifies the exact remix/edit/sped-up

https://chromewebstore.google.com/detail/musicpulse-–-identify-rem/mmpkdgbmfhikfjgokecogaabmdcm...
1•musicpulsedev•1m ago•0 comments

Show HN: Play an RL self-play policy in Pokemon Gen 3 Randbats in the browser

https://zkingston.com/advsim/
1•zak_kingston•2m ago•0 comments

'Neanderthals Among Us' by Peter Sahlins Review

https://www.historytoday.com/archive/review/neanderthals-among-us-peter-sahlins-review
1•pepys•3m ago•0 comments

Milt Windler, NASA flight director who helped save Apollo 13, dies at 94

https://arstechnica.com/space/2026/10/milt-windler-nasa-flight-director-who-helped-save-apollo-13...
1•divbzero•4m ago•0 comments

Generic Const Args and You

https://blog.rust-lang.org/inside-rust/2026/10/02/generic-const-args-and-you/
1•birdculture•7m ago•0 comments

Foldscape, an interactive atlas of mathematical curiosities

https://foldscape.zauberware.com
1•simon-franzen•10m ago•0 comments

Zordt – AI news distilled to what happened and why it matters

https://zordt.com/
1•vchilkuri•10m ago•0 comments

Ruby-lean: A Ruby semantics with a type soundness proof

https://samx.io/blog/topics/devlog/2026-09-26-ruby-lean.html
1•rajangdavis•11m ago•0 comments

Pixagram.com – The Anti-Social Media Network (Never Released Before) [video]

https://vimeo.com/1231934322
1•whistleblowhy•13m ago•0 comments

Shipping Is the Foundation

https://www.seangoedecke.com/shipping-is-the-foundation/
1•lwhsiao•13m ago•0 comments

Surely you have ultra-wideband radios on your bins too?

https://sjg.io/writing/binrange-have-you-actually-put-the-bins-out/
2•simonjgreen•16m ago•0 comments

A 17yo student spent 40 nights looking for a snake and discovered a new species

https://www.eldebate.com/ciencia/20261002/estudiante-17-anos-paso-40-noches-buscando-serpiente-de...
1•johnnyApplePRNG•17m ago•0 comments

Show HN: Check Product Mention

https://github.com/probelabs/aeo
1•lasgawe•18m ago•0 comments

Language Designers Panel – Stroustrup, Guido van Rossum, Torgersen and Tracey

https://www.youtube.com/watch?v=HFcTjwfpHWQ
2•ggcr•19m ago•0 comments

Behind the killer robots of Ukraine's new warfare 'revolution'

https://www.reuters.com/business/aerospace-defense/behind-killer-robots-ukraines-new-warfare-revo...
2•cisc•21m ago•0 comments

Show HN: Local pretrained classifiers, GPU not needed

https://github.com/nicobrenner/jeffy
1•nico•25m ago•1 comments

Co-Linguistics: AI-Augmented Theory Construction in Linguistics

https://arxiv.org/abs/2609.37635
1•puttycat•25m ago•0 comments

Process Matters More Than Output for Distinguishing Humans from Machines

https://arxiv.org/abs/2605.06524
1•timshell•27m ago•0 comments

Show HN: Linnaeus, a daily biological taxonomy game

https://play.linnaeus-game.workers.dev/
1•cartucho1•28m ago•0 comments

How do you control your phone use?

3•TomGarden•29m ago•1 comments

A Note on Content Restrictions

https://blog.zarfhome.com/2026/10/a-note-on-content-restrictions
2•panic•31m ago•0 comments

Aaron Sorkin Surprised Jesse Eisenberg Wouldn't Want to Play Mark Zuckerberg

https://variety.com/2026/film/news/aaron-sorkin-jesse-eisenberg-mark-zuckerberg-social-reckoning-...
3•gmays•34m ago•0 comments

The right side of the brain shows more signs of aging than the left, new study

https://www.psypost.org/the-right-side-of-the-brain-shows-more-signs-of-aging-than-the-left-new-s...
1•noisysoc•34m ago•0 comments

Show HN: KubeZap – Declarative workflow automation for Kubernetes

https://github.com/kubezap/kubezap-operator
2•borfswitch•37m ago•0 comments

AgentSight: System-wide AI agent profiling and monitoring with eBPF

https://github.com/eunomia-bpf/agentsight
2•matt_d•37m ago•0 comments

Transitive, Abstract, and Class Polymorphic Immutability

https://al.radbox.org/doi/10.1145/3839491
1•matt_d•40m ago•0 comments

Grubby: Static site generator for Git repos written in Ruby

https://git.btxx.org/grubby/
1•bradley_taunt•40m ago•0 comments

What is new in LLVM 23?

https://developer.arm.com/community/arm-community-blogs/b/tools-software-ides-blog/posts/what-is-...
2•matt_d•41m ago•0 comments

Former SR-71 Engineer Talks NASA's Blackbird Revival Program

https://www.twz.com/air/former-sr-71-engineer-talks-nasas-blackbird-revival-program
1•cisc•43m ago•0 comments
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.