Computer Science
user avatar
user avatar
user avatar
Koenig Lear
  • Member for 3 years, 6 months
  • Last seen more than a month ago
  • London, UK
Profile Activity
Stats
623
reputation
5k
reached
28
answers
1
question
Communities
View all
About

I'm a CS enthusiast. I'm interested in Formal Models: Z, F-Star; Ontologies: RDF/OWL; Functional Programming: F#, Haskell, Scala; Algorithms and Complexity Theory; Machine learning.

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
11
bronze badges
Top tags
View all tags
5
Score
5
Posts
17
Posts %
5
Score
3
Posts
10
Posts %
4
Score
3
Posts
10
Posts %
3
Score
3
Posts
10
Posts %
3
Score
2
Posts
7
Posts %
2
Score
3
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
13
What is the point in hashing a value?
Dec 14, 2018
answer
2
How broad is the meaning of "algorithm"?
Jan 15, 2019
answer
2
checks if a tree is a full binary tree
May 8, 2020
answer
2
How to prove that replacing a character in a string in both C and JavaScript is equivalent?
Jun 1, 2020
answer
2
Sets in Mathematics are immutable but in Computer Science sets are mutable and called "Dynamic Sets" - truth of the statement
Jun 23, 2020
answer
2
Why do AI researchers seem to think that consciousness is a computation?
Jun 25, 2020
answer
2
CPU Registers and Computation
Jun 27, 2020
answer
2
Data extaction vs information extraction
May 21, 2020
answer
1
Thread - contention vs race
May 21, 2020
answer
1
Databases and B-Trees: What are Keys and how are they related
Jun 28, 2020
Top network posts
View all network posts
13
Detect cheating in Microsoft Excel submissions
11
What typically gets sent to the ISS?
9
Understanding my company's liabilities
8
F# flatten nested tuples
8
"Lackierte" und "Anstreicher"

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.