shnarazk
(shnarazk)

利用開始日: 01/26/2018

- As a SAT solver researcher: Rust, Haskell, R, luaLatex
- As a programmer Git, NixOS, Linux, Emacs, VScode, bash
- As a web developer: Nuxt.js, Vue.js, MongoDB, Firebase, Now, Docker
- As an engineer, category theory, type theory, logics, macOS
- https://gitlab.com/shnarazk/
- https://shnarazk.now.sh/

2018

06/30

(Sat)

15:30〜

Organizing

Attending

2018

06/14

(Thu)

18:00〜

Organizing

Attending

2018

05/30

(Wed)

18:30〜

Organizing

Attending

2018

05/25

(Fri)

18:00〜

Organizing

Attending

2018

04/28

(Sat)

17:00〜

Organizing

Attending

2018

04/21

(Sat)

15:30〜

Organizing

Attending

"Potassco User Guide" 読書会 #02 Ended

記号計算大濠社中

"Potassco User Guide" 読書会 #02

shnarazk shnarazk

長崎県長崎市尾上町3番1号

1/4

2018

04/12

(Thu)

18:30〜

Organizing

Attending

2018

03/29

(Thu)

18:30〜

Organizing

Attending

2018

03/22

(Thu)

18:30〜

Organizing

Attending

shnarazk