Skip to main content
Skeptics
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 11 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
707
reputation
15k
reached
0
answers
2
questions
Communities
View all
About

Words which describe me do not exist!

Badges
View all badges
1
gold badge
5
silver badges
8
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
57
Can you have your lunch at your work-desk in France?
Jun 27, 2022
question
4
Did Elon Musk's team assemble a cluster of GPUs in 19 days which would usually have taken 4 years?
Nov 30
Top network posts
View all network posts
126
Counterintuitive examples in probability
40
Proof assistants for beginners - a comparison
27
Contradictory Behaviour of Lambda Functions
19
Which programming languages are most similar to proof assistants?
18
When to use coinductive types?