Maxproof

Abstract page for arXiv paper 2606.13473: MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

How to automate Instagram engagements with computer vision (and get banned)

If you are asking for human attention, demonstrate human effort

An ever-increasing volume of debug investigations, document writing, and code is written by robots. This has created a new etiquette question when working with a team - when is it OK to forward the output of an AI to another human to read?

Claude Fable is relentlessly proactive

The Future of Email

As AI starts reading and actioning our inboxes, email authentication becomes the trust layer that the future of email depends on.

AI agent bankrupted their operator while trying to scan DN42

A Call to Action: Stop the FCC's KYC Regime

The FCC is proposing to require KYC for anyone who uses a phone. We can act now to stop further erosion of our privacy.

Slightly reducing the sloppiness of AI generated front end

Show HN: Homebrew 6.0.0

Today, I’m proud to announce Homebrew 6.0.0. The most significant changes since 5.1.0 are a new tap trust security mechanism, the new faster, smaller, default internal Homebrew JSON API, sandboxing on Linux, better defaults informed by our user survey, many brew bundle improvements, improved performance and initial support for macOS 27 (Golden Gate).

Show HN: FablePool – pool money behind a prompt, and Fable builds it in public

Nobody ever gets credit for fixing problems that never happened (2001) [pdf]

European sunscreens are safer than American (2024)

Americans visiting beaches in France, Spain or Italy can do something that’s illegal back home: purchase European sunscreens to better prevent skin cancer.

AUR Packages Compromised with Infostealer and Rootkit

Last Updated: 2026-06-12T15:11:52Z (UTC) What’s Happening It appears a new AUR package maintainer impersonating a trusted maintainer adopted and infected 408+ packages. The compromise was reported and other AUR maintai…

A dumpster arrived behind my university's library

A university professor on what we lose when we lose the book as a physical medium.

Kimi K2.7-Code: open-source coding model with better token efficiency

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

Hazel (YC W24) Is Hiring a Full Stack Engineer

Note: This role is exclusively available to U.S. citizens who can obtain and maintain a U.S. government-issued Top Secret security clearance with full-scope polygraph. There are no exceptions. Who We Are: Our mission at Hazel is simple and powerful. We use AI to help U.S. government purchasing teams buy at the speed of need with unparalleled efficiency and cost-effectiveness. It is a $2.7T problem every single year, and Hazel is at the forefront with Federal and State, Local, and EDucation (SLED) agencies.   Hazel has identified a once-in-a-lifetime opportunity to solve this by deploying cutting-edge AI to the public sector and unlocking the full potential of our nation. We empower our partners to move with expediency against the most pr

How we made hit video game Prince of Persia

‘There was no animation software in those days. So I videotaped my brother David running, jumping and climbing in a car park’

Show HN: Script to bulk delete Claude chats from the web UI

Delete all your claude.ai conversations at once. Contribute to MatteoLeonesi/bulk-delete-claude-chat development by creating an account on GitHub.

WASI 0.3.0 Released

WebAssembly System Interface. Contribute to WebAssembly/WASI development by creating an account on GitHub.

WhatsApp Business API pricing 2026: what's free and where markup hides

Free WhatsApp Business API explained honestly: Meta's per-conversation rates, BSP markups, and the platforms that don't hide them.