HNHacker News
TopNewBestAskShowJobs

xorand

334 karma · joined February 9, 2019

submissionscomments
xorand··on Crispr pioneer among University of California researchers boycotting Elsevier
This is right! They (publishers) can't continue this path without the clients, provided so conveniently by academic administration.
xorand··on Elsevier threatens others for linking to Sci-Hub but does so itself
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 me well: it is useless to blame only Elsevier. Go for the academic managers who make possible this. Or the gold OA circus. Otherwise publish with arXiv or better try to make all your work available: data, programs, etc.
xorand··on The Flawed Reasoning Behind the Replication Crisis
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 reviewers themselves don't have access to more data than other readers, in the actual system.
xorand··on Run Your Own Website
I enjoyed your https://wordsandbuttons.online/fortran_is_still_a_thing.html
xorand··on Show HN: Feed the Quine
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

xorand··on Show HN: Feed the Quine
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 script with examples, old and new. Is so nice and interactive that now I wish for a game.

[1] https://github.com/ishanpm/chemlambda-editor

xorand··on Ask HN: Can we create a new internet where search engines are irrelevant?
Two-way links would help. I can't locate the information now but it seems that it was proposed initially.
xorand··on Libra White Paper
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.

xorand··on Libra White Paper
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 "poured only once" current project http://imar.ro/~mbuliga/hapax.html
xorand··on I got asked LeetCode questions for a dev-ops systems engineering job today
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."
xorand··on The lingua franca of LaTeX
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 reasons:

1) sounds like 'there's even a church at Vatican' seen that arXiv.org is the biggest ever collection of scientific articles submitted by their authors

2) and there's no chemistry section in arXiv.org, but a half is mathematics and some computer science

xorand··on Algorithm Solves Graph Isomorphism in Record Time (2015)
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 group you can build by using only words of length at most n. This is the growth function, whose growth does not change if you pick another generating set.

See [1] the Tits alternative which implies that if your group is linear (huh) then the growth function is either polynomial or exponential. Then there is a result by Gromov [2] which says that if the growth is polynomial then the group is virtually nilpotent. There was a long standing question if there exist finitely generated groups with an intermediate growth and the first example was found [3].

So it's not interesting until it becomes interesting due to a newly discovered fact.

[1] https://en.wikipedia.org/wiki/Tits_alternative

[2] https://en.wikipedia.org/wiki/Gromov%27s_theorem_on_groups_o...

[3] https://en.wikipedia.org/wiki/Grigorchuk_group

xorand··on IQ rates are dropping in many developed countries
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 this, who could confirm or disagree with the following. Coming from the East, one of my first persistent impressions was puzzlement when faced with barely human intelligence in a rather wealthy aspect.

xorand··on How Feynman Diagrams Revolutionized Physics
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 calculus. I state again what I believe: that analogously with cellular automata, probably a big proportion of these random generated calculi are as rich as the original (Turing complete at least).
xorand··on We Are Especially Unfortunate to Die, When Our Descendants Could Be Immortal
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
xorand··on How Feynman Diagrams Revolutionized Physics
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 the no of half-edges and nodes) are about 10^13.

A conjecture, which I don't know if it holds water, is that analoguous to CA, Wolfram style, perhaps 1/3 (or anyway a significant proportion) of the 10^13 possible graph rewrite systems, alternative to IC, are Turing universal.

xorand··on How Feynman Diagrams Revolutionized Physics
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 gives random alternatives http://imar.ro/~mbuliga/betarand.html
xorand··on How time flows: Gutenberg press time vs. Internet time, and predictions
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 by 4lhc.

[1] https://gist.github.com/4lhc/c695e70e59a177fd3278c0818ff2084...

xorand··on After Pentagon Ends Contract, Top-Secret Scientists Group Vows To Carry On
Which mathematicians or CS are (were) members of this group after 2000?
xorand··on The End of Being a Duke Professor and What It Means for the Future of Higher Ed
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) to turn one of his most famous poems into English.

The literary authority claims that the poem is about the poetic art, while a mathematician would think it is about a Fourier transform (noncommutative, see the "groups of water", SL(2)?).

Here is the translation of the poem Ion Barbu, Din ceas dedus:

From the clock, down the depth of this calm peak,

Passed through the mirror into blessed azure,

Tailoring on the crushing of the aggressive herds

In groups of water a second, purer game.

Latent nadir! The poet raises the sum

Of spreading harps lost into reversed flight.

The song exhausts: as deep as the sea bears

Its jellies, from under the green bells.

xorand··on The End of Being a Duke Professor and What It Means for the Future of Higher Ed
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 mathematicians is close to impossible. The solution agreed since some decades is peer review, but peer review != validation.
xorand··on The Rise and Fall of Internet Art Communities
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, if a historic event related to the printing press occured at t_history time (in decades) then the equivalent event related to the net occured at t_internet (in decades), given by te formula:

t_internet = t_arpanet + (t_history - t_gutenberg)^0,43067

where 0,43067 = (ln 2)/(ln 5).

xorand··on The Rise and Fall of Internet Art Communities
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 - 2010 Open Access, Open Science

- 1800 USA - x, major event towards the freedom of the internet

If we count in decades, suppose both processes as exponential and we take Gutenberg - Arpanet as the 0 point, then we see

2^t_internet = 5^t_gutenberg

which suggests that the major event x would be at about 4.6 decades after the Arpanet. :)

xorand··on The Rise and Fall of Internet Art Communities
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 great because the largest part of the population has no idea how it was before and they are at the first stages of building an immunity.

Overall is the Gutenberg press reloaded. First publish bibles in the local languages, then publish anything, like for example Leibniz, outside the usual channels (academia say), then limit the spreading of knowledge via laws and trade over boundaries. Much faster than before, but not so fast so that one individual, say, would witness both the Gutenberg press and a major effect like the USA.

xorand··on It seems that Google is forgetting the old web
I sent today a message to Google Scholar with this https://support.google.com/scholar/contact/general
xorand··on EU Agencies Falsely Report More Than 550 Archive.org URLs as Terrorist Content
Happened in Feb 2019 to a story on telegra.ph archived by me. It was scary first, then I asked the archive.org webmaster and I understood that it was a telegra.ph link, not because of the content. Now the archived link works OK. https://imgur.com/a/eJd4FeM
xorand··on The Urgent Quest for Slower, Better News
>It's unclear to me how anything can be done to counteract those tendencies

Compulsory education. Started like this https://en.wikipedia.org/wiki/Prussian_education_system#Driv...

xorand··on It seems that Google is forgetting the old web
The newer coment is one hour after the older one. I made it after I was downvoted. As for the spammy self-promotion, thank you, I linked to a HN comment (made yesterday, relevant to the matter but with no reactions at that moment) instead of the blog post directly exactly because I don't want to replicate links. Finally, while these comments will fade from attention, if not already, that blog post will remain, excuse me for giving first some evidence that's something wrong with Google Scholar. Obviously spam.
xorand··on It seems that Google is forgetting the old web
Somebody starts a site for collecting "scholar dropouts"? An article qualifies as a scholar dropout if:

- it was previously available on Google Scholar

- it cannot be retrieved, or the search on Google Scholar gives a misleading result (for example it gives another article, as explained in [1])

Please help to make a list of scholar dropouts! Thank you.

[1] https://news.ycombinator.com/item?id=19604722 HN comment with evidence

[2] https://news.ycombinator.com/item?id=19604955 HN reply with another evidence

xorand··on It seems that Google is forgetting the old web
Is this recent? In my case I noticed it yesterday.
← PreviousPage 3 of 6Next →