Quantum

Measurement Theory 2020-05-04 Quantum Teleportation 2020-03-04 Grover, Billiards, and Pi 2020-01-04 Deutsch Algorithm 2019-11-04 Wave packet in 2D potential 2018-10-15

HPU/GPU

Matrix Multiplication with GPU 2020-11-02 Announcing alkomp 2020-10-29 Collatz Conjecture 2020-10-15

Robotics

FRC Kickoff 2019 2019-01-04

Other

Lie Groups and Lie Algebra 2020-12-02 Elliptic Curve Cryptography 2020-10-20 Toy Compiler Using Ocamllex, Menhir, and LLVM 2019-05-01 Modifying Sys Calls 2018-09-04

My Setups

2018-10-22

hey, what do you use for xyz

Operating Systems

PC: Arch Linux
PC: Qubes OS
PC: Fedora

Phone

OS: Graphene OS

Apps

F-droid - FOSS app repository
NewPipe - YouTube Client
AntennaPod - Podcast Manager
KeepassDX - Password Manager
Slide - Reddit browser
Materialistic - Hacker News
Tutanota - Email
Signal - Messenger App
Element - Matrix Client
Tusky
OsmAnd+ - Maps
GPSTest
Termux - Terminal Emulator

Desktops

Operating Systems

Hardware

Motherboard: ASRock B450 Pro4
CPU: AMD Ryzen 7 2700X
GPU: Radeon RX 5700 XT
Laptop: Lemur Pro

Software

Dotfiles

Software Development

Code editing

Preferred Languages

Python, Julia
C++, Rust
PHP

Rust Development

nalgebra
Yew
Rocket
Cross (for using docker/podman to quickly cross-compile)
musl for static compilation (avoiding glibc)

Research + Education

Jupyter Notebook - quick and reactive code development
Zotero - reference management tool
Pandoc - convert notes to other formats
Xournalpp

Self-hosting

Mastodon - Social network
Synapse - Matrix reference implementation
searx - metasearch engine
Gitea - Git server

Older Newer