2472
Twitter
RT : Fully Generic Programming Over Closed Universes of Inductive-Recursive Types (thesis, pdf)
from twitter
3 days ago
(429) https://twitter.com/i/web/status/884104941090066432
Am glad the world includes obsessive photographers who spend 4000 hours getting perfect kingfisher shots.…
from twitter_favs
11 days ago
Episode 038: Category Theory for Normal Humans with Dr. Eugenia Cheng – Greater Than Code
"Not only I am not that interested in sports, I’m kind of put off by it because the whole idea of beating somebody else is something that I find really distasteful. I would much rather we all built something wonderful together."

"But for me, this also includes the idea of being wrong because if somebody shows me that I’m wrong and gloats over it, that’s the crucial thing. I don’t mind if someone shows me I’m wrong and then we all learn something together. That’s a congressive thing. But if an argument is about someone trying to beat me by showing that I’m wrong and they’re right, I hate losing and that’s the only reason that I don’t like being wrong."

"I don’t want to learn how to be a good loser. I don’t want to just accept failure and defeat. I think first of all, we should get to a situation where there is no failure or defeat and everything is a process of transforming stuff for the better"
dev  facebook  twitter  math  slack 
12 days ago
Twitter
RT : Version 1.5 is out! It includes GHC 8.0.2 (with all of its extensions) & supports querying types of local variables…
from twitter
13 days ago
Twitter
Lastpass automatically typed my vimeo-password to a form which has nothing to do with my vimeo passwo…
from twitter
15 days ago
Vimeo: Watch, upload and share HD and 4k videos with no ads
If I were somehow able to create a malicious form with a password field anywhere under ,
from twitter
15 days ago
(429) https://twitter.com/aiahola/status/882677376639000576/photo/1
Helsinki vuonna 1943 3D:nä ! Eli yhdistin vanhan ilmakuvan, ja saatavilla olevan 3D-kaupunkimallin :)
from twitter_favs
15 days ago
(429) https://twitter.com/1nceagain2zelda/status/749416346773889024/photo/1
RT : My dad has kept this instruction from the Strawberry Shortcake dollhouse he built me since 1984
from twitter
15 days ago
Twitter
It was just me implementing typeclasses incorrectly due to not reading the docs (!). type syste…
from twitter
15 days ago
Twitter
Dog parking. It has a picture of the sign *in the sign*.
from twitter_favs
19 days ago
Twitter
IOP measuring anywhere and anytime with real time data transfer. Come visit us at WGC 2017, booth to find out…
from twitter_favs
20 days ago
Twitter
RT : We spend more time reading our code than writing new code, so we need to adopt Knuth's advice.
from twitter
20 days ago
Twitter
RT : If you want to give up all enjoyment in life, just decide that you're in a hurry.
from twitter
25 days ago
IoT goes nuclear: creating a ZigBee chain reaction | the morning paper
RT : An amazing attack on Phiiips Hue smart bulbs shows how a whole city could be taken over in minutes. Sobering stuff.
from twitter
27 days ago
Twitter
When I wrote this 5 years ago I was clearly underestimating the abyss of stupidity in which users may lose themselv…
from twitter_favs
28 days ago
Twitter
Yep, saw that. Do I really need to by an RPI and build the damn thing myself, or could I just order…
from twitter
4 weeks ago
Twitter
STUNNING: Water drops create beautiful human-like animations
from twitter_favs
4 weeks ago
Twitter
RT : best quote of the book so far
from twitter
5 weeks ago
« earlier      
(functional (programming acupuncture addiction agile-software-development al-gore algebra alternative-and-complementary-medicine anatomy and angela angela-merkel animal-rights antibiotics apple arrows async aws babies bacteria bash bash-(programming-language) bees biology bombs caffeine calendars calligraphy cancer carbon care cars category category-theory cattle chemistry children cleaning climate climate-change clojure cocaine-and-crack-cocaine coeffects coffee collaboration comonad compiler complexity computer-science computer-security computer-software computing concurrency construction conversation copywriting coroutines creativity credit-crisis criminal-justice crypto currency cybernetics cyberpunk cyborg data-structures database deep-learning defective-products democracy design design-patterns-(computer-science) dev devops diabetes diamonds dioxide directories distributed-computing docker drugs economics economy education electromagnetism emacs engineering entropy environment eric-e.-schmidt erlang eu euro europe european-union exif explosives eyeglasses facebook filters finance food forex freer frp functional functional-programming geography germany getting-things-done ghcjs global-warming gluten-sensitivity go go-(programming-language) google gpg grain grammar gravity greece guns hacking hallintarekisteri handwriting haskell health high-availability hipchat history home human-rights human-rights-and-human-rights-violations humanitarianism humor huuhaa images immonen immunology innovation insulin interface-design iraq iraq-war islam java java-(programming-language) java-virtual-machine javascript junat kanban language language) languages larry-page lastensairaala leadership leap-year lebanon lego linux lisp lisp-(programming-language) livestock logic loss macroeconomics maito maps materials math mathematics mechanics medical merkel microbiology mindfulness mobile molecular-biology monad monad-(functional-programming) monads mongodb monoids music neural-networks nix nixos noestimates norway nosql notdd nsa nutrition ocaml oil-in-iraq openssl operating-systems oracle paikkatieto parenting paris parsing pattern-recognition perl pgp philosophy-of-science php physics physiology politics polymers postgresql prisons-and-prisoners programming programming) programming-languages programming-paradigms psychology python-(programming-language) quantum react recalls-and-bans-of-products redis redux reverse-engineering ruby rust saddam-hussein scala scala-(programming-language) scalability scale science sec security skeptic slack snowden software software-design software-engineering solar space-and-cosmos sports sql string string-theory superconductors surveillance system-administration teaching temperature tesla test-driven-development theory time toyota toyota-motor-corporation twitter unix usage vegetarianism video virtualization vr wadler wall-street-journal war water-pollution web weight windows winrm wiretapping-and-other-eavesdropping-devices-and-methods

Copy this bookmark:



description:


tags: