bollu

25 ms·

211.
by bollu 7y ago
I personally find that screen tries to do less, and therefore, gets in my way less. Also, emacs-style keybindings fit better with the general interaction model of the shell, which also uses emacs-style keybindings. I know that one can switc
212.
by bollu 7y ago
Why horn clauses, specifically? By the way, are you aware of resources that explain Prolog the way you did (in terms of logic?) the ones that I do know either explain how to _implement_ prolog (eg. the WAM), or provide a "high-level&qu
213.
by bollu 7y ago
Just because the universe is relativistic doesn't mean that we can't model it. Mathematics is inherently immutable --- this is why describing programming language semantics requires the introduction of something "extra"
214.
by bollu 7y ago
I wrote a post on learning the prototype J interpreter that was written by Arthur Whitney: http://bollu.github.io/#incunabulum-for-the-21st-century-mak... It's an enjoyable codebase to stare at and figure out
215.
Incunabulum for the 21st century: Making the J interpreter compile in 2020(bollu.github.io)
2 points by bollu 7y ago|0 comments
216.
by bollu 7y ago
Hey, author here! I do know some category theory, as I dabble with Haskell. Another motivation for me to study more algebraic topology & geometry is to see category theory in the setting where it was originally developed. Do you have re
217.
by bollu 7y ago
Do you have a better recommendation for ease of use v/s easy to browse? What do you think of having an auto-generated "table of contents" page? Does that sound good?
218.
by bollu 7y ago
What would you recommend I focus on? I personally work on compilers as part of research, so that's "focus". My current broad goal is to learn all the parts of math that I feel might wind up becoming useful for applied math in
219.
Stuff I learnt in 2019: Papers, math and code(bollu.github.io)
5 points by bollu 7y ago|0 comments
220.
Ask HN: How does someone in India access the internet when taken down?
29 points by bollu 7y ago|9 comments
221.
by bollu 7y ago
While this is true, note that this special relationship between gradient, divergence, and curl only exists in 3D, due to the fact that 2 + 1 = 3, and the presence of the [hodge star]( https://en.wikipedia.org/wiki/Hodge_
222.
What's a Grober basis? An explanation using circuit equivalence(bollu.github.io)
3 points by bollu 7y ago|0 comments
223.
Show HN: A weekend replication of STOKE, a stochastic superoptimiser(github.com)
58 points by bollu 7y ago|4 comments
224.
by bollu 7y ago
Please explain to me how these systems can solve the Halting problem --- Everything I've tried to find on "Hypercomputation" has either been philosophical, or computability theorists playing with halting oracles for fun. I do
225.
by bollu 7y ago
You seem to have taken down your e-mail information on your profile :)
226.
by bollu 7y ago
That's hardly the point of the article --- the actual paper does not describe the use of two separate vectors for each word. The initialization was an interesting tidbit.
227.
by bollu 7y ago
As someone who works on compiler optimisations, I'd love to get a link the Rice compiler's source code --- do you happen to have a link?
228.
by bollu 7y ago
Now it's `one_hot_focus x W1 x (one_hot_context x W2)^T`. So we still pick one row of the matrix from the focus and context embeddings, but they're separate embeddings.
229.
by bollu 7y ago
Is this really that common? That's disheartening, I want to spend time in academia but experiences like this are sucking the fun out for me...
230.
Differences between the word2vec paper and its implementation(github.com)
351 points by bollu 7y ago|147 comments
231.
by bollu 7y ago
This only works if your language is strict. With a lazy language like Haskell, you can't statically infer (at least naively with respect to scoping rules) when something lives and dies. Performing this statically is hard, and GHC tries
232.
by bollu 7y ago
- Adjoints as far as I understand are not about joining things, adjoints are about a generalization of inverses. Can you formally (and I mean mathematically) define what this intuition you have about adjoints ~= "joining things"?
233.
by bollu 7y ago
For a compuatational intuition of quantum mechanics, I recomment picking up quantum computation! Step 1: Pick up Nielsen and Chuang, the standard textbook in the field. Step 2: Solve the microsoft Q# Quantum Katas, which take you through ba
234.
by bollu 7y ago
Christ, that's _awesome_. I wish I was taught the Legendre transform this way. Where did you run into this viewpoint? I'd love to read a textbook that explains physics this way. In fact, I to this day have not found a book that ca
235.
by bollu 7y ago
Pretty sure you can't do this since the GPU's memory is per-process isolated as well.
236.
by bollu 7y ago
I don't understand what this article is trying to say. The snippets of category theory just seem to be technobabble: While they are all "mathematically true" (upto a generous reading), they don't really "make sense&
237.
by bollu 8y ago
I'm not sure you understand how difficult it is to prove software correct. I've written a decent amount of Coq code. It's quite bonkers how much of proof one needs to write to get anything done. For reference, the certified c
238.
by bollu 8y ago
Aren't they equivalent? what makes one "more fundamental" than the other?
239.
by bollu 8y ago
I'd like to understand some things: 1. How reputed is this journal? 2. If this is "true" (as in, the paper is well written), how come I haven't seen this being picked up anywhere? 3. What next?
240.
Is there life on Mars? Paper answers “maybe”(journalofastrobiology.com)
1 points by bollu 8y ago|2 comments

More ›