josuah.net

Links

To various things that interest me, in no particular order. I know well some of the content I like, but you might be much more knowledgeable than me on many topics I list there. This is what I aim to discover, not topics I master.

OpenBSD

"Free, Functionnnal and Secure"

FreeBSD

"The Power To Serve"

Plan 9

A research operating system.

Documentation

Distributions patches and forks

xv6

A operating system for teaching operating systems.

TempleOS

A holy operating system.

Linux

A famous operating system.

Distributions:

Distro that symlink files as a package management system:

GenodeOS

The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems

Written in C++ (bleh) but a good way to study how to do a kernel.

seL4

Considered by some as the "state of the art" microkernel.

Uses repo (bleh) and cmake (bleh) instead of more portable tools, but is definitely worth an approach.

Software groups

Various groups of people sometimes writing software, sometimes related to other groups, sometimes collaborating, sometimes sharing a system.

People

People from above and others.

Document browsers

Most HTTP/HTML browser presented here have a --dump flag of some sort, handful for converting html to mostly readable plain text.

System programming

Crypto

DJB

The elephant in the room of crypto.

Softwares

Qmail

An SMTPd server that aims simplicity, security, and general good design.

Real time communication

Libraries

Wire protocols

Messages formats/protocols

Networking

Infrastructure status

User interfaces

Documentation

Low-Level