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: UTC Time

https://utctime.app/
1•nadermx•43s ago•0 comments

DeepSeek V4 Pro 0813: Intelligence, Performance and Price Analysis

https://artificialanalysis.ai/models/deepseek-v4-pro
1•theanonymousone•2m ago•0 comments

Install Manticore Search with one command

https://medium.com/@s_nikolaev/install-manticore-search-with-one-command-8ab5ba07a06b
1•snikolaev•6m ago•0 comments

Specula: Scaling formal specs for autonomous model checking of system code

http://muratbuffalo.blogspot.com/2026/08/specula-scaling-formal-specifications.html
1•matt_d•10m ago•0 comments

16GB EGPU for AI Inference, $699

https://www.amazon.com/GIGABYTE-Graphics-128-bit-Server-Grade-Thunderbolt/dp/B0GKFHSPN8
1•shrubble•10m ago•1 comments

Show HN: I asked Claude to write DDIA as a live comic

https://systemscomic.com/ddia/read
1•samuelxing•11m ago•0 comments

How the smiley face was born

https://www.history.com/articles/smiley-face-history
1•inatreecrown2•15m ago•0 comments

Edge is dropping older extensions(Manifest V2), affecting popular privacy tools

https://www.malwarebytes.com/blog/news/2026/08/edge-is-dropping-older-extensions-affecting-popula...
2•BearBest•21m ago•0 comments

You're Absolutely Right

https://www.lesswrong.com/posts/u8TdDutDyaSxG76hn/you-re-absolutely-right
1•LinchZhang•33m ago•1 comments

Show HN: Rule-lite – Tiny dependency-free TS engine for JSON conditional rules

https://github.com/tejas821/rule-lite
1•tejas821•33m ago•0 comments

From assistance to execution: How enterprises put AI to work

https://openai.com/index/how-enterprises-put-ai-to-work/
2•vcfgdev•35m ago•0 comments

A unified CLI for native OS keychains – x keyring

https://www.x-cmd.com/blog/260811/
1•Zhengqbbb•38m ago•0 comments

OpenLiving - A data center you can live in [video]

https://www.youtube.com/watch?v=BwkBXNOPa_w
1•inatreecrown2•41m ago•0 comments

Pixel Watch 5 adds a feature Apple Watch desperately needs

https://www.cultofmac.com/news/pixel-watch-5-insulin-resistance-trends
2•ValentineC•50m ago•0 comments

Examples for use of AI and especially LLMs in major mathematical developments

https://mathoverflow.net/questions/502120/examples-for-the-use-of-ai-and-especially-llms-in-major...
1•vismit2000•50m ago•0 comments

Show HN: Agent Memory Leaderboard – first public results for AI memory systems

https://agentmemoryleaderboard.ai/leaderboard/academic/textual
2•IreneAI•55m ago•0 comments

SLAC: CPU-to-GPU Side-Channel Attacks via System-Level Cache on Apple Silicon

https://arxiv.org/abs/2608.09075
3•sbulaev•57m ago•0 comments

Clamiga: Common Lisp for the Amiga

https://nnamgreb.de/blog/Clamiga+-+Common+Lisp+for+the+Amiga
3•emptybits•59m ago•0 comments

Dart 3.13

https://dart.dev/blog/announcing-dart-3-13
2•wstrange•1h ago•0 comments

Show HN: I'm tired replying my social media visitors, I let AI agent handle it

https://www.agle.app/
1•tapriliando•1h ago•0 comments

Notation as a Tool of Thought (1980)

https://www.jsoftware.com/papers/tot.htm
2•colinprince•1h ago•0 comments

Tech adds phone tracking to license plate readers, associating devices with cars

https://theconversation.com/new-tech-adds-phone-tracking-to-license-plate-readers-associating-dev...
7•asdefghyk•1h ago•1 comments

Two weeks later and Adsense is still serving up Scareware

https://bsky.app/profile/redbluething.bsky.social/post/3mswnjfufs22v
2•redbluething•1h ago•0 comments

'Near-autonomous' AI agents attack Taiwan's nuclear safety agency

https://www.theregister.com/security/2026/08/12/near-autonomous-ai-agents-attack-taiwans-nuclear-...
5•Bender•1h ago•0 comments

Tailscale says deeply buried 16-year-old SQLite bug caused last year's outages

https://www.theregister.com/databases/2026/08/12/tailscale-says-deeply-buried-16-year-old-sqlite-...
4•Bender•1h ago•0 comments

Terabytes of credentials leaked in supply-chain attack

https://arstechnica.com/security/2026/08/terabytes-of-credentials-leaked-in-massive-supply-chain-...
3•Bender•1h ago•0 comments

When Will AI Take My Job?

https://www.whenwillaitakemyjob.ai/
10•yetanothermonk•1h ago•5 comments

Why your Amazon order confirmation emails have become so unhelpfu

https://www.theverge.com/ai-artificial-intelligence/977733/amazon-order-emails-google-gmail-ai-ag...
5•cebert•1h ago•1 comments

Show HN: ZKE – A macOS-style multi-cluster Kubernetes console over QUIC

https://github.com/togettoyou/zke
1•togettoyou•1h ago•0 comments

The next AI interface may not be a chatbot

https://hajek.no/posts/2026/next-ai-interface-not-chatbot
1•kamphey•1h ago•0 comments