Theoretical Computer Science
Meta user
Network profile
284
reputation
1
6

MSalters

Apparently, this user prefers to keep an air of mystery about them.

3
answers
1
question
~191k
people reached
  • Netherlands
  • Member for 8 years, 5 months
  • 29 profile views
  • Last seen Jun 25 at 8:13

Communities (57)

Top network posts

Top tags (12)

Score 3
Posts 1
Posts % 25
Score 3
Posts 1
Score 3
Posts 1
Score 3
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (4) All Questions Answers | Votes Newest

13 Core algorithms deployed Nov 12 '13
10 Limits on lock-free collections? Jan 27 '11
3 Practical example: how to formally verify “file name” implementation from a spec? Sep 16 '15
-2 Type-based memory safety without manual memory manage or runtime garbage collection? Jan 22 '18

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest