You know when you get a press release to cover a Guinness world record attempt for tallest stack of waffles & expect it to be some big commercial thing & then it's just a guy's house? This is SO MUCH BETTER. Follow along, #Denver! Things might get weird! pic.twitter.com/xcxqZCMJZM
— Elizabeth Hernandez (@ehernandez) May 26, 2018
Category: Like
❤️ drmichaellevin tweet about cybernetics
A definition of #Cybernetics:
— Michael Levin (@drmichaellevin) May 15, 2018
"Science concerned with the study of systems of any nature which are capable of receiving, storing and processing information so as to use it for control." -A. N. Kolmogorov pic.twitter.com/71I6mFRqT0
Reply to iamjeffperry tweet about community infrastructure
Note: this particular test site is meant more for folks to do quick test drives of the Known platform rather than serving as a platform in the way you’re describing. As an example of what you may be looking for though, here’s an original post on my own website (note the “also on” link at the bottom) and here’s the copy that was syndicated into the separate “community service” on an entirely different domain.
I suspect you could use other sites/services like WordPress to do something like this as well.
Alternately, you could have folks post on their own site and aggregate things in a “planet-like” fashion via RSS (by keyword perhaps) or other means on a central hub as suggested by Aaron Parecki.
Reply to 50cent tweet about Instagram abuse
#silosgonnasilo #ownyourdata
❤️ darenw tweet A time lapse for every hit of Ichiro’s MLB career
I got a ton of requests for this.... A time lapse for every hit of Ichiro's @mlb career. pic.twitter.com/w8uhzlSnp0
— Daren Willman (@darenw) May 6, 2018
❤️ VioricaMarian1 tweet about afternoon classes
I once taught an 8 am college class. So many grandparents died that semester. I then moved my class to 3 pm. No more deaths. And that, my friends, is how I save lives.
— Viorica Marian (@VioricaMarian1) May 5, 2018
❤️ aschweig tweet about WordCamp for Publishers
Hi everyone! Just a reminder that today is THE LAST DAY to submit session proposals for WordCamp for Publishers (Aug 8-10 in Chicago). If you work in news/media with WordPress in any capacity, we want to hear from you! https://t.co/fgE0L0bkif
— Adam Schweigert (@aschweig) May 3, 2018
❤️ iiTalW tweet about etymology and entomology
People who can't distinguish between etymology and entomology bug me in ways I cannot put into words.
— Tal Waterhouse (@iiTalW) May 3, 2018
🔖 Temporal Type Theory: A topos-theoretic approach to systems and behavior | ArXiv
This book introduces a temporal type theory, the first of its kind as far as we know. It is based on a standard core, and as such it can be formalized in a proof assistant such as Coq or Lean by adding a number of axioms. Well-known temporal logics---such as Linear and Metric Temporal Logic (LTL and MTL)---embed within the logic of temporal type theory. The types in this theory represent "behavior types". The language is rich enough to allow one to define arbitrary hybrid dynamical systems, which are mixtures of continuous dynamics---e.g. as described by a differential equation---and discrete jumps. In particular, the derivative of a continuous real-valued function is internally defined. We construct a semantics for the temporal type theory in the topos of sheaves on a translation-invariant quotient of the standard interval domain. In fact, domain theory plays a recurring role in both the semantics and the type theory.
hat tip:
This morning at ACT2018, David Spivak gave a VERY cool talk on using topos theory to model how airplanes can maintain a safe distance from each other in flight. You can watch the talk here! https://t.co/pUXZhj6SXA Also check out “Temporal Type Theory” at https://t.co/6LWNOQWtqw pic.twitter.com/7x9yjBwVIA
— Tai-Danae Bradley (@math3ma) May 2, 2018
❤️ DrAndrewV2 tweet about reading journal articles
Let’s be honest, reading a paper:
1. Read abstract
2. Look at pictures
3. Scan conclusions
4. Read 2-3 paragraphs of lit review
5. Scan references in case you’ve missed something juicy
6. Ear-mark to read ‘properly’ later
7. Take on all train journeys for next year. Don’t read.— Jenny Andrew (@DrAndrewV2) April 28, 2018
❤️ akaDashan tweet about swinging cradle for your phone
Seen at a Harbin restaurant: swinging cradle for your phone, I’m told to cheat the “10k steps/day” test & qualify for health insurance discounts, presumably while you relax, eat & drink more, or have another cigarette. pic.twitter.com/LV0leTduAU
— 大山 Dashan (@akaDashan) April 28, 2018
🔖 actualham tweet about interactive glossary/encyclopedia for challenging technical/academic jargon that can be layered into textbooks
Just Skyped with a math student @UofR who has built (beta) an interactive glossary/encyclopedia for challenging technical/academic jargon that can be layered into textbooks. He wants to develop it as an #opensource resource for #OER. More soon, but the future is SO OPEN!
— Robin DeRosa (@actualham) April 27, 2018
❤️ AP tweet Bill Cosby convicted of drugging and molesting a woman in first big celebrity trial of #MeToo era
BREAKING: Bill Cosby convicted of drugging and molesting a woman in first big celebrity trial of (hash)MeToo era.
— The Associated Press (@AP) April 26, 2018
❤️ ASmallFiction tweet about engine that ran on ambient disappointment
He worked for years to invent an engine that ran on ambient disappointment.
But at the unveiling, it wouldn’t work.
Then it did.
Briefly.
— A Small Fiction (@ASmallFiction) April 17, 2018
❤️ Southldntabby tweet about PhD work
Here’s a list of things that are discouraged that I encourage all PhDs to do:
– Take leave whenever you want
– Leave the office when you want
– Ask to be paid for labour
– Highlight and refuse unpaid labour
– Refuse respectability politics
– Refuse to act grateful when exploited— Séan Richardson (@Southldntabby) April 15, 2018