notice: please create a custom view template for the hackernewscore class view-hackernewscore.html
The foundations of a provably secure operating system (PSOS) (1979) [pdf]
🔒 "Building Unbreakable Systems: Provably Secure Operating Systems (PSOS) Pave the Way"
Provably Secure Operating Systems (PSOS) represent a groundbreaking approach to cybersecurity, aiming to create impenetrable digital fortresses through mathematically rigorous design and verification. By ensuring the operating system's security through formal proofs, PSOS provides unparalleled protection against cyber threats, making it a crucial advancement in the quest for foolproof computing.
2:05 pm, May 18, 2026
guid
https://news.ycombinator.com/item?id=48177300
source_url
http://www.csl.sri.com/users/neumann/psos.pdf
author_name
rurban
id: 2937
uid: Adrz7
insdate: 2026-05-18 14:05:42
title: The foundations of a provably secure operating system (PSOS) (1979) [pdf]
additional: 🔒 "Building Unbreakable Systems: Provably Secure Operating Systems (PSOS) Pave the Way"
Provably Secure Operating Systems (PSOS) represent a groundbreaking approach to cybersecurity, aiming to create impenetrable digital fortresses through mathematically rigorous design and verification. By ensuring the operating system's security through formal proofs, PSOS provides unparalleled protection against cyber threats, making it a crucial advancement in the quest for foolproof computing.
category: Hacker News
md5:
guid: https://news.ycombinator.com/item?id=48177300
source_url: http://www.csl.sri.com/users/neumann/psos.pdf
updated:
image:
author_name: rurban
author_link:
uid: Adrz7
insdate: 2026-05-18 14:05:42
title: The foundations of a provably secure operating system (PSOS) (1979) [pdf]
additional: 🔒 "Building Unbreakable Systems: Provably Secure Operating Systems (PSOS) Pave the Way"
Provably Secure Operating Systems (PSOS) represent a groundbreaking approach to cybersecurity, aiming to create impenetrable digital fortresses through mathematically rigorous design and verification. By ensuring the operating system's security through formal proofs, PSOS provides unparalleled protection against cyber threats, making it a crucial advancement in the quest for foolproof computing.
category: Hacker News
md5:
guid: https://news.ycombinator.com/item?id=48177300
source_url: http://www.csl.sri.com/users/neumann/psos.pdf
updated:
image:
author_name: rurban
author_link:
Add Comment
AI Testing
Page Views
This page has been viewed 3 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 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
- 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
- Codex-maxxing
- Coding Agents Could Make Free Software Matter Again