GitHut – Programming Languages and GitHub
GitHut GitHut is an attempt to visualize and explore the complexity of the universe of programming languages used across the repositories hosted on GitHub. Programming languages are not simply the tool developers use to create programs or express algorithms but also instruments to code and decode creativity. By observing the history of languages we can […]
Run Docker containers natively in Proxmox 9.1 (OCI images)
Proxmox VE is a virtualization platform, like VMWare, but open source, based on Debian. It can run KVM virtual machines and Linux Containers (LXC). I’ve been using it for over 10 years, the first article I wrote mentioning it was in 2012. At home I have a 2 node Proxmox VE cluster consisting of 2 […]
Introducing Kagi Assistants
TL;DR Today we’re releasing two research assistants: Quick Assistant and Research Assistant (previously named Ki during beta). Kagi’s Research Assistant happened to top a popular benchmark (SimpleQA) when we ran it in August 2025. This was a happy accident. We’re building our research assistants to be useful products, not maximize benchmark scores. Kagi Quick Assistant […]
New OS aims to provide (some) compatibility with macOS
ravynOS is a new open source OS project that aims to provide a similar experience and some compatibility with macOS on x86-64 (and eventually ARM) systems. It builds on the solid foundations of FreeBSD, existing open source packages in the same space, and new code to fill the gaps. The main design goals are: Source […]
CBP is monitoring US drivers and detaining those with suspicious travel patterns
The U.S. Border Patrol is monitoring millions of American drivers nationwide in a secretive program to identify and detain people whose travel patterns it deems suspicious, The Associated Press has found. The predictive intelligence program has resulted in people being stopped, searched and in some cases arrested. A network of cameras scans and records vehicle […]
Data-at-Rest Encryption in DuckDB
Lotte Felius, Hannes Mühleisen 2025-11-19 · 22 min TL;DR: DuckDB v1.4 ships database encryption capabilities. In this blog post, we dive into the implementation details of the encryption, show how to use it and demonstrate its performance implications. If you would like to use encryption in DuckDB, we recommend using the latest stable version, v1.4.2. […]
Mozilla Says It’s Finally Done with Two-Faced Onerep
In March 2024, Mozilla said it was winding down its collaboration with Onerep — an identity protection service offered with the Firefox web browser that promises to remove users from hundreds of people-search sites — after KrebsOnSecurity revealed Onerep’s founder had created dozens of people-search services and was continuing to operate at least one of […]
NTSB Preliminary Report – Ups Boeing MD-11F Crash [pdf]
Download PDF
The Lions Operating System
LionsOS is currently undergoing active research and development, it does not have a concrete verification story yet. It is not expected for LionsOS to be stable at this time, but it is available for others to experiment with. LionsOS is an operating system based on the seL4 microkernel with the goal of making the achievements […]
Microsoft makes Zork open-source
READ TIME 6 min WRITTEN BY /en-us/opensource/blog/author/stacey-haffner /en-us/opensource/blog/author/scott-hanselman Today, we’re preserving a cornerstone of gaming history that is near and dear to our hearts. Together, Microsoft’s Open Source Programs Office (OSPO), Team Xbox, and Activision are making Zork I, Zork II, and Zork III available under the MIT License. Our goal is simple: to place […]