chalst

80 ms·

841.
by chalst 8y ago
Who are Avalia? Due diligence suggests they advise investors, from their homepage, they don't cme across as your regular finance types.
842.
P2P deserves another chance (2018)(pfrazee.github.io)
4 points by chalst 8y ago|0 comments
843.
by chalst 8y ago
Andrew Gelman, a pioneer of the methodology of Bayesian statistics (cited in original article; he doesn't call himself a Bayesian in the philosophical sense) responded to the ASA statement so: http://www.stat.columbia.edu&#x
844.
Basing proof-of-work blockchains on trust metrics(twitter.com)
2 points by chalst 8y ago|0 comments
845.
by chalst 8y ago
Social security can't go broke, since the notion of social security funds is essentially an accounting mechanism. To use the terminology of https://www.reddit.com/r/mmt_economics/comments/7ciwqe/how_
846.
by chalst 8y ago
Firefox Containers really do allow you to limit the amount that data leaks. https://medium.com/firefox-test-pilot/firefox-containers-are...
847.
by chalst 8y ago
!gsc is shorter :)
848.
by chalst 8y ago
The issue claimed by the parent is not just restricting user freedom, but not doing the right thing. Your points: Pocket integration: not the right thing, at least not the way they rolled it out in Germany, but not a restriction on user fr
849.
by chalst 8y ago
I have been thinking about kinds of citation rates that distinguish between "trendy" journals, ones what attract lots of citations relatively quickly, and "deep impact journals", where papers published tend to be cited a
850.
by chalst 8y ago
The article: > Fully useful quantum computers have the potential to reach computation speeds that are orders of magnitude faster than today’s supercomputers. It's not talking about the present, where IIUC quantum computers are bas
851.
Sandboxing Cycle(xkcd.com)
1 points by chalst 8y ago|0 comments
852.
Winton's climate change predication market(climatepredictionmarket.com)
1 points by chalst 8y ago|0 comments
853.
by chalst 8y ago
If you rewrite a paragraph so that the order that links appear is broken, then you need to figure out how to do that reordering on the links. I don't find this more maintainable.
854.
What's the difference between “deep learning” and hierarchical modeling?(stats.stackexchange.com)
1 points by chalst 8y ago|0 comments
855.
by chalst 8y ago
Not to be confused with http://www.cambridge.org/de/academic/subjects/computer-scien...
856.
by chalst 9y ago
LastPass have open-sourced their client, IIRC
857.
by chalst 9y ago
> they sell the ability to manipulate you to the highest bidder This seems more like a description of Amazon. I understand Google and Facebook to be data hoarders: they build up the ability to manipulate you and use it in putting togeth
858.
Why Amazon Smile doesn’t make me smile(nonprofitchronicles.com)
3 points by chalst 9y ago|0 comments
859.
by chalst 9y ago
Is there a non-paywalled version of this article?
860.
by chalst 9y ago
Less strange given that LI is a monopoly and the judge was arguing that LI was unfairly restricting competition in HiQ's business space.
861.
by chalst 9y ago
Correction: user-generated data. LI get the content from their users for free.
862.
by chalst 9y ago
There's a discussion of this paper at LtU - http://lambda-the-ultimate.org/node/5453 - which Bob Atkey, the author, is following.
863.
LtU discussion of Ethereum, 2014-2017(lambda-the-ultimate.org)
2 points by chalst 9y ago|0 comments
864.
by chalst 9y ago
The specification of EVM in HOL exists already [1] and can be used to prove correctness of EVM code already. EVM is pretty low-level, though; the same can't be done for Solidity code. Yoichi has a page that outlines his thinking abou
865.
by chalst 10y ago
I agree. Aristotle also got the rough shape of what it is to give a formal account of logic right, and the rough shape of ethics.
866.
by chalst 10y ago
Is the table itself cached anywhere?
867.
by chalst 10y ago
The defintion of 'something' uses it twice.
868.
by chalst 10y ago
Quite so
869.
by chalst 10y ago
Rust uses something resembling linear heaps.
870.
Train Philosophers with Pearl and Kahneman, Not Plato and Kant(lesswrong.com)
7 points by chalst 10y ago|2 comments

More ›