notice: please create a custom view template for the hackernewscore class view-hackernewscore.html
A blueprint for formal verification of Apple corecrypto
🔒 "Formal Verification in Apple corecrypto: A Blueprint for Enhanced Security"
Apple's formal verification of corecrypto ensures the cryptographic core of their systems is mathematically proven to be secure, providing a robust foundation for protecting user data. This rigorous process involves exhaustive testing and validation, significantly reducing the risk of vulnerabilities. By adopting this approach, Apple sets a new standard for security and reliability in the tech industry.
2:05 am, May 23, 2026
guid
https://news.ycombinator.com/item?id=48239862
source_url
https://security.apple.com/blog/formal-verification-corecrypto/
author_name
hasheddan
id: 3083
uid: 1pB5G
insdate: 2026-05-23 02:05:27
title: A blueprint for formal verification of Apple corecrypto
additional: 🔒 "Formal Verification in Apple corecrypto: A Blueprint for Enhanced Security"
Apple's formal verification of corecrypto ensures the cryptographic core of their systems is mathematically proven to be secure, providing a robust foundation for protecting user data. This rigorous process involves exhaustive testing and validation, significantly reducing the risk of vulnerabilities. By adopting this approach, Apple sets a new standard for security and reliability in the tech industry.
category: Hacker News
md5:
guid: https://news.ycombinator.com/item?id=48239862
source_url: https://security.apple.com/blog/formal-verification-corecrypto/
updated:
image:
author_name: hasheddan
author_link:
uid: 1pB5G
insdate: 2026-05-23 02:05:27
title: A blueprint for formal verification of Apple corecrypto
additional: 🔒 "Formal Verification in Apple corecrypto: A Blueprint for Enhanced Security"
Apple's formal verification of corecrypto ensures the cryptographic core of their systems is mathematically proven to be secure, providing a robust foundation for protecting user data. This rigorous process involves exhaustive testing and validation, significantly reducing the risk of vulnerabilities. By adopting this approach, Apple sets a new standard for security and reliability in the tech industry.
category: Hacker News
md5:
guid: https://news.ycombinator.com/item?id=48239862
source_url: https://security.apple.com/blog/formal-verification-corecrypto/
updated:
image:
author_name: hasheddan
author_link:
Add Comment
AI Testing
Page Views
This page has been viewed 8 times.
Search HNews
Category List HNews
- Hacker News
- "Cancel ChatGPT" movement goes mainstream after OpenAI closes deal with U.S. Dow
- "Collaboration" Is Bullshit
- "Disregard That" Attacks
- "Don't You Just Upload It to ChatGPT?"
- "Drawing" the Mona Lisa with GPT-5.6, Claude, Gemini, and Grok
- "Fix" MacBook Neo Cursor Lag: Record 1 Pixel of the Screen Every 10 Seconds
- "People who don't use AI will be left behind"
- "Plain text has been around for decades and it's here to stay." – Unsung
- "Special 301" Comments on Nintendo Game Piracy in Asia and Latin America (1994)
- "That Shape Had None" – A Horror of Substrate Independence (Short Fiction)
- "The new Copilot app for Windows 11 is really just Microsoft Edge"
- "They're made out of weights"
- "Warn about PyPy being unmaintained"
- "We do not think Anthropic should be designated as a supply chain risk"
- $500M for Virtual Biology Initiative, Funded by Zuckerbergs
- $96 3D-printed rocket that recalculates its mid-air trajectory using a $5 sensor
- 'AI washing': firms are scrambling to rebrand themselves as tech-focused
- 'Backrooms' Stuns with $81M Debut
- 'Fatal decision': EU slammed for caving to US pressure on digital rules
- 'Ghost jobs' could soon be illegal in New York
- 'Hairdryer used to trick weather sensor' to win Polymarket bet
- 'Kitten Space Agency', the Spiritual Successor to 'Kerbal Space Program' (2025)
- 'Likweli': A new monkey species discovered in the Congo Basin
- 'Miracle': Europe reconnects with lost spacecraft
- 'No Way to Prevent This,' Says Only Package Manager Where This Regularly Happens
- 'Point of no return': New Orleans relocation must start now due to sea level
- 'The Secret Agent': Exploring a Vibrant, yet Violent Brazil (2025)
- 'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling
- 'We had to get out of the way': The backlash over delivery robots
- 'We mould trees to grow into the shape of chairs'
- 'Wow, it really worked ': 70s TV show causing worldwide panic today
- 'Your Frustration Is the Product'
- (Blender) Cosmology with Geometry Nodes
- (How to Write a (Lisp) Interpreter (In Python)) (2010)
- .de TLD offline due to DNSSEC?
- .de domains were 'down' for 2 hours
- .garden TLD's change to a bad neighborhood
- .gitignore Isn't the Only Way to Ignore Files in Git
- .self: A new top-level domain designed to support self-hosting
- /e/OS is a complete "deGoogled", mobile ecosystem
- 1,300 Beautiful Wildlife Illustrations from the 19th Century Now Restored
- 1,700 free online courses from top universities
- 1-Bit Bonsai Image 4B Image Generation for Local Devices
- 10 REM"_(C2SLFF4
- 10-202: Introduction to Modern AI (CMU)
- 100M-Row Challenge with PHP
- 10Gb/s Ethernet: switching to a Broadcom SFP+ module
- 14× faster embeddings: how we rebuilt the ONNX path in Manticore
- 15 years, one server, 8GB RAM and 500k users – how Webminal refuses to die
- 16-year-old SATA II SSD survives 1 petabyte of writes, 25x the drive's rating
- 1983 Northern Telecom Commodore Phone
- 1B identity records exposed in ID verification data leak
- 1M context is now generally available for Opus 4.6 and Sonnet 4.6
- 1k Data Breaches Later, the Disclosure Lag Is Worse
- 2% of ICML papers desk rejected because the authors used LLM in their reviews
- 2,100 Swiss municipalities showing which provider handles their official email
- 2-D Mathematical Curves
- 20 years on AWS and never not my job
- 2009 Aftonbladet Israel Controversy
- 2026 Unslop AI-Written Fiction Contest Results
- 21 years and counting of 'eight fallacies of distributed computing' (2025)
- 245TB Micron 6600 ION Data Center SSD Now Shipping
- 3.4M Solar Panels
- 32GB of DDR5 now costs $375 – AI shortage continues to squeeze PC building
- 3D-Knitting: The Ultimate Guide
- 4 things to know about the new sunscreen ingredient the FDA approved
- 4-bit floating point FP4
- 404 Deno CEO not found
- 447 TB/cm² at zero retention energy – atomic-scale memory on fluorographane
- 4K years ago, Mohenjo-daro grew more equal over time
- 56,000 lines of DOOM, in a language I made up
- 560-610 minutes of exercise a week needed for substantial heart benefits
- 60% Fable cost cut by converting code to images and having the model OCR it
- 7 lines of code, 3 minutes: Implement a programming language (2010)
- 7.1 Earthquake in Japan
- 7.8 magnitude earthquake shakes part of southern Philippines. Tsunami possible
- 80386 Microcode Disassembled
- 8087 Emulation on 8086 Systems
- 81yo Dodgers fan can no longer get tickets because he doesn't have a smartphone
- 9 Mothers (YC P26) Is Hiring
- 9 Mothers (YC P26) Is Hiring in Austin, TX
- 9 Mothers (YC P26) Is Hiring – Lead Robotics and More
- 90% of Claude-linked output going to GitHub repos w <2 stars
- 90% of crypto's Illinois primary spending failed to achieve its objective
- 98% Isn't Much
- 98.css
- A $500 RL fine-tune of a 9B open model beat frontier models on catalog review
- A 10 year old Xeon is all you need
- A 10 year old Xeon is all you need (for 26B-A4B MTP Drafters without GPU)
- A Better R Programming Experience Thanks to Tree-sitter
- A C++ implementation of a fast hash map and hash set using hopscotch hashing
- A CPU that runs entirely on GPU
- A Cali. farmer is giving away tons of nectarines that he's not allowed to sell
- A Canonical Generalization of OBDD
- A Claude Code and Codex Skill for Deliberate Skill Development
- A Compiler Writing Journey
- A Couple Million Lines of Haskell: Production Engineering at Mercury
- A Decade of Docker Containers
- A Decade of Slug
- A Eureka machine that thinks like nature and explores what AI cannot
- A Faster Alternative to Jq
- A Few Good Magazines From the 70s and 80s
- A General Goal-Conditioned Minecraft Model
- A GitHub Issue Title Compromised 4k Developer Machines
- A HN post with negative points – how?
- A Japanese Glossary of Chopsticks Faux Pas
- A Japanese glossary of chopsticks faux pas (2022)
- A Koi Pond Mosaic Made from 10 Pounds of 3D Printer Waste
- A Letter from Dijkstra on APL
- A Look into NaviDial, Japan's Legacy Phone Service
- A Man Who Reads Books for a Living
- A Man Who Reads Books for a Living (One Every Two Days)
- A Mathematician's Lament (2002) [pdf]
- A Mathematician's Lament – Paul Lockhart (2002) [pdf]
- A Matter Wi-Fi Light Bulb in Rust on the Raspberry Pi Pico 2 W
- A Mysterious Numbers Station Is Broadcasting Through the Iran War
- A Nationwide Book Ban Bill Has Been Introduced in the House of Representatives
- A PDF that changes based on how its read
- A Perfectable Programming Language
- A Probabilistic Algorithm for Repairing All Roads in Lebanon via Papal Visits (2025)
- A Rave Review of Superpowers (For Claude Code)
- A Report on Burnout in Open Source Software Communities (2025) [pdf]
- A Roblox cheat and one AI tool brought down Vercel's platform
- A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT)
- A Visual Introduction to Machine Learning
- A WebGPU Implementation of Augmented Vertex Block Descent
- A Written Language for the Cherokee So Efficient It Was Thought to Be Magic
- A backdoor in a LinkedIn job offer
- A better way to tie your gym shorts. (Or any drawstring) [video]
- A bit of fluid mechanics from scratch not from scratch
- A blueprint for formal verification of Apple corecrypto
- A cache-friendly IPv6 LPM with AVX-512 (linearized B+-tree, real BGP benchmarks)
- A case for Go as the best language for AI agents
- A compelling title that is cryptic enough to get you to take action on it
- A complete ClickHouse OLAP engine, compiled to WebAssembly
- A couple million lines of Haskell: Production engineering at Mercury
- A data race that doesn't compile
- A deadly fungus that can infect cats and people is spreading
- A digestion of the Jacobian conjecture counterexample
- A dock that wakes up reliably
- A dot a day keeps the clutter away
- A few words on DS4
- A flaky test exposed a Redis client use-after-free
- A forecast of the fair market value of SpaceX's businesses
- A full body MRI earns you a year of smoking
- A fundamental principle of aeronautical engineering has been overturned
- A generic dynamic array in C that stores no capacity and needs no struct
- A global workspace in language models
- A good AGENTS.md is a model upgrade. A bad one is worse than no docs at all
- A grounded conceptual model for ownership types in Rust
- A grumpy screed about AI in software engineering
- A hidden workforce behind Meta’s new smart glasses
- A jacket that harvests drinking water from the air
- A low-carbon computing platform from your retired phones
- A mad undertaking: An undefinitive guide to the Aadam Jacobs collection
- A missing underscore sent innocent man to prison for 18 months
- A most elegant TCP hole punching algorithm
- A native graphical shell for SSH
- A network smuggling Starlink tech into Iran to beat internet blackout
- A new Android malware from Google
- A new Bigfoot documentary helps explain our conspiracy-minded era
- A new C++ back end for ocamlc
- A new Intel Itanium (IA-64) emulator that boots Windows
- A new account made over $515,000 betting on the U.S. strike against Iran
- A new bill takes aim at government pressure to silence lawful online speech
- A new gene therapy is giving people born deaf the chance to hear
- A new runtime for k and q: l
- A new spam policy for "back button hijacking"
- A nicer voltmeter clock
- A perfectable programming language
- A pictorial introduction to differential geometry (2017)
- A playable DOOM MCP app
- A possible future for Damn Interesting
- A powerful new chapter for Windows PCs, accelerated by Nvidia RTX Spark
- A public ledger of cloud outages and the SLA credits they trigger
- A pure scheme web programming tool
- A recent experience with ChatGPT 5.5 Pro
- A record 242 US cities now have starter homes that cost $1M
- A retro terminal music player inspired by Winamp
- A robot is sprinting towards you. Do you want it running on Claude or Grok?
- A scoping review of bicycling interventions’ impacts on well-being
- A sea of sparks: Seeing radioactivity
- A sentimental tour of late 1990s and early 2000s hacking tools
- A simplified model of Fil-C
- A software engineering interview question I like: computing the median
- A solid-state “atomic channel” for separating rare earth elements
- A standard protocol to handle and discard low-effort, AI-Generated pull requests
- A statement about why RightsCon 2026 will not take place in Zambia
- A sufficiently detailed spec is code
- A tail-call interpreter in (nightly) Rust
- A tale about fixing eBPF spinlock issues in the Linux kernel
- A taxonomy of omnicidal futures involving artificial intelligence (2025)
- A type-safe, realtime collaborative Graph Database in a CRDT
- A voxel Tokyo in real Japan time – ride the Yamanote line and study Japanese
- A walk through of the DeltaNet family of linear attention variants
- A walking tour of surveillance infrastructure in Seattle
- A way to exclude sensitive files issue still open for OpenAI Codex
- A web-based RDP client built with Go WebAssembly and grdp
- A website that lists websites to submit your website to
- A.I. note takers are making lawyers nervous
- ABC News has taken all FiveThirtyEight articles offline
- ADT says customer data stolen in cyber intrusion
- AGPLv3§74 Empowers Users to Thwart Badgeware Like OnlyOffice
- AI Agent Guidelines for CS336 at Stanford
- AI Agent – TRMNL
- AI Coding at Home Without Going Broke
- AI Companies Are Trying to Hide a Staggering Amount of Debt
- AI Compute Extensions (ACE) Specification
- AI Error May Have Contributed to Girl's School Bombing in Iran
- AI Is Breaking Two Vulnerability Cultures
- AI Is Designing Radio Chips That Humans Couldn't Even Imagine
- AI Made Writing Code Easier. It Made Being an Engineer Harder
- AI Mania Is Eviscerating Global Decision-Making
- AI Meets Cryptography 1: What AI Found in Cloudflare's Circl
- AI OSS tool repo goes archived over night after raising $7.3M Seed
- AI Product Graveyard
- AI Skills as loader spec, not prompts – why the architecture changes everything
- AI Slop Is Killing Online Communities
- AI Tokens Are Mana
- AI Tools Are Only as Good as Your Judgment – and That's the Point
- AI advice made people less accurate but more confident – sudy
- AI agent bankrupted their operator while trying to scan DN42
- AI agent runs amok in Fedora and elsewhere
- AI and bots have officially taken over the internet
- AI assistance when contributing to the Linux kernel
- AI boom risks widening wealth divide, says BlackRock's Larry Fink
- AI chemist improves a challenging reaction in medicinal chemistry
- AI coding is gambling
- AI companies are shredding rare books
- AI could be the end of the digital wave, not the next big thing
- AI cybersecurity is not proof of work
- AI fake news complaining about how AI fake news is the death of real news
- AI for American-Produced Cement and Concrete
- AI got the blame for the Iran school bombing. The truth is more worrying
- AI in mathematics is forcing big questions
- AI is a technology not a product
- AI is code – and can't be prompted into being smarter
- AI is just unauthorised plagiarism at a bigger scale
- AI is making junior devs useless
- AI is making me dumb
- AI is wiping out entry-level jobs
- AI makes programming differently difficult
- AI may be making us think and write more alike
- AI outperforms law professors in Stanford Law study
- AI overly affirms users asking for personal advice
- AI should elevate your thinking, not replace it
- AI will be used to estimate age of asylum seekers from next year
- AI, Intimacy, and the Data You Never Meant to Share
- AI-Assisted Cognition Endangers Human Development
- AIs can't stop recommending nuclear strikes in war game simulations
- AIs don't do what you want. This is bad
- AMD Am386 released March 2, 1991
- AMD Stiffs Researcher $10k Bug Bounty
- AMD Strix Halo RDMA Cluster Setup Guide
- AMD pulls a bait-and-switch on Linux users with Vivado licensing changes
- AMD's Ryzen 9 9950X3D2 Dual Edition crams 208MB of cache into a single chip
- APL is more French than English
- ARC-AGI Leaderboard
- ARM AGI CPU: Specs and SKUs
- ASCII and Unicode quotation marks (2007)
- AUR Packages Compromised with Infostealer and Rootkit
- AWS Bedrock to require sharing data with Anthropic for Mythos and future models
- AWS Engineer Reports PostgreSQL Perf Halved by Linux 7.0, Fix May Not Be Easy
- AWS Fired the One Employee Who Gave a Damn
- AWS Middle East Central Down, apparently struck in war
- AWS stops billing Middle East cloud customers as repairs to war damage drag on
- Ableton Extensions SDK
- About 10% of AMC movie showings sell zero tickets. This site finds them
- About LLMs at Zig Days
- Academic fraud may be the symptom of a more systemic problem
- Accelerando (2005)
- Accelerate
- Accelerating Gemma 4: faster inference with multi-token prediction drafters
- Access to frontier AI will soon be limited by economic and security constraints
- AccessOwl (YC S22) is hiring an AI TypeScript Engineer to connect 300 SaaS tools
- Accidentally deleted subscriptions for chat integrations (Slack and MS Teams)
- Acronym Fatigue Series Introduction: why I'm wary of acronyms
- ActivityPub over ATProto
- Ada 2022
- Ada, Its Design, and the Language That Built the Languages
- Adafruit Receives Demand Letter from Fenwick Legal Counsel on Behalf of Flux.ai
- Adaptional (YC S25) Is Hiring
- Adaptional (YC S25) Is Hiring Founding AI Engineers
- Adding Linux support back for the BASIC (free) version of Vivado
- Addressing Antigravity Bans and Reinstating Access
- Adobe modifies hosts file to detect whether Creative Cloud is installed
- Ads on Apple Maps
- Advanced Compilers: The Self-Guided Online Course
- Advanced Mac Substitute is an API-level reimplementation of 1980s-era Mac OS
- Advanced Quantization Algorithm for LLMs
- Advertise in ChatGPT
- Advice to Young People, the Lies I Tell Myself (2024)
- Afrika Bambaataa, hip-hop pioneer, has died
- Afroman Wins Civil Trial over Use of Police Raid Footage in His Music Videos
- Afroman found not liable in defamation case brought by Ohio cops who raided home
- After 20 years I turned off Google Adsense for my websites
- After 20 years I turned off Google Adsense for my websites (2025)
- After dissing Anthropic for limiting Mythos, OpenAI restricts access to Cyber
- After the AI Crash
- Against Usefulness
- Age verification for social media, the beginning of the end for a free internet?
- Age verification is just a precursor to automated attribution of speech
- Age verification tech could put children at greater risk, says think tank
- Ageless Linux – Software for humans of indeterminate age
- Agent Reading Test
- Agent Safehouse – macOS-native sandboxing for local agents
- Agent Skills
- Agent Skills – Open Security Database
- Agent swarms and the new model economics
- Agent-harness-kit scaffolding for multi-agent workflows (MCP, provider-agnostic)
- Agent-talk: Enabling coding agents to work together
- Agent-to-agent pair programming
- Agentic Coding Is a Trap
- Agentic Engineering Patterns
- Agentic Patterns
- Agentic coding notes from Galapagos Island
- Agents Aren't Coworkers, Embed Them in Your Software
- Agents can now create Cloudflare accounts, buy domains, and deploy
- Agents need control flow, not more prompts
- Agents that run while I sleep
- Aging and Eye Problems
- Agora-1: The Multi-Agent World Model
- Ah, the Codeberg Drama
- Ahoy, DECmate II the little PDP-8 that could
- Aikido Code Audit
- AirSnitch: Demystifying and breaking client isolation in Wi-Fi networks [pdf]
- Airbus Takes Flight from AWS
- Airbus is preparing two uncrewed combat aircraft
- Airline worker arrested after sharing photos of bomb damage in WhatsApp group
- Airport Simulator
- Al Vigier: Canada's AI strategy shouldn't include secret Palantir bills
- Alan Greenspan Dies at 100; Led Fed During Boom Before 2008 Bust
- Alaska's oil revival sparks a new energy rush Into the Arctic
- Alberta startup sells no-tech tractors for half price
- Alexander Grothendieck Revolutionized 20th-Century Mathematics
- Algorithm for NP-Complete Sudoku
- Algorithmic Monocultures in Hiring
- Alibaba to ban Claude Code in workplace over alleged backdoor risks, source says
- Alice is impatient
- Alien World Chemistry Found Inside Meteorite That Struck New Jersey Home
- Alignment pretraining: AI discourse creates self-fulfilling (mis)alignment
- Alignment whack-a-mole: Finetuning activates recall of copyrighted books in LLMs
- All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder
- All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018)
- All 253 Patterns from Christopher Alexander's a Pattern Language Summarized
- All 9,300 Japanese train station, animated by the year it opened (1872–2026)
- All Four Sentinel-1 Satellites Are Now Live
- All Those A.I. Note Takers? They're Making Lawyers Nervous
- All elementary functions from a single binary operator
- All my clients wanted a carousel, now it's an AI chatbot
- All of human cooking compressed into 2 megabytes
- All phones sold in the EU to have replaceable batteries from 2027
- Allegations of insider trading over prediction-market bets tied to Iran conflict
- Allocating on the Stack
- Alpha Micro AM-1000E and AM-1200
- Alphabet announces $80B equity capital raise to expand AI infra and compute
- Alphabet's cash burn raises alarm for Big Tech as AI spending climbs
- Aluminum Foil
- Alzheimer's disease mortality among taxi and ambulance drivers (2024)
- Am I German or Autistic?
- Am I the only one who hates delivery robots?
- Amateur may have cracked Linear A, a 120-year-old puzzle
- Amazon Announces Multibillion-Dollar Data Center in Missouri
- Amazon Busted for Widespread Scheme to Inflate Prices Across the Economy
- Amazon CEO's Talks with U.S. Officials Triggered Crackdown on Anthropic Models
- Amazon CEO's talks with U.S. officials triggered crackdown on Anthropic models
- Amazon Has Axed Its New Stargate Series
- Amazon Seller Reveals Rare Glimpse of Shadow Bribery Market
- Amazon Web Services – Four Years and Out
- Amazon accused of widespread scheme to inflate prices across the economy
- Amazon holds engineering meeting following AI-related outages
- Amazon to acquire Globalstar and expand Amazon Leo satellite network
- Amazon workers under pressure to up their AI usage–so they're making up tasks
- Amazon, Facebook, FBI have access to a private intelligence-sharing network
- America's Geothermal Breakthrough
- America's Greatest Strategic Blunder: The Imprisonment of Qian Xuesen
- America, and probably the world, stands on a precipice
- Americans express unease over SpaceX's influence on retirement savings
- Amiga 1000: Ten years ahead of its time
- Amiga Graphics
- An AI agent deleted our production database. The agent's confession is below
- An AI coding agent, used to write code, needs to reduce your maintenance costs
- An American Privacy Emergency
- An ESP32 based plane radar for my desk
- An Englishwoman who sketched India before photography took hold
- An Infuriating Goodbye to Photoshop
- An Interactive Intro to CRDTs (2023)
- An Interesting Find: STM32 RDP1 Decryptor
- An Interview with Intel's Kira Boyko: Xeon 6's Product Director
- An Introduction to Meshtastic
- An Introduction to YOLO26
- An NSFW filter for Marginalia search
- An Ode to Bzip
- An Ohio Valley 100k-Watt FM Signal Is Severed in Broad Daylight – Radio World
- An OpenAI model has disproved a central conjecture in discrete geometry
- An Uncomplicated Man – A review of The Odyssey, directed by Christopher Nolan
- An Update on GitHub Availability
- An australian teen team is making radio astronomy affordable for rural schools
- An autopsy of AI-generated 3D slop
- An entire Herculaneum scroll has been read for the first time
- An experiment to use GitHub Actions as a control plane for a PaaS
- An interactive explorer for Benford's Law across real datasets
- An interactive intro to Elliptic Curve Cryptography
- An interactive map of Flock Cams
- An old photo of a large BBS (2022)
- An open-source 240-antenna array to bounce signals off the Moon
- An opinionated take on how to do important research that matters
- An oral history of Bank Python (2021)
- An unknown Sega Saturn project has come to light after 29 years
- An unstoppable mushroom is tearing through North American forests
- An update on Steam / GOG changes for OpenTTD
- An update on recent Claude Code quality reports
- An update on residential proxies and the scraper situation
- Analyzing Geekbench 6 under Intel's BOT
- Anatomy of a Failed (Nation-State?) Attack
- Anatomy of the .claude/ folder
- Ancient DNA reveals pervasive directional selection across West Eurasia [pdf]
- Ancient genome duplications laid the foundations of complex brains
- Andrej Karpathy Joins Anthropic
- Android 15's hidden Linux Terminal is a real Debian VM – and it runs Claude Code
- Android Developer Verification
- Android May Soon Restrict On-Device ADB
- Android developer verification: Balancing openness and choice with safety
- Android now stops you sharing your location in photos
- Android: Balancing Openness and Choice with Safety
- Angular v22
- Animation 10k Starlink Satellites
- Anna's Archive Hit with $19.5M Default Judgment and Global Domain Takedown Order
- Anonymous GitHub account mass-dropping undisclosed 0-days
- AnswerThis (YC F25) Is Hiring
- Anthropic CEO calls OpenAI's messaging around military deal 'straight up lies'
- Anthropic Cofounder Chris Olah's Remarks on Pope Leo XIV's "Magnifica Humanitas"
- Anthropic Cowork feature creates 10GB VM bundle on macOS without warning
- Anthropic Drops Flagship Safety Pledge
- Anthropic Is Preparing for IPO and We Should Be Worried
- Anthropic Subprocessor Changes
- Anthropic co-founder to present AI encyclical alongside Pope Leo XIV
- Anthropic confidentially submits draft S-1 to the SEC
- Anthropic ditches its core safety promise
- Anthropic expands partnership with Google and Broadcom for next-gen compute
- Anthropic is expanding to Colossus2. Will use GB200
- Anthropic raises $65B in Series H funding at $965B post-money valuation
- Anthropic says OpenClaw-style Claude CLI usage is allowed again
- Anthropic says company 'cannot in good conscience accede' to Pentagon's demands
- Anthropic surpasses OpenAI to become most valuable AI startup
- Anthropic takes $5B from Amazon and pledges $100B in cloud spending in return
- Anthropic's "Profitability" Swindle
- Anthropic's Model Naming, Extrapolated
- Anthropic's Safety Superpower
- Anthropic's open-source framework for AI-powered vulnerability discovery
- Anthropic, please make a new Slack
- Anthropic, please ship an official Claude Desktop for Linux
- Anthropic/OpenAI may be spending more than $1000 for every $100 you pay them
- Anthropomorphism in Children's Interactions with LLM Chatbots
- Anti-social: It's fads, not friends, which now dominate social media feeds
- Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark
- Any text-to-SQL benchmark should address difficulties of real-world data stores
- Anyone can build a platform now. Almost nobody can get people to find it
- Ape Coding
- Ape Coding [fiction]
- Apertus – Open Foundation Model for Sovereign AI
- Apex Protocol – An open MCP-based standard for AI agent trading
- Apideck CLI – An AI-agent interface with much lower context consumption than MCP
- Apparently Google hates us now
- Apple AI servers unused in warehouses due to low Apple Intelligence usage
- Apple App Store threatened to remove Grok over deepfakes: Letter
- Apple CMF (Color-Matching Functions) 2026
- Apple Core AI Framework
- Apple Foundation Models
- Apple Needs to Copy Samsung's New Security Smartphone Screen ASAP
- Apple Says Mac Studio and Mac Mini Will Be in Short Supply for Months
- Apple Silicon and Virtual Machines: Beating the 2 VM Limit (2023)
- Apple Silicon costs more than OpenRouter
- Apple WWDC 2026 Livestream
- Apple accelerates eco progress with highest-ever recycled materials
- Apple accidentally left Claude.md files Apple Support app
- Apple announces significant price increases for MacBooks, iPads, more
- Apple approves driver that lets Nvidia eGPUs work with Arm Macs
- Apple bets cheaper AI will woo small developers
- Apple boss Tim Cook says prices to rise due to memory chip costs
- Apple decided not to roll out Siri in EU after denied request for exemption
- Apple didn't revolutionize power supplies; new transistors did (2012)
- Apple discontinues the Mac Pro
- Apple fixes bug that cops used to extract deleted chat messages from iPhones
- Apple has decided to compete for creativity app users
- Apple ignores DMA interoperability requests and contradicts own documentation
- Apple introduces the new iPad Air, powered by M4
- Apple is about to make Hide My Email useless
- Apple is going to raise device prices, but when?
- Apple randomly closes bug reports unless you "verify" the bug remains unfixed
- Apple rejected my dictation app for using the accessibility API
- Apple reveals new AI architecture built around Google Gemini models
- Apple says no one using Lockdown Mode has been hacked with spyware
- Apple sues OpenAI, accuses ex-employees of stealing trade secrets
- Apple targets dozens of OpenAI employees with legal letters
- Apple to increase spend with Broadcom to produce billions more U.S. chips
- Apple's 512GB Mac Studio vanishes, a quiet acknowledgment of the RAM shortage
- Apple's AI Can Now Change Your Passwords. What Could Possibly Go Wrong?
- Apple's MacBook Neo makes repairs easier and cheaper than other MacBooks
- Apple's accidental moat: How the "AI Loser" may end up winning
- Apple, Intel have reached preliminary chip-making deal
- Apple: Embarrassingly Simple Self-Distillation Improves Code Generation
- Applying Brevity and Language Efficiency in Prompt Engineering
- Approximating Hyperbolic Tangent
- April 2026 TLDR Setup for Ollama and Gemma 4 26B on a Mac mini
- ArXiv Declares Independence from Cornell
- ArXiv's Next Chapter
- Arc Prize Foundation (YC W26) Is Hiring a Platform Engineer for ARC-AGI-4
- Arch Linux Now Believes Malware Incident Under Control: More Than 1,500 Packages
- Arch Linux Now Has a Bit-for-Bit Reproducible Docker Image
- Architecture Description Languages [pdf]
- Are AI Labs Pelicanmaxxing?
- Are LLMs not getting better?
- Are insecure code completions in PyCharm a vulnerability?
- Are the Mysteries of Quantum Mechanics Beginning to Dissolve?
- Are we offloading too much of our thinking to AI?
- Arena AI Model ELO History
- Arm AGI CPU
- Arm's Cortex X925: Reaching Desktop Performance
- Armstrong Effect
- Around 200 Stanford students walk out as Google CEO takes stage
- Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts
- Ars Technica Fires Reporter After AI Controversy Involving Fabricated Quotes
- Ars Technica fires reporter after AI controversy involving fabricated quotes
- Ars Technica: Our newsroom AI policy
- Art Bits from HyperCard
- Artemis II Fault Tolerance
- Artemis II and the invisible hazard on the way to the Moon
- Artemis II is not safe to fly
- Artemis II safely splashes down
- Artie (YC S23) Is Hiring Software Engineers
- Artificial intelligence is not conscious – Ted Chiang
- Artificial-life: A simple (300 lines of code) reproduction of Computational Life
- As a result of a US Government directive, we are suspending access to Fable 5
- As downtown Seattle offices empty, city facing years of 'zombie' towers
- Asahi Linux 7.1 Progress Report
- Asahi Linux Progress Linux 7.0
- Ascending into the Realm of Japanese Charts
- Ashby (YC W19) Is Hiring EMEA Engineers Who Can Design
- Ashby (YC W19) Is Hiring Engineers Who Make Product Decisions
- Asian AI startups launch Mythos-like models
- Ask ChatGPT to pick a number from 1-10000, it generally selects from 7200-7500
- Ask HN: Academic study on AI's impact on software development – want to join?
- Ask HN: Add flag for AI-generated articles
- Ask HN: Anthropic banned me from using Claude Code and I don't know what to do
- Ask HN: Any AWS billing issues known? Amazon forecast of 3 billion dollars
- Ask HN: Apple terminated our dev account over a rogue employee
- Ask HN: Are most corporate SWE jobs performative?
- Ask HN: Due to spam on GitHub, what platforms can I move my projects?
- Ask HN: European Tech Alternatives?
- Ask HN: Have top AI research institutions just given up on the idea of safety?
- Ask HN: How are you all staying sane?
- Ask HN: How did you land your first projects as a solo engineer/consultant?
- Ask HN: How do you handle marketing as a solo technical founder?
- Ask HN: How is AI-assisted coding going for you professionally?
- Ask HN: How to Be Alone?
- Ask HN: How to be SOC2 Type 2 compliant as a solo-entreprenuer?
- Ask HN: Is "no source code was copied" still a sufficient copyright defense?
- Ask HN: Is GitHub preparing to go behind a login wall?
- Ask HN: Is anyone experimenting with different ways of using LLMs for coding?
- Ask HN: Is anyone working at least 4 hours daily on an Apple Vision Pro?
- Ask HN: Is it just me, or is software buggier across the board?
- Ask HN: My ISP is telling my neighbors their slow internet is because of me
- Ask HN: Please restrict new accounts from posting
- Ask HN: Remember Fidonet?
- Ask HN: Share your productive usage of OpenClaw
- Ask HN: So what happened to Facebook "localhost" tracking?
- Ask HN: What Are You Working On? (July 2026)
- Ask HN: What Are You Working On? (March 2026)
- Ask HN: What are you working on? (June 2026)
- Ask HN: What are you working on? (May 2026)
- Ask HN: Who is hiring? (June 2026)
- Ask HN: Who is hiring? (March 2026)
- Ask HN: Who wants to be hired? (June 2026)
- Ask HN: Why hasn't there been a real competitor to Ticketmaster yet?
- Ask HN: Why is the HN crowd so anti-AI?
- Ask HN: Will programmers write more efficient code during the memory shortage?
- Ask.com has closed
- Aspartame is not that bad?
- Assessing Claude Mythos Preview's cybersecurity capabilities
- Astra: An open-source observatory control software
- Astro 7.0
- Astronauts describe persistent 'observer' sensation after 6 month missions
- Astronomers Find the Edge of the Milky Way
- Astronomers find the edge of the Milky Way
- Astrophysicists Puzzle over Webb’s New Universe
- Async Programming Is Just Inject Time
- Async Rust never left the MVP state
- At Protocol: Building the Social Internet
- At least 10 people tied to sensitive US research have died or disappeared
- At long last, InfoWars is ours
- Atlassian Enables Default Data Collection to Train AI
- Atlassian defends firing engineer for suggesting CEO is 'rich jerk'
- Atlassian to cut roughly 1,600 jobs in pivot to AI
- Atomic Display Switching: Solving
- Attie.ai
- AttoChess, a complete, playable chess program for 16-bit x86 DOS in 278 bytes
- Attorney General Pam Bondi Out at DOJ
- Attractive students no longer receive better results as classes moved online
- Attyx – tiny and fast GPU-accelerated terminal emulator written in Zig
- Atuin v18.13 – better search, a PTY proxy, and AI for your shell
- Austin’s surge of new housing construction drove down rents
- Austria Lobbies EU to Host Anthropic After US Access Curbs
- AutoKernel: Autoresearch for GPU Kernels
- Automation Without Understanding
- Autoresearch for SAT Solvers
- Autoresearch: Agents researching on single-GPU nanochat training automatically
- Avian Visitors
- Avoiding Trigonometry (2013)
- Avoiding and reducing microplastic false positives from dry glove contact
- Axios compromised on NPM – Malicious versions drop remote access trojan
- AyaFlow: A high-performance, eBPF-based network traffic analyzer written in Rust
- Azure Linux 4.0 is Microsoft's first general-purpose Linux
- Azure Linux Desktop
- B-trees and database indexes (2024)
- BBEdit 16
- BGP ORIGIN attribute manipulation and its impact on the Internet
- BLISS
- BMW Group to deploy humanoid robots in production in Germany for the first time
- BYD is bringing its 5-min 'Flash' electric car charging to Canada
- BYD overtakes Tesla and Kia as the best-selling EV brand in key overseas markets
- BYD's bet on EVs is paying off as drivers ditch gas amid rising oil prices
- BYOMesh – New LoRa mesh radio offers 100x the bandwidth
- Back to Kagi
- Backblaze has stopped backing up your data
- Backpressure is all you need
- Backtrack-Free Cursive
- Bacteria found in the human intestine capable of improving muscle strength
- BambuStudio has been violating PrusaSlicer AGPL license since their fork
- Bananas sprout in Rayleigh Garden UK after 15 years
- Bankruptcies increase 11.9 percent
- Banned Book Library in a Wi-Fi Smart Light Bulb
- Banned in California
- BareMetal RAM Dumper – Bare-metal x86 tool for Cold Boot Attack experiments
- Bars close and hundreds lose jobs as US firm buys Brewdog in £33M deal
- Bashblog – a single bash script to create blogs
- Battle for Wesnoth: open-source, turn-based strategy game
- Bcachefs creator insists his custom LLM is female and 'fully conscious'
- Be Alexandra Elbakyan
- Be intentional about how AI changes your codebase
- Be skeptical of OpenAI's rogue hacker agent story
- Beautiful Type Erasure with C++26 Reflection
- Beavis Ultrasound PnP ISA Sound Card Replica
- Becoming a Research Engineer at a Big LLM Lab
- Becoming a dad changes men's brains
- Becoming a father shrinks your cerebrum
- Beer CSS – Build material design in record time
- Before GitHub
- Behavior-Oriented Concurrency for Python
- Belgium stops decommissioning nuclear power plants
- Benchmarking Opus 5 on SlopCodeBench
- Benchmarking coding agents on Databricks' multi-million line codebase
- Benchmarks in Leipzig
- Benedict Evans: AI eats the world (Spring 26) [pdf]
- Besimple AI (YC P25) Is Hiring
- Bet on German Train Delays
- Better Images of AI
- Better JIT for Postgres
- Better and Cheaper Than IPTV
- Beyond Semantic Similarity
- Beyond has dropped “meat” from its name and expanded its high-protein drink line
- Bible as RAG Database
- Biff is a command line datetime Swiss army knife
- Biff.core: system composition for Clojure web apps
- Big AI labs are hiring philosophers
- Big Banana Car
- Big Breakfast Alters Appetite, Gut Health
- Big Data on the Cheapest MacBook
- Big tech's anti-labor playbook has come for Wikipedia
- Biggest Probabilistic Computer Turns Noise into Answers
- Bild AI (YC W25) Is Hiring Founding Product Engineers
- Bild AI (YC W25) Is Hiring Interns to Make Housing Affordable
- Bild AI (YC W25) Is Hiring a Founding Product Engineer
- Billion-Parameter Theories
- Binary Coverage the Wrong Way
- Binary GCD
- Biology is a Burrito: A text- and visual-based journey through a living cell
- Biscuit
- Bitburner, programming-based incremental game
- Bitcoin and quantum computing
- Bitcoin miners are losing $19,000 on every BTC produced as difficulty drops 7.8%
- Bitmap fonts make computers feel like computers again
- Bitwarden scrubs 'Always free' and 'Inclusion' values from its site
- Bjarne Stroustrup: How do I deal with memory leaks? (2022)
- Blacksky AppView
- Blaise – A modern self-hosting zero-legacy Object Pascal compiler targeting QBE
- Blatant AI slop just won a 25k USD DeepMind Kaggle Grand Prize
- Block spent $68M on a single party in September 2025
- Block the "Upgrade to Tahoe" Alerts
- Block the “Upgrade to Tahoe” Alerts
- Blocking Internet Archive Won't Stop AI, but Will Erase Web's Historical Record
- Blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD
- Blogger defeats photographer's copyright claim
- Blogging can just be stating the obvious
- Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows
- Bloom (YC P26) Is Hiring
- Blorp Language
- Blue Origin's New Glenn blows up during static fire test
- Bluesky CEO Jay Graber is stepping down
- Bluesky Trademarks ATProto
- Bluesky has been dealing with a DDoS attack for nearly a full day
- Bobby Prince, composer for Doom, Wolfenstein 3D, and Duke Nukem 3D, has died
- Boffin claims Microsoft’s “quantum leap” is invalid due to “basic Python errors”
- Bombarding gamblers with offers greatly increases betting and gambling harm
- Bonsai 27B (1-bit LLM): The First 27B-Class Model to Run on a Phone
- Books Are Not Remotely Too Expensive
- Boot Naked Linux
- Bootc and OSTree: Modernizing Linux System Deployment
- Bootimus – A Self-Contained PXE and HTTP Boot Server
- Borrow-checking without type-checking
- Boss-CSS: I created another "CSS-in-JS" lib
- Bot vs human traffic
- Bouncer: Block "crypto", "rage politics", and more from your X feed using AI
- Boy I was wrong about the Fediverse
- Brazil's Pix Payment System Faces Pressure from Visa and Mastercard
- Breaking Down 50M Pins: A Smarter Way to Design 3D IC Packages
- Breaking Free
- Breakthroughs for batteries could soon make them better
- Briar Is in Maintenance Mode
- Bricks and Minifigs Stole a Man's $200k Lego Collection
- Bring Back Idiomatic Design
- Bring back crappy forums
- Bring your own Agent to MS Teams
- Bringing Chrome to ARM64 Linux Devices
- Bringing PyTorch Monarch to AMD GPUs
- Bringing Up DeepSeek-V4-Flash on AMD MI300X
- Britain is ejecting hereditary nobles from Parliament after 700 years
- Britain today generating 90%+ of electricity from renewables
- British Columbia to end time changes, adopt year-round daylight time
- British Columbia, Time Zones, and Postgres
- Bubble Sorted Amen Break
- Bucketsquatting is (finally) dead
- Buckle Up for Bumpier Skies
- Bugs Rust won't catch
- Build your own Dial-up ISP with a Raspberry Pi
- Build your own vulnerability harness
- BuildKit: Docker's Hidden Gem That Can Build Almost Anything
- Building Better Country Selects
- Building Food Metadata with LLM Juries
- Building Gin: Simple over Easy
- Building Pi with Pi
- Building Principia for Windows XP
- Building a Blog with Elixir and Phoenix
- Building a JavaScript runtime in one month
- Building a Minimal Transformer for 10-digit Addition
- Building a Procedural Hex Map with Wave Function Collapse
- Building a SaaS in 2026 Using Only EU Infrastructure
- Building a Shell
- Building a UMatrix Replacement
- Building a Z-Machine in the worst possible language – Whitebeard's Realm
- Building a new Flash
- Building a real-time AI tutor for 5-year-olds
- Building a serial and VGA "everything console"
- Building an E2E Encrypted Chat Application with LanceDB and Libsodium
- Building an FPGA 3dfx Voodoo with Modern RTL Tools
- Building an HTML-first site doubled our users overnight
- Building an Open-Source Robot Vacuum – Meet Oomwoo
- Building and Shipping Mac and iOS Apps Without Ever Opening Xcode
- Building for the Future
- Building from Zero After Addiction, Prison, and a Felony
- Building from zero after addiction, prison, and a felony
- Building on ATProto
- Building relationships with customers through support didn't turn out as hoped
- Building reliable agentic AI systems
- Building the TD4 4-Bit CPU
- Bun has an open PR adding shared-memory threads to JavaScriptCore
- Bun is being ported from Zig to Rust
- Bun's unreleased Rust port has 13,365 unsafe blocks
- Bun: cgroup-aware AvailableParallelism / HardwareConcurrency on Linux
- BunnyCDN has been silently losing our production files for 15 months
- Burnout is real for open source maintainers
- Bus stop balancing is fast, cheap, and effective
- Businesses with ugly AI menu redesigns
- Butterflies are in decline across North America, a look at the Western Monarch
- Byrne's Euclid
- Bytecode-to-Source Mapping
- C# strings silently kill your SQL Server indexes in Dapper
- C++26 is done ISO C++ standards meeting, Trip Report
- C++: The Documentary
- C, Just In Time!
- C/C++ projects packaged for Zig
- C64 Basic Dungeon Crawler: Goblin Attack (C64 Basic Part 8)
- C64 Basic: Game Map Overhead "Camera View"
- CATL's new LFP battery can charge from 10 to 98% in less than 7 minutes
- CBP Directive 3340-049B: Border Search of Electronic Devices
- CBP updated its electronic device search directive in Jan 2026
- CC-Canary: Detect early signs of regressions in Claude Code
- CC-Wiki: Turn Claude Code sessions into a shareable knowledge base wiki
- CEOs Who Think AI Replaces Their Employees Are Just Bad CEOs
- CERN levels up with new superconducting karts
- CERN to host a new phase of Open Research Europe
- CERN uses tiny AI models burned into silicon for real-time LHC data filtering
- CERT is releasing six CVEs for serious security vulnerabilities in dnsmasq
- CISA Admin Leaked AWS GovCloud Keys on GitHub
- CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs
- CPanel and WHM Authentication Bypass – CVE-2026-41940
- CPanel's Black Week: 3 New Vulnerabilities Patched After Attack on 44k Servers
- CRDTs merge concurrent edits. Why not concurrent creation?
- CSP for Pentesters: Understanding the Fundamentals
- CSS as a Query Language
- CSS is DOOMed
- CSS-Native Parallax Effect
- CSSQuake
- CT scans of BYD car parts
- CUDA-oxide: Nvidia's official Rust to CUDA compiler
- CVE-2026-25089: FortiSandbox unauthenticated command injection added to CISA KEV
- CVE-2026-28952: Apple macOS 26.5 Kernel Vuln found by Claude
- CVE-2026-31431: Copy Fail vs. rootless containers
- CVE-2026-3888: Important Snap Flaw Enables Local Privilege Escalation to Root
- CVE-Bench: testing LLM agents on real-world vulnerability patches
- Cal.diy: open-source community edition of cal.com
- California bill would require patches or refunds when online games shut down
- California farmers to destroy 420k peach trees following Del Monte bankruptcy
- California ghost-gun bill wants 3D printers to play cop, EFF says
- California moves to exempt Linux from its age-verification law after backlash
- California to begin ticketing driverless cars that violate traffic laws
- California's Battery Array Is as Powerful as 12 Nuclear Power Plants
- California's Digital Age Assurance Act, and FOSS
- Cambodia unveils a statue of famous landmine-sniffing rat Magawa
- Can Claude Fly a Plane?
- Can I disable all data collection from my vehicle?
- Can LLMs Perform Deep Technical Comprehension of Computer Architecture Papers
- Can We Understand How Large Language Models Reason?
- Can a MUD evaluate LLMs? A $99 proof of concept
- Can a wealthy family change the course of a deadly brain disease?
- Can the stockmarket swallow Anthropic, SpaceX and OpenAI?
- Can we code our way out of gentrification?
- Can we have the day off?
- Can you instruct a robot to make a PBJ sandwich?
- Can you stop beans from making you gassy?
- Can't Stop the Signal. Poison It
- Canada is looking to build up to 10 new nuclear reactors over the next 15 years
- Canada plans 'nuclear renaissance' with up to 10 reactors built by 2040
- Canada to order military plane fleet from Sweden in shift from US suppliers
- Canada's bill C-22 mandates mass metadata surveillance
- Canada's bill C-22 mandates mass metadata surveillance of Canadians
- Canada’s Bill C-22 Is a Repackaged Version of Last Year’s Surveillance Nightmare
- Cancel ChatGPT AI boycott surges after OpenAI pentagon military deal
- Cannabinoids remove plaque-forming Alzheimer's proteins from brain cells
- Cannabinoids remove plaque-forming Alzheimer's proteins from brain cells (2016)
- Cannibalism
- Canonical Under Attack
- Canvas (Instructure) LMS Down in Ongoing Ransomware Attack
- Canvas is down as ShinyHunters threatens to leak schools’ data
- Capability-Based Security for Redox: Namespace and CWD as Capabilities
- Capitalism Gone Wrong
- Capstone – multi-platform, multi-architecture disassembly framework
- Captcha proves you're human. HATCHA proves you're not
- Capybara: A Unified Visual Creation Model
- CarPlay Is Additive
- Carbon dioxide overload in human blood suggests a toxic atmosphere in 50 years
- Cardiorespiratory fitness is associated with lower anger and anxiety
- Care homes and hotels in Japan shut as expansion strategy unravels
- Carrot Disclosure: Forgejo
- Cars collect a startling amount of data about you
- Cartoon Network Flash Games
- CasNum
- Case study: recovery of a corrupted 12 TB multi-device pool
- Cash Issuing Terminals
- Cash issuing terminals
- Casio FX-870P Emulator
- Castor: CERN Advanced STORage Manager
- Casus Belli Engineering
- Cat (YC S22) Seeks Fractional Engineer to Build AI-Native Growth Toolkit
- Category Theory Illustrated – Orders
- Cedana (YC S23) Is Hiring
- Cekura (YC F24) Is Hiring
- Celebrating Tony Hoare's mark on computer science
- Cell Service for the Fairly Paranoid
- Ceno, browse the web without internet access
- Cessation of public development of Kefir C compiler
- Changes in the system prompt between Claude Opus 4.6 and 4.7
- Changes to OpenTTD Distribution on Steam
- Changing How We Develop Ladybird
- Chaos and Dystopian news for the dead internet survivors
- Chaosnet
- Chaosnet (1981)
- Charcuterie – Visual similarity Unicode explorer
- Charge Robotics (YC S21) Is Hiring Software and Hardware Engineers
- ChatGPT Images 2.0
- ChatGPT Pro now starts at $100/month
- ChatGPT Work
- ChatGPT for Google Sheets exfiltrates workbooks
- ChatGPT serves ads. Here's the full attribution loop
- ChatGPT won't let you type until Cloudflare reads your React state
- Chatto is now Open Source
- Cheap Iranian drone downed $25M US Army helicopter–maybe by chance
- Cheese Paper: a text editor specifically designed for writing
- Chemistry behind the Garden Grove chemical tank
- Chess Invariants
- Chest Fridge (2009)
- Chewing gum restores dad's taste and smell years after Covid
- Chibil: A C compiler targeting .NET IL
- Chicago artist creates tourism posters for city's neighborhoods
- Childhood Computing
- Chimpanzees in Uganda locked in eight-year 'civil war', say researchers
- Chimpanzees in Uganda locked in vicious 'civil war', say researchers
- China sentences official to death for taking $325M in bribes
- China's 450kmph bullet train is the fastest ever built
- Chip Off the Old Block
- Chipotlai Max
- Choosing a Public DNS Resolver
- Choosing the Right AI Agent Memory Strategy: A Decision-Tree Approach
- Chrome removes claim of On-device Al not sending data to Google Servers
- Chrome's AI features may be hogging 4GB of your computer storage
- Chuck Norris has died
- Chuwi Minibook X
- Chuwi Minibook X: the netbook we deserve
- Circle Medical (YC S15) Is Hiring a Mobile Engineer
- Circuit-level PDP-11/34 emulator
- Circular Obstacle Pathfinding (2017)
- Cirrus Labs to join OpenAI shut down Circus CI on Monday, June 1, 2026
- Cisco workforce reductions
- City Learns Flock Accessed Cameras in Children's Gymnastics Room as a Sales Demo
- Clarification on the Notepad++ Trademark Issue
- Classic Amiga titles, free to download
- Claude Account Suspended Seconds After Purchase?
- Claude Brain
- Claude Code Cheat Sheet
- Claude Code Found a Linux Vulnerability Hidden for 23 Years
- Claude Code LSP
- Claude Code Remote Control
- Claude Code Unpacked : A visual guide
- Claude Code as a Daily Driver: Claude.md, Skills, Subagents, Plugins, and MCPs
- Claude Code conducts A/B tests on core features
- Claude Code runs Git reset –hard origin/main against project repo every 10 mins
- Claude Code sends 33k tokens before reading the prompt; OpenCode sends 7k
- Claude Code to be removed from Anthropic's Pro plan?
- Claude Code wiped our production database with a Terraform command
- Claude Code – Everything You Can Configure That the Docs Don't Tell You
- Claude Code, Claude Cowork and Codex #5
- Claude Code: Channels
- Claude Corps
- Claude Design System Prompt
- Claude Desktop spins up a VM without no way of stopping it
- Claude Fable 5
- Claude Fable 5 Promotional Access
- Claude Fable 5: mid-tier results on coding tasks
- Claude Fable is relentlessly proactive
- Claude Fable produced a counterexample to the Jacobian Conjecture
- Claude Is Not Your Architect. Stop Letting It Pretend
- Claude Managed Agents
- Claude Opus 4.7
- Claude Opus 4.7 Model Card
- Claude Opus 4.7 costs 20–30% more per session
- Claude Opus 5
- Claude Platform on AWS
- Claude Science
- Claude Sonnet 5
- Claude Tag
- Claude Token Counter, now with model comparisons
- Claude Wrote a Full FreeBSD Remote Kernel RCE with Root Shell (CVE-2026-4747)
- Claude for Creative Work
- Claude for Small Business
- Claude mixes up who said what and that's not OK
- Claude now creates interactive charts, diagrams and visualizations
- Claude struggles to cope with ChatGPT exodus
- Claude system prompt bug wastes user money and bricks managed agents
- Claude's AskUserQuestion: "No response after 60s – continued without an answer"
- Claude.ai Down Again?
- Claude.ai and API Unavailable
- Claude.ai unavailable and elevated errors on the API
- Claude: Elevated errors across many models
- ClawIRC – IRC Chat for Agents
- ClawRun – Deploy and manage AI agents in seconds
- Clay PCB Tutorial
- Cleaning up after AI rockstar developers
- Cleve Moler has died
- Click (2016)
- Clinical Failure Rates over the Decades: Yikes
- Clockwise acquired by Salesforce and shutting down next week
- Clojure Hosted on Go
- ClojureScript Gets Async/Await
- Clojurists Together – Q2 2026 Open Source Funding Announcement
- Closure of the Weatheradio Service in Canada
- Closure of the Weatheradio service in Canada
- Closure of the Weatherradio Service in Canada
- Cloud VM benchmarks 2026
- Cloudflare Crawl Endpoint
- Cloudflare Email Service: now in public beta. Ready for your agents
- Cloudflare Flagship
- Cloudflare crawl endpoint
- Cloudflare flags archive.today as "C&C/Botnet"; no longer resolves via 1.1.1.2
- Cloudflare launched self-managed OAuth for all
- Cloudflare's AI Platform: an inference layer designed for agents
- Cloudflare's new AI traffic options for customers
- Co-evolution of self-replication and function in a digital primordial soup
- CoMaps – FOSS Offline Maps
- Cockpit is a web-based graphical interface for servers
- Cocoa-Way – Native macOS Wayland compositor for running Linux apps seamlessly
- Codeberg Bans Cryptocurrency Projects
- Codex Hacked a Samsung TV
- Codex Micro
- Codex Resets
- Codex for almost everything
- Codex is wearing out our devices
- Codex just found a "workaround" of not having sudo on my PC
- Codex logging bug may write TBs to local SSDs
- Codex pricing to align with API token usage, instead of per-message
- Codex scraped the ICM website and discovered 2026 Fields Medal winner list