Advanced type systems that enforce various correctness and safety guarantees--such as linear and ownership types--have a long history in the Programming Languages research community. Despite this history, a human-centered evaluation of these type systems ... (more…)

Rust wrapper for UEFI. Contribute to rust-osdev/uefi-rs development by creating an account on GitHub. (more…)

Waypipe is a proxy for Wayland applications, which makes it possible to run an application on a different computer but interact with it locally, as if it were actually running on the local computer. (Wayland is the slowly-improving window system protocol ... (more…)

A Sepolia ETH Faucet powereb by 0xNAME. Contribute to beastdao/0xname-sepolia-faucet development by creating an account on GitHub. (more…)

Not because our hardware is complex, but simply because we’re all humans. Our attention span is limited, our memory is volatile — in other words, we tend to make mistakes. Computers and software are… (more…)