HackerNews

AI in mathematics is forcing big questions

Article URL: https://spectrum.ieee.org/ai-in-mathematics Comments URL: https://news.ycombinator.com/item?id=48692883 Points: 7 # Comments: 3
HackerNews

US allows Anthropic to release Mythos to 'trusted partners'

Article URL: https://www.reuters.com/technology/us-releases-anthropic-model-mythos-some-us-companies-semafor-reports-2026-06-26/ Comments URL: https://news.ycombinator.com/item?id=48692995 Points: 93 # Comments: 41
🌍 TheVerge

Smart lock maker Level has been gutted and its founders are out

Assa Abloy has laid off the majority of staff at Level Home, the smart lock company known for building smart tech into traditional-looking deadbolts, and is folding the business into Kwikset, according to a source familiar with the decision. The Verge obtained exclusive details from a person familiar with the restructuring who requested anonymity as […]
🌍 TheVerge

OpenAI unveils GPT-5.6 amid US AI regulatory drama

Less than 24 hours after news broke that OpenAI would stagger its next model release at the request of the Trump administration, that model, GPT-5.6, is here. On Friday, the company unveiled the limited preview of its new GPT 5.6 model suite: Sol, the flagship; Terra, a medium-tier model for "high-volume work"; and Luna, a […]
🌍 TheVerge

This video bird feeder is the surprise hit of Prime Day

I can understand why The Verge readers are flocking to the BirdBuddy deal we posted at the beginning of Prime Day. The BirdBuddy Pro with Solar Panels is a wholesome upgrade for your yard, but the full price of $299 is tough to stomach. After all, the BirdBuddy is essentially a video doorbell and solar […]
🌍 TheVerge

The beautiful shame

While European tourists marvel at ranch dressing, Buc-ee's, and other wonders of Middle America, would-be World Cup attendees from Africa, Asia, and the Middle East have experienced a different American pastime: exclusion. President Donald Trump's nakedly racist immigration policies have prevented scores of people from traveling to the United States for the event - even, […]
🌍 TechCrunch

It’s not about Anthropic vs. OpenAI anymore

AI models have progressed to the point where their capabilities have real political consequences. Dealing with those consequences will require collective action.
🌍 TechCrunch

Why everyone from OpenAI to SpaceX is building their own chips (and turning up the heat on Nvidia)

Nvidia has dominated the AI chip market for years, but the era of total dependence might be ending.   OpenAI just shared its plans to spice things up with Jalapeño, its custom inference chip built with Broadcom, joining Google, Apple, and SpaceX in a growing list of companies building their way out of single-supplier risk. The goal is less of a […]
🌍 Dev.to

How to Make a Kernel AI Actually Rational: Causal Chains, Hallucination Detection, and a Parliament

IONA OS is an operating system written from scratch in Rust. It has its own kernel, its own GUI, its own blockchain protocol, its own programming language (Flux), and — since recently — its own kernel‑integrated AI. Not a chatbot. Not a cloud API wrapper. An AI that runs in Ring 0, reads CPU temperature directly, kills processes, changes governors, and synthesises drivers. But here's the thing: when an AI runs inside the kernel, a hallucination isn't just a wrong answer. It could crash th...
🌍 Dev.to

From ANSI to Ergo: Remapping the Transition

A common story in the mechanical keyboard community goes like this: someone starts suffering from repetitive strain injury (RSI) or general hand pain and decides to transition to an ergonomic keyboard. To make the transition easier, they look for a large layout with plenty of keys. However, once the keyboard arrives, they realize the learning curve is steep. Frustrated, they ask for help in forums, convince themselves they bought the wrong board, and buy another one. Those who don't quit often e...
🌍 Dev.to

Free esports API for developers — 2026 guide

Original blog : https://tachiosports.com/blogs/free-esports-api-2026 Why free esports APIs matter in 2026 The esports industry is bigger than ever — over 500 million viewers, billions in revenue, and thousands of developers building tools, bots, dashboards, and betting platforms. But getting reliable live match data used to require expensive enterprise contracts. In 2026, that's no longer the case. What makes a great free esports API Not all free APIs are created equal. Here's wha...
🌍 Dev.to

Production-Ready CodeIgniter 4 + Docker Stack with CI/CD in Less than 10 Minutes

The Problem Every PHP Developer Knows You start a new CodeIgniter 4 project. Before writing a single line of business logic, you spend hours on setup: getting Docker to work, configuring Nginx, wiring PHP-FPM, setting up MySQL and Redis, making PHPUnit run inside the container, and then figuring out why your CI pipeline fails on the first push. That setup time is dead time. It does not ship features. It does not impress clients. And you do it again on the next project. This article ...
🌍 Dev.to

How I Built a Prompt Compressor That Saves 65% on LLM Costs

How I Built a Prompt Compressor That Saves 65% on LLM Costs Every time you call an LLM, tokens that never needed to be processed burn GPU cycles, waste money, and strain the grid. The problem gets worse with every agent loop, every long-context RAG query, every multi-turn conversation. I built SuperCompress — a tiny ~5K parameter CPU policy that scores every line of context for relevance before inference, keeping only what the model needs. The results? 65% fewer tokens, 100% oracle...
🌍 Dev.to

SuperCompress: Cut LLM Costs by 65% Without Losing Answers

Tweet 1 Every LLM call burns GPU cycles on tokens that never needed to run. Padding. Boilerplate. Irrelevant context. I built SuperCompress — a tiny CPU policy that cuts 65% of tokens before inference. Open source. MIT. Free tier. supercompress.vercel.app Tweet 2 The problem is worse than most people realize. At ~50M agent turns/day: → 100B tokens wasted daily → 24K GPU hours → 1,526 tons CO₂ → 6.5M L cooling water We're burning through resources...
🌍 Dev.to

What I Learned About 3D Reconstruction in Week 1 of My AI Internship at PreserveMy.World

This week marked the beginning of my internship at TechRealm x PreserveMy.World — a nonprofit using AI to preserve cultural heritage sites in 3D. I'm on the Core Tech track, focused on Platform & Web Engineering. What is PreserveMy.World? PreserveMy.World is a nonprofit initiative that uses AI and 3D reconstruction to document and preserve historical sites — starting with Lahore's heritage landmarks like Badshahi Masjid. What I Set Up This Week Pytho...
🌍 Dev.to

Cutting our LLM bill ~80% with model routing: the actual cost math

Most teams I talk to run every LLM call through one frontier model, then act surprised when the invoice shows up. We did the same thing for a while. The fix that actually moved our bill was boring: route each request to the cheapest model that can still do the job. Here is the math and how we set it up. The price spread is bigger than people assume If you line up current API pricing across providers, the gap between budget and frontier models for comparable output is roughly 50x...
🌍 Dev.to

iOS App Icon Sizes in 2026: The Complete Reference

Every time I ship an iOS app I end up re-looking-up the icon sizes, so here's the complete 2026 reference in one place — plus the part nobody tells you up front. App Store 1024×1024 px — the required master. With a modern Xcode project this is often the only size you need to provide (see the shortcut below). iPhone Use Points @2x @3x Home Screen 60pt 120×120 180×180 Spotlight 40pt 80×80 120×120 Settings 29p...