Readit News logoReadit News
the_benno commented on Reading academic computer science papers   stackoverflow.blog/2022/0... · Posted by u/happy-go-lucky
0x20cowboy · 4 years ago
Please correct me if I just haven’t found the right place, but when I’ve tried to read academic papers in the past I found I’d have to pay upwards of $50.00 to read anything more than just the abstract.

Is there a site that gives free access to these research papers?

the_benno · 4 years ago
The best source is usually authors' websites. You can find a free copy of just about any modern CS paper by googling its title in quotes with "filetype:pdf".
the_benno commented on A gentle introduction to automated reasoning   amazon.science/blog/a-gen... · Posted by u/mooreds
auggierose · 4 years ago
Who of the Isabelle core devs is involved in blockchain?
the_benno · 4 years ago
None of them -- Isabelle is developed at University of Cambridge and TU Munich by academics. The parent commenter seems to have some mistaken notions and assumptions about formal methods and PL research.

Deleted Comment

the_benno commented on A gentle introduction to automated reasoning   amazon.science/blog/a-gen... · Posted by u/mooreds
exdsq · 4 years ago
I think realistically the biggest source of research money is from blockchain projects as so many use formal methods nowadays, and have done for a couple years
the_benno · 4 years ago
You can argue that it's growing and/or promising, but there is absolutely no way that the actual research funding coming out of blockchain-land can hold a candle to the big formal methods labs at major tech firms or traditional academic research funding.
the_benno commented on How to learn compilers: LLVM Edition   lowlevelbits.org/how-to-l... · Posted by u/AlexDenisov
anonymousDan · 4 years ago
I have to say personally I find general program analysis (e.g. for security) a much more interesting topic than most vanilla compiler courses. For example I recently came across this course by the maintainers of soot: https://youtube.com/playlist?list=PLamk8lFsMyPXrUIQm5naAQ08a...

Any pointers to similar courses much appreciated!

the_benno · 4 years ago
Anders Moeller and Michael Schwartzbach's book [1] on static program analysis is a fantastic resource, with (I think) a great balance of theory and practice. If you want to get really deep into the theory of program analysis, Patrick Cousot just published an incredibly thorough book on abstract interpretation (just got my copy this week, so haven't fully explored enough to have much of an opinion on it as a pedagogical resource)

[1] cs.au.dk/~amoeller/spa

the_benno commented on Domain Theory (1994) [pdf]   cs.bham.ac.uk/~axj/pub/pa... · Posted by u/cybernautique
iamcurious · 4 years ago
Cool, to an outsider, would you recommend studying Domain Theory side by side with Category Theory, or is the latter a prerequisite of the former?
the_benno · 4 years ago
No, I wouldn't say that category theory is a prerequisite for domain theory in general.

I'm most familiar with domain theory from Winskel's "Formal Semantics of Programming Languages" (great book, cited as Win93 in the linked PDF), which has a whole chapter on the subject with no reference to category theory.

If you get deeper into domain theory (e.g. by working through this book) surely some category theory will be useful, but it's not a foundational prereq.

the_benno commented on Poor parents receiving universal payments increase spending on kids   news.wsu.edu/press-releas... · Posted by u/rustoo
iammisc · 4 years ago
Again, why don't you share your wisdom?
the_benno · 4 years ago
My "wisdom" is that microeconomics is complicated... Hardly a controversial statement. I was being serious about a microecon text, but wikipedia would work just fine too.

I'm not on here to argue with people and it seems you have some sort of ideological bone to pick, so this is going to be my last reply. All the best

the_benno commented on Poor parents receiving universal payments increase spending on kids   news.wsu.edu/press-releas... · Posted by u/rustoo
iammisc · 4 years ago
I dunno what cargo-cult intellectualism is. Contrary to what it may seem, I rarely read economics blogs / political philosophy, etc.

It just seems obvious to me that if you increase everyone's income by $10, price of goods will go up by $10.

> The crux of the "UBI doesn't cause spiraling inflation" argument is that UBI accounts for a sufficiently small fraction of total incomes that its benefit (greater spending power for lower incomes, and the downstream economic benefits of that spending) outweighs its nonzero but noncrippling inflationary effect.

How could you have greater spending power if we agree that UBI's inflationary effect is proportional to its amount. The moment you give the money out, the spending power goes down.

In my view, this will just lead to the rich getting richer, because companies end up providing the services people will pay money for, and these profits go into the pockets of the rich, who don't really need the money for life necessities, so instead use it as capital.

The poor are no better off and are incentivized to spend the money because of inflationary effects (saving the money results in it having less spending power when they want to sell it), while the rich have no incentive to spend the money since they're already wealthy.

> That is, though the $10 cash benefit you describe may of course increase COL, it does so by some amount between $0 and $10 that is influenced by all sorts of factors you're glossing over.

Can you identify, name, and explain those factors. You accuse me of 'glossing over' some factors in my 'simple' explanation, while you yourself do not identify any of the factors that supposedly would not cause COL to increase.

the_benno · 4 years ago
Sure: literally everything past the first chapter of any microeconomics textbook. Come on, your position is "it just seems obvious", so I'll just say that it _is_ obvious that economics -- a social science full of interconnected and confounding factors -- is not so simple as "if everyone has 10 more dollars then everyone's cost of living goes up by exactly 10 dollars."
the_benno commented on Poor parents receiving universal payments increase spending on kids   news.wsu.edu/press-releas... · Posted by u/rustoo
iammisc · 4 years ago
Hey... I'm not tricking anyone. I used a term that was related to work I was currently doing. It's not the best term, you're right. But my meaning was quite clear.

If you base UBI on cost of living, and cost of living depends on UBI, then you find yourself in a feedback loop. My use of turing complete was not really accurate, but it was the context my mind was in when writing this comment.

I make mistakes and sometimes speak unclearly. No need to be pedantic.

the_benno · 4 years ago
Your meaning was indeed clear but I find your reasoning flawed and the cargo-cult intellectualism... silly and pretentious.

The main flaw, to me, is the 1:1 correspondence you draw between the magnitude of UBI-style benefits and cost of living. That may be true (at least under some simplified/idealized econ101 assumptions) if UBI was the sole source of money in the economy, but that's obviously not the case. The crux of the "UBI doesn't cause spiraling inflation" argument is that UBI accounts for a sufficiently small fraction of total incomes that its benefit (greater spending power for lower incomes, and the downstream economic benefits of that spending) outweighs its nonzero but noncrippling inflationary effect.

That is, though the $10 cash benefit you describe may of course increase COL, it does so by some amount between $0 and $10 that is influenced by all sorts of factors you're glossing over.

the_benno commented on Poor parents receiving universal payments increase spending on kids   news.wsu.edu/press-releas... · Posted by u/rustoo
iammisc · 4 years ago
Except if UBI is $10, then cost of living will increase $10. This is an impossibly recursive feedback loop. UBI's effects on the COL is ultimately a turing complete equation, and thus suffers from an inability to analyze when exactly such a recursive scenario will halt.
the_benno · 4 years ago
What is this gobbledygook? These technical terms have meanings that you clearly either (a) do not understand or (b) are abusing to trick less-educated folks into thinking your political opinions are authoritative and intellectual or whatever.

To an audience that _does_ speak theoretical CS, your sprinkling in of its terminology weakens whatever point you're trying to make and comes off instead as silly and pretentious.

u/the_benno

KarmaCake day167January 25, 2018
About
bennostein.org
View Original