Kani: A Model Checker for Rust

Abstract page for arXiv paper 2607.01504: Kani: A Model Checker for Rust

Rotman Lens

Aluminum foil (2021)

Learning to code is still worthwhile

Linux on the Atari Jaguar

The challenges around porting Linux to an old videogame console by Atari

Road to Elm 1.0

A delightful language with friendly error messages, great performance, small assets, and no runtime exceptions.

CoMaps – FOSS Offline Maps

Discover more of your journey - Powered by the community

Resetting Xbox

OpenWrt One – Open Hardware Router

The LLVM Compiler Infrastructure

Using precision editing to study human embryo development shows master gene

Research led by the University of Cambridge Loke Centre for Trophoblast Research has shown that a genome editing technique can be used to alter a single gene in human embryonic cells, enabling the study of very early human development in unparalleled detail.The technique, called base editing, is a more precise version of the genome editing technique CRISPR/Cas9. It can change a single nucleotide base pair - the basic building block of DNA - within a human genome of approximately 3 billion base pairs.

Januscape: Guest-to-Host Escape in KVM/x86 [CVE-2026-53359]

Contribute to V4bel/Januscape development by creating an account on GitHub.

Egypt Is Building a New Nile

Egypt is building a vast new delta in the desert using recycled water. Can this megaproject solve its growing water and food crisis?

Python 3.14 compiled to metal – no interpreter

Python 3.14, compiled to metal — JIT & AoT native compiler and runtime in Rust. Cranelift backend, ruff parser, Green Tea GC, byte-exact differential testing against CPython. - can1357/pon

AMD Ryzen AI Halo – $4k AI Dev Kit

Welcome to LTT Labs - your go-to destination for all things tech. Explore comprehensive test results, insightful commentary, and the latest analysis in hardware.

CS2 Fog Of War: Server-sided anti-wallhack occlusion culling for CS2 servers

Contribute to karola3vax/CS2FOW development by creating an account on GitHub.

OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files

OfficeCLI is the first and best Office suite purpose-built for AI agents to read, edit, and automate Word, Excel, and PowerPoint files. Free, open-source, single binary, no Office installation required. - iOfficeAI/OfficeCLI

A global workspace in language models

Interpretability research on Claude's internal thoughts.

Real-time map of Great Britain's rail network

Signalbox's live real-time map of Great Britain's rail network.