• Sign in
  • Sign up
Elektrine
EN
  • EN English
  • 中 中文
Log in Register
Modes
Overview Search Chat Timeline Communities Gallery Lists Friends Email Vault VPN
Back to Timeline
  • Open on discuss.systems

Thalia Archibald

@thalia@discuss.systems
mastodon 4.5.7

Computer science PhD student at the University of Utah, researching compiler verification with @regehr@mastodon.social.
UNIX historian and archivist.
Rust standard library contributor.

0 Followers
0 Following
Joined January 18, 2026
Site:
https://thalia.dev
GitHub:
https://github.com/thaliaarchi

Posts

thalia
Thalia Archibald
@thalia@discuss.systems

Computer science PhD student at the University of Utah, researching compiler verification with @ regehr . UNIX historian and archivist. Rust standard library contributor.

discuss.systems
Thalia Archibald
Thalia Archibald
@thalia@discuss.systems

Computer science PhD student at the University of Utah, researching compiler verification with @ regehr . UNIX historian and archivist. Rust standard library contributor.

discuss.systems
@thalia@discuss.systems · Mar 04, 2026

A fantastic, fast regular expression engine that supports intersection, complement, and lookarounds in linear time, combining Brzozowski derivatives and lazy DFA construction.

https://iev.ee/blog/resharp-how-we-built-the-fastest-regex-in-fsharp/

View on discuss.systems
53
0
23
0
thalia
Thalia Archibald
@thalia@discuss.systems

Computer science PhD student at the University of Utah, researching compiler verification with @ regehr . UNIX historian and archivist. Rust standard library contributor.

discuss.systems
Thalia Archibald
Thalia Archibald
@thalia@discuss.systems

Computer science PhD student at the University of Utah, researching compiler verification with @ regehr . UNIX historian and archivist. Rust standard library contributor.

discuss.systems
@thalia@discuss.systems · Feb 21, 2026

Industrial hardware at the U! Jenny Lin gave me a tour of her lab today and showed off her industrial knitting machine. She researches computational knitting, including knitting program equivalence and motion capture for clothing. Here's her Shima Seiki WholeGarment industrial knitting machine:

#knitting

View on discuss.systems
64
0
35
0

Media

313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 11:30:57 UTC