Links

Applications

Computer-assisted design

Electronics

Curcuit simulation

PCB design

Radio interference estimations and planning

Mathematics

Proofs

coq

Numeric methods

matlab

Data Analisys

Machine Learning

https://scikit-learn.org/stable/index.html

Automation

https://www.digdag.io/

Technology

Hardware

SSD

http://vlo.name:3000/

Bluetooth

https://github.com/usbbluetooth/usbbluetooth https://github.com/em0gi/CVE-2025-27840/blob/main/Enumerate.py https://archive.is/AVpSd https://archive.is/zvuyt

Video

VESA

Software

Protocols

9P fileserver

Virtualization

calico kubernetes management

Filesystems

Soft updates - avoid filesystem inconsistencies

UI

IBM CUA

Resources

https://en.wikipedia.org/wiki/Multilevel_feedback_queue

https://en.wikipedia.org/wiki/Spinlock

Drivers

WDM

Linux stable API

Programming

Languages

P" - seems to be brainfuck's ancestor

IPL