Twitter | Pretraživanje | |
corvus frugilegus
cat life support system operator
16.292
Tweetovi
646
Pratim
598
Osobe koje vas prate
Tweetovi
corvus frugilegus proslijedio/la je tweet
Wonder of Science 6. velj
Ground-to-cloud lightning fills the sky over Burleigh Heads, Australia, in an awesome display of the power of nature. Credit: Hayden Milne.
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 6 h
Odgovor korisniku/ci @cutculus
assert(ASSERTIONS_ENABLED);
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus proslijedio/la je tweet
Steve Stewart-Williams 6. velj
Evidence of massive publication bias in psychology: The number of positive results in Registered Reports (i.e., papers accepted for publication before the results are known) is vastly lower than that in regular reports: 44% vs. 96% for the first hypothesis in each paper.
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus proslijedio/la je tweet
Sabine Hossenfelder 4. velj
What should really make you worry is not per se that the newer models have a higher climate sensitivity, but that this climate sensitivity is higher than what was previously considered plausible. Tells you that you can't rely on the uncertainty estimates.
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus proslijedio/la je tweet
Ramez Naam 4. velj
Amen. No other methodology has been so effective at forecasting the future cost of clean energy. It's amazing how official energy forecasters keep missing this.
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 5. velj
Odgovor korisniku/ci @mattsta @rtfeldman
same cause, less severe outcome:
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 5. velj
Odgovor korisniku/ci @importantshock @mstk
But as more knowledgeable people have observed it's probably cleaner to factor out the existential and the constraint: data Exists f = forall a. Exists (f a) data Given c a = c a => Given a type Some c = Exists (Given c) (I think this is the same thing as 's suggestion?)
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 5. velj
Odgovor korisniku/ci @importantshock
Indeed I have: These days you could even use QuantifiedConstraints to make the instances/defaults properly general...
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 5. velj
not long now until all of the candidates' names begin with a B
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 4. velj
Odgovor korisniku/ci @hillelogram
There are a bunch of things where shared mutable state is 'pure'/well-behaved as long as it's monotonic: IVars, LVars, unification, CRDTs, gradually typed mutable references, ... it's kinda fascinating and I'd like to understand the underlying logic better one day.
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 4. velj
Odgovor korisniku/ci @hillelogram
(I just looked up the Petri nets thing, but I would guess that it's similarly an instance of losing "soundness", which is what's usually referred to as Turing-completeness.)
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 4. velj
Odgovor korisniku/ci @hillelogram
W.r.t. NOT, the deeper issue is that it's non-monotonic. In e.g. Datalog, if new elements are added to a relation, that can only cause other relations to grow in turn, not shrink... except if you use negation. See also Russell's paradox.
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 4. velj
Odgovor korisniku/ci @hillelogram
Speaking of cognates, I recently tried to research where "void" originated and failed. :/ (FPers like to get annoyed at C-descendants for their `void` being a unit type rather than a bottom type which is "wrong", but it's unclear which came first and why they ended up different.)
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 4. velj
Odgovor korisniku/ci @stephentyrone
Sorry for the necro, but do you happen to have a cite for this? Google wasn't much help.
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 4. velj
start a bank and call it $COMPANY
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus proslijedio/la je tweet
🍸 5. stu 2016.
Young man There are frogs all around I said Young man Keep those frogs off the ground
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 4. velj
Odgovor korisniku/ci @ManishEarth
(she responded to this in another subthread: )
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus proslijedio/la je tweet
Jason Scott 4. velj
3,200 Hungarian Supermarket Flyers because MONDAY, THAT'S WHY
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 4. velj
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 4. velj
Odgovor korisniku/ci @ManishEarth
What is the sun if not a big compost pile, anyway?
Reply Retweet Označi sa "sviđa mi se"