frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

How railway timetables became Unix time

https://parksb.github.io/en/article/39.html
1•parksb•1m ago•0 comments

Tech firms are blaming AI for device and console price rises

https://www.bbc.com/news/articles/cd95k584pzqo
1•geox•2m ago•0 comments

HTML as a native data format for LLMs

https://www.lightningjar.com/blog/ast-as-html
1•kevinpeckham•3m ago•0 comments

Avoiding SQLite Database Locks in Production

https://www.bendangelo.me/2026/07/04/avoiding-sqlite-database-locks-in-production/
1•Brajeshwar•3m ago•0 comments

Organic Maps

https://organicmaps.app/
2•tosh•5m ago•0 comments

GitButler in the Terminal

https://lucasaguiar.xyz/en/posts/gitbutler-terminal-cli-tui-2026/
1•isfttr•11m ago•0 comments

Free M&A Encyclopedia

https://mnapedia.com/
1•anongoogleuser•13m ago•0 comments

HNP-Sum: Hidden Number Problem with Small Unknown Multipliers in Python

https://leetarxiv.substack.com/p/hnp-sum
1•theanonymousone•13m ago•0 comments

The Erasure of Interaction

https://read.misalignedmag.com/the-erasure-of-interaction-f41e6bea7d1b
1•lcubw•14m ago•0 comments

Over 140k maps of all kinds

https://www.davidrumsey.com/
1•momentmaker•18m ago•0 comments

Show HN: A pipeline that writes courses and adversarially reviews them

https://purrlearn.com
2•nirolee•19m ago•0 comments

PEP 836: JIT Go Brrr: The Path to a Supported JIT Compiler for CPython

https://discuss.python.org/t/pep-836-jit-go-brrr-the-path-to-a-supported-jit-compiler-for-cpython...
3•lumpa•28m ago•0 comments

Run Windows 2000 on a DEC Alpha with a new es40 fork

https://raymii.org/s/blog/Run_Windows_2000_for_Dec_Alpha_on_a_new_es40_fork.html
2•jandeboevrie•32m ago•0 comments

Hi, I am a 10 years old kid and made a Cool app

https://yf-profitable-strats.streamlit.app/
2•Yamaan_Faraz•37m ago•3 comments

The missing 500 million: Cosmic bombardment melted Earth's first crust

https://arstechnica.com/science/2026/07/the-missing-500-million-cosmic-bombardment-melted-earths-...
1•Brajeshwar•40m ago•0 comments

Terence Tao: What's Next for SAIR Competitions [video]

https://www.youtube.com/watch?v=nbZA4N7BDCU
1•guerby•40m ago•0 comments

Show HN: Calm Engineering Dashboard

https://gitbiased.com/
1•skyfantom•43m ago•0 comments

Catastrophe theory; geniuses and maniacs (2011)

http://glassbottomblog.blogspot.com/2011/01/catastrophe-theory-geniuses-and-maniacs.html
1•mbustamanter•44m ago•0 comments

Researchers find ways to keep homes cooler in summer

https://www.bbc.com/news/articles/cly94l8xjlqo
1•rustoo•45m ago•0 comments

Tensorless – An exact thermodynamic execution sandbox in C++20

https://github.com/AperioGenix/Tensorless-Public
1•alxspiker•49m ago•0 comments

Open-source prompt infrastructure toolkit

https://px0.ai/
1•prakashqwerty•50m ago•0 comments

A Story of Screwdriver Drivers

https://carette.xyz/posts/a_story_of_screwdriver_drivers/
7•LucidLynx•51m ago•1 comments

Phosh 0.56.0

https://phosh.mobi/releases/rel-0.56.0/
50•edward•51m ago•6 comments

Show HN: Hacker-News Jobs

1•freakynit•52m ago•0 comments

Graphify: Turn any codebase into a queryable knowledge graph

https://github.com/Graphify-Labs/graphify
1•domysee•54m ago•0 comments

I spent 100 hours building a website you will use for 20 minutes a week

https://www.dailicle.com/
2•lucky-solanki•54m ago•3 comments

Show HN: UATC-Closed-loop VRAM control and dynamic data pruning for LLM training

https://github.com/sajjaddoda72-design/UATC
1•L_u_u_6•55m ago•0 comments

The Lion, The Witch, and the audacity of recruiters

https://hauleth.dev/post/the-lion-the-witch-and-the-aduacity-of-recruiter/
5•birdculture•57m ago•0 comments

Matrix Multiplication on Blackwell

https://www.modular.com/blog/matrix-multiplication-on-nvidias-blackwell-part-1-introduction
1•skidrow•1h ago•0 comments

Saving tokens and "Let me try something else" infinite loop in Coding Agents

https://cimons.com/article/saving-tokens-let-me-try-something-else-infinite-loop-in-coding-agents
1•etcimon•1h ago•1 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.