Viewing profile — thorel

> The theory of finite fields is based on the theory of prime numbers, because the finite fields are sets of residues modulo a prime number or modulo a power of a prime number. It …

Agreed, thanks for the clarifications. Another result worth mentioning, which also shows that you cannot hope to uniquely characterize a structure by "reasonable" axioms is the Löw…

This idea of giving "meaning" to a set of axioms is precisely captured by the notion of "interpretation" in logic [1]. The rough idea is to map the symbols of the formal language t…

The article is a bit oversimplifying in summarizing the axiomatic crisis as being problem with sentences like “this statement is false“. This being said, your intuition is absolute…

Isn't this what is suggested below the second picture? > Really, it’s harder than this picture suggests, because many experiences are based on other students. If I want you as my p…

I agree. The GP comment contains some inaccuracies: most of the spaces of functions considered in functional analysis do not have an inner product defined on them, but are still ve…

The realization that functions can be treated as elements in an abstract vector space (with infinitely many dimensions) is a turning point in the history of mathematics that led to…

Among many other things, SUB Göttingen maintains the Göttingen Center for Retrospective Digitization (GDZ) [1] which hosts a very impressive collection of digitized documents. It s…

Regarding stochastic gradient descent, I think there has been an increased understanding in recent years, that the randomness introduced by the random sampling/batching is not only…

I agree that "continuous" is a poor choice of word. Reading the article, it is clear that the author does not care about continuity in the mathematical sense of the term, but rathe…

Some people trace the first exposition of recursive production rules for grammars back to Pāṇini (around 5th century BCE) [1] [1] https://www.jstor.org/stable/23497283?seq=1

There are a few inaccuracies here: using automatic differentiation basically makes computing the gradient of the objective function as efficient as computing the function itself. B…

I am not sure I understand the criticism of RLS. It feels to me that the Language Server Protocol does allow for incremental parsing etc. In particular, the approach taken by rust-…

This is an interesting point, but note that the scheme you are suggesting is "stateful" (you need to remember the last ciphertext to be able to generate the next one). The standard…

This is correct: if both parties have some pre-agreed secret, then it is much easier to secretly communicate over any channel and the method you are describing works and is similar…

You are right: the scheme relies on a sequence of cyphertexts being independent (or at least, appearing to be independent to someone who doesn't know the decryption key). However, …

Note that the described scheme relies on a key exchange protocol (such as Diffie-Hellman). Remember that a key exchange protocol allows two parties to agree on a shared key; the ke…

To be fair, the original paper does mention the problem of whitespaces (see Appendix B on page 21). It seems that the recommended solution is to use this fast space remover: https:…

It is very refreshing to see a website dedicated to classical music! Have you considered integrating with last.fm? At the very least scrobbling the listen history would be nice, bu…

Worth mentioning the Google Kythe project [0] which is designed around the idea of providing a graph of entities appearing in the code to build tools which work with code. I always…

I am not entirely sure this is what you are looking for, but Beets [0] is a really cool command-line music organiser which uses the MusicBrainz database. [0] http://beets.io/

A PDF version of the above article: http://vision.unipv.it/IA1/ProgrammingaComputerforPlayingChe...