Verifpal is free and open source software for the analysis and verification of cryptographic protocols. It uses a new, simple language for modeling protocols, and outputs readable analysis results, making it uniquely suitable as an introduction to cryptographic protocol verification for students and engineers. Learn how to use Verifpal using the Verifpal User Manual, and get started with protocol verification today!

Personal blog of Marc Coquand.

Today, AWS Lambda is promoting Rust support from Experimental to Generally Available. This means you can now use Rust to build business-critical serverless applications, backed by AWS Support and the Lambda availability SLA.

A practical, repeatable framework for running weekly engineering 1:1s using the People, Product, Process structure—with exact scripts, Notion setup, and tips for making them actually useful.

A deep dive into how Linux manages process memory, page tables, and virtual address spaces

Complete 3D to Pixel Toolkit [Built using Godot Engine] - bukkbeek/GodotPixelRenderer

Free resource tracking President Trump’s second-term actions, statements & plans mapped to authoritarianism domains. Filter by date, domain or search.

We create cRPGs

Makefile Tutorial by Example

Pipes are ubiquitous in Unix --- but how fast can they go on Linux? In this post we'll iteratively improve a simple pipe-writing benchmark from 3.5GiB/s to 65GiB/s, guided by Linux perf.

Oasis # Oasis is a fully open-source, mostly 3d-printed smart terrarium.
Features include:
high-power LED lighting a built-in water tank and mister to provide plants with water and maintain high humidity fans for airflow a temperature+humidity sensor for monitoring environment conditions wifi connectivity to allow control and configuration from your phone or computer (see web interface) outer dimensions: ~8" diameter and ~13" tall This project is fully open-source, meaning that the designs for the 3d printed parts, electronics schematics, and software are available to download and modify. Find them on GitHub: https://github.com/justbuchanan/oasis.

Presentation slides for developers

A federated social network for individuals and communities to design, operate and control their own digital lives.

A trading card game consisting of real-life ojisan (middle-aged men) are going viral with kids in the city of Kawara in Fukuoka Prefecture.

a simple server for sending and receiving messages

In recent years, self-hosting has emerged as a popular alternative to data-collecting, big-brother services. For a time, I must admit, I was almost addicted to trying out new software, building dashboards, and adding applications I didn’t really need. Now that my setup has remained largely the same for over a year, I wanted to take a moment to summarize what I’ve learned and highlight some software that I found particularly helpful, yet not as widespread as they could be. (And I also needed a topic for my first blog-post ever^{) . I am not trying to present anything as “the best solution.” After all, problems vary, and so do their solutions. This is not an ad for any of the softwares presented.}