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/

2019

06/01

(Sat)

18:30〜

Attending

FGNエンジニアMeetup vol.1 Ended

Fukuoka Growth Next

FGNエンジニアMeetup vol.1

Fukuoka Growth Next Fukuoka Growth Next

福岡県福岡市中央区大名2丁目6−11

72/110

2019

05/29

(Wed)

19:00〜

Attending

Fukuoka.rs vol.4 〜TRPL勉強会〜 Ended

Fukuoka.rs

Fukuoka.rs vol.4 〜TRPL勉強会〜

Shumpei URABE Shumpei URABE

福岡県福岡市博多区祇園町7-20 (博多祇園センタープレイス9F)

12/20

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

shnarazk