frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Why Not Rust? (2020)

https://matklad.github.io/2020/09/20/why-not-rust.html
1•downbad_•46s ago•0 comments

Older adults know AI is slop. They just like it

https://restofworld.org/2026/china-seniors-ai-slop/
1•spelk•1m ago•0 comments

Bicycles Built Based on People's Attempts to Draw Them from Memory

https://www.booooooom.com/2016/05/09/bicycles-built-based-on-peoples-attempts-to-draw-them-from-m...
1•healsdata•1m ago•0 comments

Ban commits/transactions using AST analysis and linters

https://www.droppedasbaby.com/posts/db-commits/
2•offbyone42•4m ago•0 comments

Show HN: Book a Billboard in NYC Times Square

https://bookabillboard.today/
1•HarshaaVardhan•4m ago•0 comments

The Self-Sabotage Paradox: Frontier Labs Are Killing Their Moat

https://www.bargo.ai/research/self-sabotage-paradox-frontier-labs
1•abipal15•5m ago•0 comments

How do you stay familiar with the code when it's written by an LLM?

https://www.aha.io/engineering/articles/staying-familiar-with-the-code-when-its-written-by-an-llm
2•justinweiss•5m ago•0 comments

Smart Cellular Bricks: Towards Collective Intelligence for the Physical World

https://sakana.ai/smart-cellular-bricks/
1•gmays•5m ago•0 comments

Kimi K3: Open Frontier Intelligence

https://twitter.com/Kimi_Moonshot/status/2077830229968683203
2•nekofneko•6m ago•0 comments

Claude – Errors for multiple models

https://status.claude.com/incidents/kqbd7wm6hnnr
1•shorsher•6m ago•0 comments

Kimi Code

https://www.kimi.com/code
1•sebmellen•7m ago•0 comments

AI enthusiasts are in race against time, AI skeptics are in race against entropy

https://charity.wtf/p/ai-enthusiasts-are-in-a-race-against
1•ai_critic•8m ago•0 comments

Performing live migrations of VMs at scale

https://www.sailresearch.com/blog/performing-live-migrations-of-massive-vms-at-scale
1•bobstax•8m ago•0 comments

Act-2 Preview: Generalizing Reliability

https://www.sunday.ai/blog/act-2-preview
1•hubraumhugo•9m ago•0 comments

Rust-powered API framework for Django

https://github.com/dj-bolt/django-bolt
1•Onavo•9m ago•0 comments

Telegram shortlinks knocked offline over sanctioned VPN connection

https://www.theregister.com/security/2026/07/16/telegram-shortlinks-knocked-offline-over-sanction...
2•nyku•10m ago•0 comments

What If David Chalmers's "Hard Problem" of Consciousness Isn't Real?

https://medium.com/@timventura/what-if-david-chalmerss-hard-problem-of-consciousness-isn-t-real-7...
1•timventura•12m ago•0 comments

Kimi K3: Open Frontier Intelligence

https://www.kimi.com/blog/kimi-k3
3•mfiguiere•15m ago•0 comments

Do This Before You Contact Your SQL Server Consultant

https://marlonribunal.com/do-this-before-you-contact-your-sql-server-consultant/
1•MarlonPro•15m ago•1 comments

Truth Social will sell Wall Street quicker access to posts

https://www.cnn.com/2026/07/16/business/truth-social-data-wall-street
1•2OEH8eoCRo0•16m ago•1 comments

Ask HN: Did you make any resolutions this year?

1•anee769•18m ago•0 comments

The Invisible Selection

https://www.bitchute.com/video/JSf5mZkFaq6d/
1•untiledsource•19m ago•0 comments

Show HN: Be the ChatBOT

https://bethechatbot.com/
3•keito•20m ago•0 comments

Ambry – LinkedIn's distributed object store

https://github.com/linkedin/ambry
1•samaysharma•20m ago•0 comments

FDA approves new best-in-class cholesterol pill

https://www.reuters.com/legal/litigation/mercks-cholesterol-pill-gets-us-fda-approval-2026-07-16/
3•ssgodderidge•21m ago•1 comments

Large Open-Weight MoEs Are Converging on Lower Expert Activation Ratios

https://twitter.com/ayushpai0/status/2077817066619351456
1•ayushpai•22m ago•0 comments

Scrawled signature names a Maya astronomer for the first time

https://www.science.org/content/article/scrawled-signature-names-maya-astronomer-first-time
2•gmays•22m ago•0 comments

Power of Reach

https://www.bitchute.com/video/hrdtHJykZcgb/
1•untiledsource•23m ago•0 comments

Thoughts on Typing – Guido Van Rossum (PyCon 2026) [video]

https://www.youtube.com/watch?v=_SRFZODQtxw
3•dwrodri•23m ago•0 comments

We've adding Inkling and 52 small apps one-shotted by it to our arena.

https://arena.logic.inc/compare/asteroid-game/?models=inkling&view=side-by-side
2•sgk284•24m ago•2 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.