Theoretical Computer Science
Siddharth Bhat's user avatar
Siddharth Bhat's user avatar
Siddharth Bhat's user avatar
Siddharth Bhat
  • Member for 5 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
595
reputation
4k
reached
0
answers
17
questions
Communities
View all
About

Computer science PhD student. Read math for fun. Interested in all things math ⋂ computation.

Currently reading:

  • Gravitation (Misner, Thorne, Wheeler)
  • Optimisation on matrix manifolds (Absil)
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
View all tags
0
Score
11
Posts
65
Posts %
0
Score
7
Posts
41
Posts %
0
Score
4
Posts
24
Posts %
0
Score
3
Posts
18
Posts %
0
Score
2
Posts
12
Posts %
0
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
6
Given a domain, how do we build a language whose denotation is the domain?
Sep 15, 2020
question
5
Example use cases for induction-recursion
Jun 8, 2021
question
4
NBE for MiniTT: Why is labelled sum eliminator both a normal form and a neutral value?
May 20, 2021
question
4
A reasonable proof strategy for formally verifying Ukkonen's algorithm?
Feb 13, 2020
question
3
Proof techniques for string algorithms?
Feb 12, 2020
question
3
How to think about `comp` in cubical type theory
Jun 12, 2021
question
3
What technique is used to implement type checking for CoC?
May 16, 2021
question
3
Bidirectional typing for dependent types: Why are Sigma, Pi synthesized?
May 19, 2021
question
3
References on implementing universe levels over MLTT?
May 19, 2021
question
2
Does univ : univ always lead to a contradiction in a dependently typed language?
May 17, 2021
Top network posts
View all network posts
155
Short exact sequences every mathematician should know
78
How to debug math?
31
What is exponential map in differential geometry
22
How do I simulate an atom?
15
Lie theoretic meaning to $e^{\text{cycle}} = \text{permutation}$?

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.