Tech News

GCC steering committee announces AI policy

The GCC steering committee has adopted an AI contributions policy that prohibits legally significant contributions…

Are We Stuck with Lean?

The author questions whether the mathematical community is irreversibly committed to Lean as its primary proof…

I made a game where you build a CPU from logic gates

A new game called CHIPBUILDER lets players construct a functional CPU from the ground up, progressing from basic logic…

Robinhood Pulls in $1.31B Q2 Revenue as 44% Trading Surge Fuels Record Profit

Robinhood reported record Q2 2026 net revenue of $1.31 billion and a 48% surge in net income to $573 million.

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms

You can't solve computer use by ignoring the interface

# Summary Current AI agents struggle with real-world computer use, achieving only 20.6% task completion on realistic…

3D Pinball for Windows (1995)

Gpiozero Flow

gpiozero is a Python library for Raspberry Pi that simplifies GPIO programming by abstracting hardware details into…

Google will expand age checks on Android worldwide till the end of the year

Google is expanding its Play Age Signals API globally by the end of 2026, starting with Australia and Canada in…

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

Agent-Manager is a terminal user interface (TUI) built with Tmux that allows users to run multiple AI coding…

Carolina Cloud pays SOFR on unused prepaid credits

Carolina Cloud automatically pays SOFR-referenced interest on prepaid credits purchased by organizations, compounding…

Tailscale with Mullvad leaks your DNS

A user reported that Tailscale's integration with Mullvad VPN exit nodes is causing DNS leaks, where DNS queries are not…

The Apple Calculator Language

In the late 1970s, Apple co-founder Jef Raskin proposed a calculator-focused programming language that he apparently…

Cisco FMC static credential vulnerability exploited as a zero-day

A static credential vulnerability in Cisco Secure Firewall Management Center (FMC) Software allows unauthenticated…

Ron Gilbert started production on Thimbleweed Park 2

Ron Gilbert has announced production has begun on Thimbleweed Park 2, scheduled for early 2028, with the original…

I Have Thoughts on the iPhone Air

The author reviews Apple's new iPhone Air, a notably thin phone released in 2026, after using it as their primary device…

Claude is down for 2nd consecutive day

Claude experienced service disruptions affecting multiple models and platforms for a second consecutive day as of July…

Show HN: Edge Drop- #1 productivity and unique clipboard 200 stars on GitHub

Edge-Drop is a productivity tool that functions as a zero-click clipboard manager anchored to the screen edge,…

Meta and BlackRock Commit $14B to One of the Largest AI Data Centers

Meta Platforms and BlackRock are investing $14 billion to build an artificial intelligence data center in Texas, one of…

1,741 "informed" consents with one click? GDPR complaint filed

Privacy advocacy group noyb filed a GDPR complaint against the online dictionary dict.cc for requesting consent to share…

Why the future is local app

Modern software is shifting from cloud-based to local-first applications that run primarily on users' devices rather…

Kuna: Decompiler Development in the Age of Coding Agents

A researcher has released Kuna, an experimental decompiler developed almost entirely by an LLM, which achieves nearly…

A pharmacy chain in Vermont implemented AI for efficiency

Kinney Drugs, a Vermont and New York pharmacy chain, implemented an AI tool for prescription refill services in May, but…

Flume Water Monitor 915 MHz Security Is Pretty Good

A security researcher successfully defeated the encryption on Flume Water Monitor's 915 MHz wireless signal between the…

Logic for Programmers by Hillel Wayne

"Logic for Programmers" by Hillel Wayne is a practical guide teaching working programmers how to use mathematical logic…

Trump considering AI controls after OpenAI hacking incidents

It marks a change of tone for his administration, which has taken a more hands-off approach to the technology.

Microsoft is openly competing with OpenAI, Anthropic more than ever

Microsoft pitched its own homegrown AI models, harnesses, and even a Mythos competitor on Wednesday, telling Wall Street…

Show HN: A local merge queue for parallel Claude Code agents

A developer has created a local merge queue tool for parallel Claude Code agents that serializes concurrent changes to…

The Productivity Mirage

A prolific Facebook engineer named Bob achieved greater success using vanilla Sublime Text and basic debugging methods…