FreeBSD - Using lean4 - the theorem prover

FreeBSD Basics - the system shell (/bin/sh) - Part 5 (last)

FreeBSD - debugging program starts with extrace

FreeBSD - virtio-gpu on UTMapp (MacOS) and Xlibre/icewm

FreeBSD Rants: why do I use FreeBSD?

FreeBSD Basics - the system shell (/bin/sh) - Part 4

FreeBSD Basics - the system shell (/bin/sh) - Part 3

FreeBSD Basics - the system shell (/bin/sh) - Part 2

FreeBSD Basics - the system shell (/bin/sh) - Part 1

FreeBSD - using LLMs for fun and profit

FreeBSD - Using and Configuring a VLAN

FreeBSD - Using synth to compile ports

FreeBSD - route all TCP traffic from an isolated machine through an http proxy

FreeBSD - create a local cache for pkg

FreeBSD - An Awesome Book on FreeBSD Device Drivers

FreeBSD - port knocking and SSH tarpit

FreeBSD - Enhancing firewall security with port knocking

FreeBSD - connecting vscode to FreeBSD through remote SSH

Random Bits - my own teleprompter

386BSD - Installation on real hardware

FreeBSD - Installing and Using Sylve

FreeBSD - redirecting USB devices over TCP/IP

FreeBSD - how to do Xorg graphics on UTM on MacOS/arm64

So ist Lia‘s Leben

FreeBSD - Tang Nano 20K FPGA Synthesis (Verilog and VHDL)

FreeBSD - a tour of Mandatory Access Control (mac_do, and mac_veriexec)

FreeBSD - a tour of Mandatory Access Control (portacl, biba, and mls)

FreeBSD - understanding how to get FreeBSD from scratch

A320 - Flight Simulator in Lisbon - this time "for real"

FreeBSD - Installing and using Dosbox-X

FreeBSD - configuring the "fastest" PKG mirror

FreeBSD - debugging software with vim and vimspector

FreeBSD - The AWK Programming Language

FreeBSD - how to sync history of bash across several instances

FreeBSD - configuring SSH with two factor authentication (google authenticator)

FreeBSD - using frp (fast reverse proxy) with copyparty

FreeBSD - configuring PKG to use a proxy

FreeBSD - create a minimal base podman image

FreeBSD - how to use shared folders with a virtual machine

FreeBSD - installing FreeBSD without internet

FreeBSD - getting Haskell up an running on ARM64

FreeBSD - getting your date and time right :-)

FreeBSD - getting graphics card and mouse to work on proxmox

FreeBSD - writing hello world and a small web server in assembly (ARM64)

FreeBSD - getting rusty - how to setup a Rust development environment

FreeBSD - how to create FreeBSD docker containers from scratch

FreeBSD - configuring and running podman (an awesome docker alternative)

FreeBSD - fixing kernel driver problems for VirtualBox

FreeBSD - installation in UTM (on MacOS / AARCH64) with Wayland

FreeBSD - how to encrypt your home directory

FreeBSD - installing x86_64 and AARCH64 in Proxmox

FreeBSD: Changing the password of a GELI-encrypted disk

FreeBSD - Installing Jupyter Lab with Haskell Kernel

FreeBSD - Typing Unicode Characters With the Keyboard

A321 Porto to Lisbon on XP12

A320 - Flight Simulator in Lisbon

FreeBSD - Using GELI for full disk encryption

FreeBSD: flightgear - configuring a ThrustMaster T.16000M joystick for fun

FreeBSD - how to use gnuplot

FreeBSD: running a Large Language Model with ollama