1112
showing only twitter [see all]
Twitter
IMHO you’re better off as a beginner to start with standard chess and develop a good understanding of th…
from twitter
5 days ago
Twitter
Watch these 5 videos by , then play as many 15+ min games you can and try to follow those pri…
from twitter
5 days ago
Twitter
RT : maybe you could formalise the abstraction <-> empathy discussion with a natural transformation of…
from twitter
8 days ago
Twitter
RT : What's great about cat theory is that it's flexible enough to be used as a descriptor for your do…
from twitter
8 days ago
Twitter
And we were apparently not the only ones to make that connection: :)
from twitter
8 days ago
Twitter
And we were apparently not the only ones to make that connection: :)
from twitter
8 days ago
Twitter
Not there yet, but I can definitely see the potential:

and I once had a very inspired discussion about t…
from twitter
8 days ago
Twitter
Layers as functions, or when machine learning falls in love with functional
programming <3
from twitter
9 days ago
Twitter
Ah if only! I’d just rather have those attention-begging red dots in the same app than scattered amon…
from twitter
15 days ago
Twitter
RT : Yay! Our new journal is finally here! It's called "Compositionality". It's all about building big things from…
from twitter
16 days ago
Twitter
Yeah seems like Twitter’s become very lenient with those verified account,…
from twitter
19 days ago
Twitter
Whether you are into Game of Life or not (yet), go check out ’s new app:

Comes wit…
from twitter
19 days ago
Twitter
RT : WhatsApp about ads (2012): "Remember, when advertising is involved you the user are the product."…
from twitter
20 days ago
Untitled (https://www.meetup.com/Formal-Methods-and-Verified-software-meetup/events/250347977/)
Excited to be talking about refinement types at the next Formal Methods meetup on the 31st of May at EPFL!
from twitter
21 days ago
Twitter
But of course, makes sense, right ?
from twitter
22 days ago
Git - git-worktree Documentation
TIL one can multiple working trees for the same Git repository:
from twitter
22 days ago
Twitter
How editorial decisions can reveal a worrying lack of diversity in news coverage. “ML personalisation methods have…
from twitter
23 days ago
Twitter
Let’s just travel back in time, I could use some of that stuff even if it meant writing g…
from twitter
26 days ago
Twitter
Get outta here, Rob :p
from twitter
26 days ago
Twitter
But that was my favorite part of the game! How am I gonna make money now? I can’t program anything…
from twitter
26 days ago
Twitter
Kanye vs Reactive Programming
from twitter
28 days ago
Twitter
RT : I'll be presenting our work (with ) titled "Selection Bias in News Coverage: Learning it, Fighting it", pre…
from twitter
29 days ago
Twitter
RT : Super excited about our paper "How Constraints Affect Content: The Case of Twitter's Switch from 140 to 280 Charact…
from twitter
5 weeks ago
Twitter
RT : Google, don’t be evil
from twitter
7 weeks ago
Twitter
A multi-syntax functional programming language that will eventually use FUSE to project the code into the desired s…
from twitter
7 weeks ago
Twitter
RT : "speedrunning 500 years of bad economics" is the *perfect* way to describe cryptocurrencies, hot damn
from twitter
7 weeks ago
squeal/RELEASE NOTES.md at master · morphismtech/squeal · GitHub
Squeal 0.2 is out, featuring type-level constraints, migrations, transactions and connection pools!
from twitter
8 weeks ago
Twitter
RT : Meet the Task abstraction from our recent paper on build systems with and :…
from twitter
8 weeks ago
Twitter
RT : It is only true that it tends to be *easier* to advance technology without caring about privacy. It is not inevita…
from twitter
9 weeks ago
Twitter
Paper: Exploiting Vector Instructions with Generalized Stream Fusion in Haskell:
from twitter
9 weeks ago
Twitter
Not to my knowledge (didn’t see a camera) but I guess you can look at…
from twitter
9 weeks ago
Twitter
Really enjoyed ’s talk on LiquidHaskell at this morning. She demonstrated how to use it to make par…
from twitter
9 weeks ago
Twitter
Agreed, you miss those abstractions a lot when you come from the Haskell side, but for most other peopl…
from twitter
10 weeks ago
Twitter
Ayeah, you can already go a long way without HKT. I still miss them in Rust but not as much as I had thought. Assoc…
from twitter
10 weeks ago
Twitter
Sunder, a GUI for threshold secret sharing based on RustySecrets, has been released in version 0.1!

Sunder:…
from twitter
10 weeks ago
Twitter
Switching back and forth between Rust and Haskell makes me feel dirty: in Haskell for heap allocating everything, a…
from twitter
february 2018
ripgrep code review
Fascinating code review of ripgrep:
from twitter
february 2018
Twitter
RT : "Rejecting incorrect programs is a minor reason for why we need types. Types are first and foremost a design langua…
from twitter
february 2018
My attempt to understand the backpropagation algorithm for training neural networks
RT : My attempt to understand the backpropagation algorithm for training neural networks. ~ Mike Gordon
from twitter
february 2018
Twitter
I don’t get why Guy Parmelin is even invited to such an event? Both his party and department are at the antipodes o…
from twitter
february 2018
Twitter
I came up with a) (phantom type) b) (singletons)

I find both of th…
from twitter
february 2018
versioned serializers in scala · GitHub
Haskeller friends, can you come up with a better way to implement something like in Haskell…
from twitter
february 2018
Twitter
Haskeller friends, can you come up with a better way to implement something like in Haskell…
from twitter
february 2018
FormatSing.hs · GitHub
Here’s a variant using singleton types (but still requiring UndecidableInstances):
from twitter
february 2018
Format.hs · GitHub
I came up with this:

I’m not really happy about the result, especially bec…
from twitter
february 2018
Twitter
I came up with this:

I’m not really happy about the result, especially bec…
from twitter
february 2018
Twitter
Yes indeed. Sorry I am tired and got confused. It seems to be the “less worse“ of the solutions I c…
from twitter
february 2018
Twitter
Agreed! Definitely more modular in that sense. My issue is more with adding a phantom type to an AD…
from twitter
february 2018
« earlier      
3d akka algorithms animation api app architecture art assembly async authentication backbone backup bitcoin book books browser business c canvas career categorytheory chat chess chrome clojure clojurescript cloud cms cocoa code coffeescript compiler computation computer-science concurrency coroutines course crdt cryptography cs css css3 culture data database datastructures debug debugging dependent-types deployment design development devops distributed-systems dns docker documentation dom dotty dropbox ebook ecc economics economy editor education effects elmlang email entrepreneurship erlang ferguson font formal-verification fp fp101x framework free-monads functional future gamedev games garbage-collector generator ghc git github go golang hacking happiness hardware hash hashing haskell heartbleed history hosting html html5 http humor icons idris innovation interview ios iphone java javascript job jquery json jvm language language-design latex learning lifehacks linux lisp llvm logic lua mac macos markdown math mathematics mobile monads mooc music mvc mysql neovim network networking nginx node.js nodejs nosql nsa objective-c om online open-source opensource os osx p2p papers parser parsing peg performance philosophy php physics plt plugin politics postgres presentation privacy productivity profiling programming promises psychology purescript python rails react reactive reactjs reactnative reader recursion recursion-schemes reddit redis redux reference research responsive rest ruby rust rustlang rx rxjs sass scala scaladays scalajs scalaz scaling scheme school science search security server sexism shapeless shell smt software space sql ssl startup startups static statistics strangeloop swift switzerland talk talks tech technology ted templating test testing tex tls tool tools tor transducers tutorial type type-theory types typo3 typography ui ux vector video virtualization visualization vm web webgl webrtc writing

Copy this bookmark:



description:


tags: