xorand

12 ms·

61.
by xorand 7y ago
Yes, not scam, but there is none which returns something back to the society. There is therefore no use case.
62.
by xorand 7y ago
Excellent article. A relevant link would be the San Francisco Declaration on Research Assessment (DORA) https://sfdora.org/ Back to the article, lots of gems, like: >Today's researchers can publish not only in an ev
63.
by xorand 7y ago
https://arxiv.org/abs/1809.10456
64.
by xorand 7y ago
This is right! They (publishers) can't continue this path without the clients, provided so conveniently by academic administration.
65.
by xorand 7y ago
Thanks for learning about citationsy.com! I don't publish with Elsevier since the Cost of Knowledge movement. I try my best to not publish with any publisher who locks the article or who asks money from the author (gold OA). But hear m
66.
by xorand 7y ago
No ranking replaces the access to the real work behind a scientific article: data, programs, experimental procedures, etc. Peer-review is a good thing compared with no review, but access to the real data is simply better. Think that reviewe
67.
by xorand 7y ago
I enjoyed your https://wordsandbuttons.online/fortran_is_still_a_thing.html
68.
by xorand 7y ago
Now there's also [1] ouroboros: the story of the first quine, and [2] more quines and random eggs [1] http://imar.ro/~mbuliga/ouroboros.html [2] http://imar.ro/~mbuliga/more-quines.html
69.
by xorand 7y ago
Some details: based on [1], it allows to play with the quines (via mouse interactions) and understand how these work, visually. Not part of my current project, but it responds to a demand I had for years. My contribution was to use the scri
70.
Show HN: Feed the Quine(mbuliga.github.io)
1 points by xorand 7y ago|2 comments
71.
by xorand 7y ago
Two-way links would help. I can't locate the information now but it seems that it was proposed initially.
72.
by xorand 7y ago
Thank you. I meant to ask for others than the authors. Probably the repository is the best resource... ... I notice now that it uses the gas mechanism from Ethereum. Less interesting than I thought.
73.
by xorand 7y ago
From the Move programming language paper: "semantics inspired by linear logic". Any even more technical references? Anybody knows anybody who really work(ed) on Move? Academic? Otherwise? I'm interested because of my "po
74.
by xorand 7y ago
From the thread of reactions on reddit, I got this gem:"And finally, the realistic problems we have at work typically take 6 months to explain to new people."
75.
by xorand 7y ago
This quote is amusing: "there’s even an open archive maintained by Cornell University where authors of papers in physics, chemistry, and other disciplines can directly submit their LaTeX manuscripts for open viewing." for two reas
76.
by xorand 7y ago
Well in mathematics there is a somewhat similar phenomenon concerning the growth of finitely generated groups. If you have a finitely generated group, pick a generating set as an alphabet and a natural n, then ask how many elements of the
77.
by xorand 7y ago
Happy ones those who don't notice. Look at what passes as interesting in the media. Seriously now, partial reason probably is that life quality does not correlate with intelligence in the West. Maybe here there are some people reading
78.
by xorand 7y ago
An update: added more explanations about how these random variants of the beta rewrite are generated. You can see also the generated rewrites written in lambda calculus style, although they are graphical rewrites which go outside lambda cal
79.
by xorand 7y ago
In the biological sense, a population of creatures is immortal if "the rate of mortality from senescence is stable or decreasing with age". https://en.wikipedia.org/wiki/Biological_immortality
80.
by xorand 7y ago
Agree, but I don't say that lambda calculus is not interesting, I say that there are so much more alternatives, unexplored. If we do the same with the IC of Lafont, I think that the possible (right patterns) of rewrites (which preserve
81.
by xorand 7y ago
In case anybody interested in graphic lambda calculus, there are 5! X 5! = 14400 possible alternatives for the beta rewrite only. So it beats me why among all the possible calculi in CS the lambda calculus is special. I made a page which gi
82.
by xorand 7y ago
There is now a very amusing python3 script at this gist [1], by 4lhc. It lets you type a recent or old time and it gives you a pair of events, recent and old. There's one more correspondence between East India Company and Google, found
83.
How time flows: Gutenberg press time vs. Internet time, and predictions(mbuliga.github.io)
2 points by xorand 7y ago|1 comments
84.
by xorand 7y ago
Which mathematicians or CS are (were) members of this group after 2000?
85.
by xorand 7y ago
As an extreme example about what people believe based on authority arguments, consider the case of a deep mathematician (Dan Barbilian) who was also a great hermetic poet (pen name Ion Barbu). I used Google Translate :) (and some pondering)
86.
by xorand 7y ago
Fully agree (I am a mathematician). People believe scientists based on authority arguments. The alternative would be to believe them because they validated their work. Even among scientists, this is a very hard thing to do. Among mathematic
87.
by xorand 7y ago
Obscure notation. what I wanted is: t_internet - t_arpanet = 2^p t_history - t_gutenberg = 5^p where t_internet is in the range [t_arpanet, 210] (in decades) and t_history is in the range [t_gutenberg, t_arpanet] (in decades). Therefore, i
88.
by xorand 7y ago
Yes, I'm sure many people think like this. Let me get back to the Gutenberg=Net analogy. I take as relevant history points (rounded numbers) - 1450 Gutenberg - 1970 Arpanet - 1500 Luther - 1990 Berners-Lee - 1700 Leibniz - 2
89.
by xorand 7y ago
I feel the same. Is like the net turned out to induce too big changes on the present society, which is based on artificial scarcity and gate-keepers. So $they try, successfully until now, to reverse this by turning the net into TV. It works
90.
by xorand 8y ago
I sent today a message to Google Scholar with this https://support.google.com/scholar/contact/general

More ›