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
Meta Stack Exchange
Network Profile
233
reputation
1
11

nekketsuuu

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

1
answer
3
questions
~499
people reached
  • Japan
  • nekketsuuu
  • nekketsuuu
  • Member for 2 years, 4 months
  • 24 profile views
  • Last seen Feb 12 at 5:55

Communities (30)

Top Network Posts

Top Tags (9)

Score 0
Posts 2
Posts % 50
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top Posts (4) All Questions Answers | Votes Newest

20 Who is the most responsible for the new Code of Conduct? Oct 4 '18
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 '18
1 Feedback And Initiatives On International Sites Oct 1 '18

Badges (12)

Gold

—

Silver

1

Rarest

Bronze

11

Rarest

View all badges →