Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Join us in building a kind, collaborative learning community via our updated Code of Conduct.
Meta Stack Exchange
Network Profile
130 reputation
9

nekketsuuu

Formal methods / Type theory / OCaml / Go / C++

0 answers
2 questions
~156 people reached
  • Japan
  • nekketsuuu
  • nekketsuuu
  • Member for 1 year, 10 months
  • 11 profile views
  • Last seen Aug 8 at 21:22

Communities (29)

Top Network Posts

Top Tags (5)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top Posts (2) All Questions Answers | Votes Newest

4 How about making the categories of CSE.SE and ME.SE the same? Dec 17 '17
1 Can we redact sensitive information from the data dump? Jun 25

Badges (9)

Gold —
Silver —
Bronze 9

Rarest