xorand

9 ms·

31.
by xorand 7y ago
Thanks for the link to Kipf's paper, I was not aware of it. I'm a mathematician working on graph rewrite systems, I would like to explore in the NN direction, in case you're interested contact me.
32.
by xorand 7y ago
I think, similarly, that there is an underground graphical rewriting formalism for all of mathematics, category theory included. Category theory is somehow a step towards it, but we don't keep categories in our heads, only the graph re
33.
by xorand 7y ago
A js lambda to graphs parser and reducer https://mbuliga.github.io/quinegraphs/lambda2mol.html
34.
by xorand 7y ago
Funny how words meanings change in time. The original Plato's Academia vs today's academia. Socrates was a "corrupter of youth" too. The word "supremacy", as in "quantum supremacy" is much discussed
35.
by xorand 7y ago
As I said many times, the organizations which support the publishers is the problem. Lots of money go to publishers pockets because academic management support them.
36.
by xorand 7y ago
Since you like my comment, then why not go further. A computer, any computer, is just a blank slate. This is a matter of nature vs nurture, in computer language: a matter of programming. Good programming practices is all we need... OK, now,
37.
by xorand 7y ago
Let's not forget that "computer" was a job mainly done by women. The name "personal computer" is telling, just look at the games from the era when PCs were new, to understand what was in the mind of those privileged
38.
by xorand 7y ago
>Saving pages as HTML is not ideal because a) you get an HTML file plus a folder, not very practical if you want to retrieve them later, and b) you never know how that page is going to render in future versions of your browser. Yes but f
39.
by xorand 7y ago
Constructive proofs are equivalent to programs. But until somebody writes the program, there are always details, context, style, etc which make a proof understandable by a human but not a program. A program is more rigorous than a proof, in
40.
by xorand 7y ago
>...an article puts the abandonment rate of open source projects on Github at about 98% - meaning that there is no activity on 98% of projects after a year [0]. This has coined a phrase - abandonware. I'm not a programmer, I'm
41.
by xorand 7y ago
Molview is open source (and a great project imo) http://molview.org/
42.
by xorand 7y ago
> I see a lot of people with books, TV interviews, and academic positions complaining about being "silenced" despite still being very audible. such as? And how can you complain about opinions which you can't find easily ju
43.
by xorand 7y ago
I use javascript, especially with d3.js
44.
The Ouroboros Quine Explained(mbuliga.github.io)
2 points by xorand 7y ago|0 comments
45.
by xorand 7y ago
>" There's an inverse relationship between quality of video and accuracy of information" This is a quote to remember. You nailed it.
46.
by xorand 7y ago
... except in the movies.
47.
by xorand 7y ago
Make it public
48.
by xorand 7y ago
You know what "the map is not the territory" means, right? That one should not make a confusion between reality and (any form of) bureacracy. Now, technically any interaction a real person has on the net is influenced by the map o
49.
by xorand 7y ago
There is a famous analogy, I forgot the source (maybe Cory Doctorow?): why do you have a door at your toilet? everybody knows what you are doing there. So I don't need any of your private data. I voluntarily post my own, as concerns my
50.
by xorand 7y ago
>What is it that you want to do that these technologies are preventing you from doing? Please make public all your (accounts,passwords) or at least post publicly all your communication. What is it that you want to do that these actions w
51.
by xorand 7y ago
Wait, they spent extra $30 billions in a quarter for research, development and marketing? "Alphabet reported that its revenue rose 20 percent to $40.5 billion for the third quarter, but that profit dropped to $7.07 billion. Profit, whi
52.
by xorand 7y ago
Great idea! I was thinking about how to make votes (aka likes) more like real votes. Maybe by updating the number of likes of a post once every 6 hours.
53.
by xorand 7y ago
Started as a joke here on HN, there is a series of predictions based on a numerical correspondence between the intervals [1436,+\infty) and [1969,+\infty), where: - 1436 is the invention of the printing press and - 1969 is the start of the
54.
by xorand 7y ago
EDIT: Re: the chemistry, I do think that it might be a big subject, see https://arxiv.org/abs/1811.04960 , which somehow is not very surprising because of the Algorithmic Chemistry (aka ALCHEMY) of Fontana and Buss.
55.
by xorand 7y ago
Sure, look at [2]. I commented on your github repo too.
56.
by xorand 7y ago
I wanted to point you to two almost similar efforts [0] [1] then I found your post [2]. You may be interested also in [3]. [0] https://github.com/moonad/Formality [1] http://imar.ro/~mbuliga/chemla
57.
by xorand 7y ago
Heh, I read SJW and it totally made sense.
58.
by xorand 7y ago
On another thread [0] [1] "My Google account got suspended because of NewPipe". No place to hide. [0] https://news.ycombinator.com/item?id=21247759 [1] https://github.com/TeamNewPipe/NewPipe&#
59.
by xorand 7y ago
On another thread [0] "China's New Cybersecurity Program: No Place to Hide". No place to hide. [0] https://news.ycombinator.com/item?id=21241712
60.
by xorand 7y ago
Are there any legal consequences if Sci-Hub is hosted in China?

More ›