Computer Science
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin
  • Member for 1 year, 5 months
  • Last seen more than a month ago
  • Tbilisi
Profile Activity
Stats
267
reputation
186
reached
4
answers
0
questions
Communities
View all
About

Deeply Technical Writer at Noeon Research.

Badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
View all tags
2
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
-1
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
2
what is the relation between operating systems and automata theory?
Apr 15, 2022
answer
1
Proving a predicate assignment is correct
Mar 31, 2022
answer
0
What are the examples of multi-threading in a web server?
Apr 11, 2022
answer
-1
"partial sorting" algorithms (aka "partitioning")
Apr 8, 2022
Top network posts
View all network posts
12
Learning materials for doing analysis (calculus) in a mechanized way
11
Proof assistants for beginners - a comparison
9
What are the disadvantages of automatically inlining all functions?
8
Runtime/Backend for a lazy, pure functional, lambda-calculus-based language?
8
What is defunctionalisation useful for?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.