OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI
The article discusses the potential for large language models like GPT-3 to develop new skills over time, as demonstrated by OpenAI's experiments. It explores the implications of these models' ability to learn and expand their capabilities without requiring additional training data or human intervention.
macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt
macOS 26.2 introduces support for RDMA over Thunderbolt, enabling high-speed data transfer between compatible devices connected via Thunderbolt. This feature aims to improve performance for data-intensive applications and workflows.
GNU Unifont
The Unifont is a libre, cross-platform, and very large Unicode font that covers over 100,000 characters from multiple writing systems. It is designed to serve as a universal fallback font for displaying a wide range of languages and scripts.
Rats Play DOOM
This article explores the surprising phenomenon of rats playing a video game called Doom, highlighting their impressive cognitive abilities and providing insights into the potential benefits of gaming for animal research and enrichment.
Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig
The article describes the UVM32, an open-source, 32-bit RISC-V processor designed for educational and research purposes. It provides a flexible and customizable hardware platform for exploring computer architecture and processor design.
Ensuring a National Policy Framework for Artificial Intelligence
https://www.cnbc.com/2025/12/11/trump-signs-executive-order-...
https://www.nbcnews.com/tech/tech-news/trump-signs-executive...
Show HN: I made a spreadsheet where formulas also update backwards
Hello HN! I'm happy to release this project today. It's a bidirectional calculator (hence the name bidicalc).
I've been obsessed with the idea of making a spreadsheet where you can update both inputs and outputs, instead of regular spreadsheets where you can only update inputs.
Please let me know what you think! Especially if you find bugs or good example use cases.
So What Should We Call This – A Grue Jay?
Capsudo: Rethinking Sudo with Object Capabilities
This article discusses the concept of object capabilities as an alternative to the traditional sudo command, offering a more secure and flexible approach to privilege management in computer systems.
50 years of proof assistants
The article provides an overview of the history and development of proof assistants, software tools that help with the formalization and verification of mathematical and logical proofs. It covers the key milestones in the field, from the early work on theorem-proving systems in the 1960s to the modern advancements in proof assistants like Coq, Isabelle, and others.
Go is portable, until it isn't
The article discusses the benefits of using Go as a portable programming language and the challenges that arise when Go applications need to interact with platform-specific resources. It explores various techniques to maintain portability while addressing these constraints.
SQLite JSON at full index speed using generated columns
The article discusses how to use JSON virtual columns in SQLite to efficiently query and index JSON data within a database, providing a practical approach to working with semi-structured data in a relational database.
Freeing a Xiaomi humidifier from the cloud
The article discusses Xiaomi's new smart humidifier, highlighting its features such as intelligent humidity control, remote operation, and energy efficiency. It provides an overview of the device's design, functionalities, and potential benefits for users.
Sick of smart TVs? Here are your best options
The article provides a comprehensive guide to 'dumb TVs', which are basic, no-frills television sets without smart features. It discusses the benefits of dumb TVs, such as simplicity, lower cost, and longer lifespan, as well as the drawbacks and considerations for those seeking a minimalist television experience.
Security issues with electronic invoices
Pg_ClickHouse: A Postgres extension for querying ClickHouse
String theory inspires a brilliant, baffling new math proof
The article discusses a new mathematical proof inspired by string theory, which has implications for the complexity of certain problems and the nature of computing. The proof, developed by computer scientist Greg Kuperberg, demonstrates a surprising connection between string theory and the long-standing P vs NP problem in computer science.
CM0 – A new Raspberry Pi you can't buy
The article discusses the Raspberry Pi CM0, a new Raspberry Pi compute module that is not yet available for purchase. It highlights the key features and potential use cases of this upcoming development board.
Motion (YC W20) Is Hiring Senior Staff Front End Engineers
Home Depot GitHub token exposed for a year, granted access to internal systems
A security researcher discovered that Home Depot exposed access to its internal systems for over a year, potentially allowing unauthorized access to sensitive data and systems. The incident highlights the ongoing need for organizations to prioritize cybersecurity and protect their networks from potential vulnerabilities.
Building small Docker images faster
The article provides practical tips for optimizing Docker usage, including techniques for building smaller Docker images, managing containers effectively, and leveraging Docker networking and storage features to improve performance and efficiency.
C64 Maze Chomp.BAS
The article describes the development of a maze game for the Commodore 64 computer, featuring a player-controlled character that eats 'chompbas' while navigating through a labyrinth and avoiding obstacles. The game was created using basic programming techniques and showcases the capabilities of the C64 platform.
Async DNS
The article discusses the implementation of an asynchronous DNS resolver in the Go programming language, focusing on its design, performance, and comparison to existing solutions.
Bit flips: How cosmic rays grounded a fleet of aircraft
The article explores how cosmic rays, high-energy particles from space, can interfere with aircraft electronics and ground thousands of flights worldwide. It examines the potential impact of solar storms and the measures taken by the aviation industry to mitigate the effects of cosmic radiation on aircraft systems.
The Checkerboard
This article explores the history and impact of the checkerboard pattern used in urban planning, from its origins in colonial America to its influence on modern city designs and the societal implications of this grid-like layout.
Fast Median Filter over arbitrary datatypes
This article discusses implementing a median filter algorithm that can be applied to arbitrary data types, not just numeric values. It explores the challenges and considerations involved in extending the median filter to work with diverse data types beyond just numbers.
Using secondary school maths to demystify AI
The article explores how secondary school math can be used to demonstrate that AI systems do not think in the same way humans do. It highlights the limitations of current AI technologies and the importance of understanding their capabilities and shortcomings.
Fedora: Open-source repository for long-term digital preservation
The Fedora Repository is an open-source digital repository platform that enables institutions to capture, preserve, and provide access to their intellectual output and digital assets.
Microservices should form a polytree
The article discusses the benefits and challenges of adopting a microservices architecture, including improved scalability, flexibility, and independent deployments, as well as the need for careful management of communication, data sharing, and overall complexity.
From text to token: How tokenization pipelines work
The article explores the concept of tokenization and how it can become a self-defeating practice when taken to an extreme. It discusses the potential risks and drawbacks of overreliance on tokenization, particularly in the context of digital assets and financial transactions.