Kevin Boos
kevinaboos
Open-source Rust developer.
Principal Architect at @futurewei-tech. Tech lead for @project-robius.
Creator of @theseus-os.
PhD, Rice University
@futurewei-tech, @theseus-os Bellevue, Washington
Jiayi Zhuang
Wybxc
The Soul selects her own Society —
Then — shuts the Door
Peking University Beijing, China
srrrse
withoutboats
In civilizations without boats, dreams dry up, espionage takes the place of adventure, and police take the place of pirates.
Berlin
miniKanren.org
miniKanren
https://mitpress.mit.edu/books/reasoned-schemer-second-edition
The Learning&Training Hub of Open Source OS Kernel
LearningOS
the Learning&Training Hub of Open Source OS Kernel for Students & Developers
China
chyyuu
chyyuu
I'm teaching & researching OS/Compiler in Dept. of Computer Sci. & Tech., Tsinghua Univ.
Tsinghua Unviersity Beijing, China