shnarazk
(shnarazk)
Usage start date: 01/26/2018
ASP, CDCL SAT solver, Emacs, Latex, NixOS, Rust方面
Your Groups
- Attended 57
- Organize 9
- Presenter 1
- Bookmark 71
2022
02/12
(Sat)21:30〜
Attending
2021
05/28
(Fri)20:00〜
Attending
2021
04/23
(Fri)19:00〜
Attending
2021
03/06
(Sat)19:00〜
Attending
2021
02/16
(Tue)19:00〜
Attending
2021
01/23
(Sat)21:00〜
Attending
2021
01/23
(Sat)18:00〜
Attending
2020
12/22
(Tue)19:00〜
Attending
2020
12/19
(Sat)13:00〜
Attending
2020
12/09
(Wed)19:20〜
Attending