Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr@mastodon.social.
UNIX historian and archivist.
Occasional Rust standard library contributor.
Posts
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Codeberg's recent statement and updated policy on LLM usage on their platform is admirable. They make several well-reasoned points that are often overlooked in the hype and distraction.
https://blog.codeberg.org/protecting-our-floss-commons-from-llms.html
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
https://www.meetup.com/utah-rust/events/314696647/
https://github.com/carllerche/tokioconf-2026-workshop-exercises
#rust #async #tokio
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Typing on @icm@mastodon.sdf.org's Teletype Model 35 ASR last year.
ALL WORK AND NO PLAY MAKES JACK A DULL BOY.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
How were { } curly braces typed with a Teletype Model 33 on UNIX? These characters are especially important for C, but absent on this terminal. This is a tour of the coevolution of UNIX and C, from this perspective, featuring “hello, world” through the ages.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr. UNIX historian and archivist. Occasional Rust standard library contributor.