bollu

20 ms·

151.
by bollu 6y ago
This is very interesting. What other techniques exist, apart from finger-knitting which are unobtrusive and help as an outlet?
152.
by bollu 6y ago
Not sure I understand, why is it not a causal loop?
153.
by bollu 6y ago
Can you elaborate on what makes it that bad? Some snippets of code, or egregious bug reports to satisfy my curiosity. Otherwise, it feels like bad-mouthing software.
154.
by bollu 6y ago
Why not? I am quite curious, because I, too, host my blog on github: https://bollu.github.io/
155.
by bollu 6y ago
Nice, thank you, this was exactly the kind of resource I was looking for :)
156.
by bollu 6y ago
Yes, doing QFT rigorously is hard because of path integrals. It's possible to do QM rigorously, as the "rigged Hilbert spaces" formalism suffices.
157.
by bollu 6y ago
I am glad you brought up bra-ket notation. I have wasted a lot of time trying to understand how to formalize bra-ket notation. I kept seeing the words "C* algebra" and "rigged hilbert space" being thrown around. I recent
158.
by bollu 6y ago
I like the list! It's very "physics person" oriented. Unfortunately, I have faced an insane amount of frustration trying to learn from the same sources because they "skip" on mathematical detail, often leading to mo
159.
by bollu 6y ago
I don't believe it will be "no longer science". Physics is still underpinned by mathematics. It'll just be a branch of pure mathematics. From what I understand, quite a lot of pure math research has begun thanks to theor
160.
by bollu 6y ago
I find this entire discussion to be indicative of a deeper disconnect within "programming culture" [insofar as such a thing exists]. Broadly, it seems to me there are are (a) folks who value mathematics and the ability to reason a
161.
by bollu 6y ago
Luckily, the nice thing about functional "design patterns" as invented by the haskell community always have mathematical laws attached to them. The advantage of having formal laws is that functional programmers can reason mathemat
162.
by bollu 6y ago
I disagree with the other comments. I can give you concrete reasons to care about algebraic geometry. I don't know enough of Grothendeick's vast generalizations yet to give you a good answer. I'm sure that I'll find appl
163.
by bollu 6y ago
I am currently learning modern algebraic geometry (scheme theory) from Ravi Vakil's algebraic geometry in the time of COVID: https://math216.wordpress.com/agittoc-2020/ . It's a great ongoing course that offer
164.
by bollu 6y ago
The difference is between pervasive laziness (laziness by default) v/s laziness by opt-in. If you have laziness by opt-in, then most parts of the language will not opt-in [from prior experience with, say, racket which also has lazy
165.
by bollu 6y ago
How does secure multiparty give access to obliviousness?
166.
by bollu 6y ago
Argh :) Well, this is why we verify code ;) Thanks for pointing this out.
167.
by bollu 6y ago
The real upshot of coinduction is that it allows you to write /proofs/ of objects that are hard to reason about using induction. In an inductive proof, we: 1. prove that the base case holds, step(0). 2. show that if step(n) holds,
168.
by bollu 6y ago
So I actually went ahead and decided to build "curriculum" that I would be happy to study, instead of trying to take potshots at the idea. For reference, I'm a to-graduate-undergrad who's studied a pretty theory CS-heav
169.
by bollu 6y ago
I disagree. One does not need to know quantum physicr to learn quantum computation, as scott aaronson argues in "quantum computing since democritus". I personally feel I actually understood more quantum physics by playing around w
170.
by bollu 6y ago
There is really only one "bible". I recommend solving through it, at least the first 4-5 chapters: - Nielsen and Chuang, Quantum computation and information: mmrc.amss.cas.cn/tlb/201702/W020170224608149940643.pdf Wh
171.
by bollu 6y ago
Can you clarify your edit? All I see is this tweet ( https://twitter.com/TwitterSupport/status/128351803844522393... ) which reads We are aware of a security incident impacting accounts on Twitter. We are investigat
172.
by bollu 6y ago
Awesome. I love good research into parsing, since parsing is famously "the solved problem that isn't": https://tratt.net/laurie/blog/entries/parsing_the_solved_pro... I hope to study this paper
173.
by bollu 6y ago
I dump my notes in three categories: - Links that I find interesting which I'd like to archive: https://bollu.github.io/todo.html - Short pieces that are accessible to folks with background. This goes on the blog: htt
174.
by bollu 6y ago
There's good intuition for this. The key moral of the story is this: > The normal distribution provides uniform sampling on the > unit n-sphere. What does that mean? Assume one wants to sample a point uniformly from the unit circ
175.
by bollu 6y ago
For what it's worth, I currently have the top comment in the thread defending the point of computer science. I'm an undergrad studying in India. My exams in college have not been about rote memorization. I've written quite a
176.
by bollu 6y ago
I agree; My personal view is that it's fundamental to know these ideas, just as one can't be a physicist without knowing a decent chunk of mathematics. On the other hand, it seems that biology majors seem to "get by" [as
177.
by bollu 6y ago
I need to defend theory of computer science here, it seems. Please note that this computer science , not computer engineering . The idea of automata, regular languages, turing machines, and whatnot inform some of the most fundamental resu
178.
by bollu 6y ago
Does this have to do with the fact that the wave is complex-valued?
179.
by bollu 6y ago
Blessedly, in the complex analytic setting, these coincide, to they not? [Attempting to sanity-check my own understanding here]
180.
by bollu 6y ago
And what is the precise relationship between hyperbolic space and Minkowski space? am I right in understanding that one can _embed_ a model of hyperbolic space (the hyperboloid moidel, obeying the equation `-x0^2 + x1^2 + ... xn^2 = 0` as a

More ›