3296
Type classes: pattern matching for types - Speaker Deck
uploaded my talk from PureScript Helsinki (in Tampere), Type classes are pattern matching for types
from twitter_favs
3 days ago
Twitter
RT : Kotlin gets what we call opaque types in scala (SIP-35) or newtype in Haskell (or just single item structs in Rust)…
from twitter
4 days ago
Twitter
RT : Blogged: Haskell's kind system - a primer!

Big shout-out to , , Fint…
from twitter
5 days ago
Twitter
RT : Tampere! We're coming on Thursday to bring love and the first meetup, hosted by
Four great tal…
from twitter
5 days ago
Twitter
RT : How about “always be learning, never stop being curious and always assume you know nothing”. Sure, I am n…
from twitter
6 days ago
Twitter
Me: Wow, this GIF is really trippy!

*realizes it’s not a GIF*

🤯
from twitter_favs
9 days ago
Analysis: Why scientists think 100% of global warming is due to humans | Carbon Brief
I like graphs like this one:
Of course the human factor looks pretty obvious now, bu…
from twitter
12 days ago
Twitter
I like graphs like this one:
Of course the human factor looks pretty obvious now, bu…
from twitter
12 days ago
Twitter
Everybody’s known for decades earth is warming, it’s clearly visible from data. Human factor has never been…
from twitter
12 days ago
Twitter
So, since the oil companies are responsible for my fuel consumption, I can drive around freely in my car? Aw…
from twitter
12 days ago
Twitter
I don’t get it. What does it mean to ”produce emissions” here? Do coal/oil/gas companies actually produce mo…
from twitter
12 days ago
Twitter
This could not have gone better
from twitter_favs
13 days ago
Twitter
RT : They say that coders spend most of their time reading code. That's why you should make it as interesting as possib…
from twitter
13 days ago
Twitter
Another image from the "Variations on the Hermann Grid: An Extinction Illusion" paper. This one has…
from twitter_favs
14 days ago
Twitter
The Extinction Illusion: The left side and the right side have the same number of black dots…
from twitter_favs
14 days ago
Should you learn C to “learn how the computer works”?
In my opinion, this is the most important concept to understand when learning C. C does not “describe how the computer works,” it describes how the “C abstract machine” works. Everything else of importance flows from this concept and its implications.
twitter  dev 
17 days ago
Twitter
This is probably the best illusion I've ever seen. The blue and red lines are all the same length; none is moving o…
from twitter_favs
18 days ago
Keep your types small...
RT : Keep you types small, and your bugs smaller!
from twitter
18 days ago
Twitter
Handy link with PayPal support -> donated!
from twitter
19 days ago
Twitter
RT : Continuous deployment isn’t about shipping pieces faster. It’s about shipping smaller pieces and having things in p…
from twitter
19 days ago
Twitter
RT : Stuff that seems crazy if you haven’t tried it:

Mob programming
Not using story points
1d sprints/no sprints
Resea…
from twitter
20 days ago
Twitter
RT : Somebody needs to give an award. Kudos to Gabriel and co for getting a massive 40x speedup in the pars…
from twitter
20 days ago
Twitter
"Moving changes outside the code itself does in NO WAY stop you from having to make changes. It does however create…
from twitter_favs
21 days ago
Curse explicit recursion!
Gave a presentation about Recursion Schemes to my fellow co-workers :
from twitter
23 days ago
Twitter
If you look at the left image, all 3 images will rotate clock wise!!

But if you look at the right image, all 3 ima…
from twitter_favs
28 days ago
Twitter
RT : I have a pattern in Software Faster called “Code Critique” about this. Make learning and consistency…
from twitter
29 days ago
Twitter
RT : I don’t understand the need for something as heavy as a pull request in a co-located team. Pairing an…
from twitter
29 days ago
Twitter
RT : Every once in a while it occurs to me that the purpose of education is to destroy your confidence in your own knowl…
from twitter
29 days ago
Twitter
Rereading Lord of the Rings 10 years later, only to realize that the Ring is my smartphone.
from twitter_favs
4 weeks ago
Twitter
Hi, in where smallSum [1..100] == 55, why is smallSum [100] == 100 but cata sma…
from twitter
4 weeks ago
« earlier      
(functional (programming acupuncture addiction agile 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 css currency cybernetics cyberpunk cyborg data-structures database deep-learning defective-products democracy design-patterns-(computer-science) dev devops dhall diabetes diamonds dioxide directories distributed-computing docker drugs economics economy education electromagnetism elm emacs energy entropy environment eric-e.-schmidt erlang eu euro europe european-union exif explosives eyeglasses f# facebook filters finance food forex freer frp functional functional-programming gc geography germany getting-things-done ghcjs git 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 hott human-rights human-rights-and-human-rights-violations humanitarianism humor huuhaa idris images immonen immunology innovation insulin interface-design iraq iraq-war islam java java-(programming-language) java-virtual-machine javascript js 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 mysql nature 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 purescript 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-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 typescript unix usage vegetarianism video virtualization vr wadler wall-street-journal war water-pollution web weight windows winrm wiretapping-and-other-eavesdropping-devices-and-methods world

Copy this bookmark:



description:


tags: