7497
Twitter
Phil Rogaway to students: "Don't read too many papers!"
from twitter_favs
6 hours ago
Twitter
1/. Wow. This episode is a special one. Parts of my grad school experience would have been better if I heard this c…
from twitter_favs
7 hours ago
Twitter
Famed physicists like Einstein and Bohr were deeply engaged with philosophy. Why is this less true for scientists t…
from twitter_favs
yesterday
(429) https://mobile.twitter.com/i/web/status/999369623484039168
Even if some of the public doesn’t care about the credibility score, the journalists, editors & publications will.…
from twitter_favs
2 days ago
(429) https://mobile.twitter.com/i/web/status/999331842380611584
Really enjoyed 's "type soundness in three easy lemmas"; clearer than the preservation/progress formula…
from twitter_favs
2 days ago
(429) https://mobile.twitter.com/i/web/status/999198418252779521
We uploaded our functional pearl about a PhD student trying to prove properties about her Haskell programs in Coq.…
from twitter_favs
2 days ago
(429) https://mobile.twitter.com/i/web/status/999101659170197504
After a short responsible disclosure process and a few leaks, I'm excited to announce that I'll join this fal…
from twitter_favs
2 days ago
Twitter
found this gem in the GHC user’s guide
from twitter_favs
4 days ago
Efficient matrix multiplication · GitHub
I wrote a short post on register blocking in matrix multiplication.
from twitter_favs
4 days ago
Twitter
By disproving an idea meant to save determinism, mathematicians have made a breakthrough discovery about the nature…
from twitter_favs
4 days ago
Twitter
Why Psychotherapy Works: "One good relationship becomes the model for relationships. The therapist’s moderate, inte…
from twitter_favs
5 days ago
Twitter
The next time someone tries to claim that Google is not sinister, share with them this video of Google's vision for…
from twitter_favs
5 days ago
Twitter
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theor…
from twitter_favs
5 days ago
Twitter
IMHO you’re better off as a beginner to start with standard chess and develop a good understanding of th…
from twitter
7 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
7 days ago
Twitter
no no no little sanity check you're never supposed to fail

you're just here to make me feel better
from twitter_favs
7 days ago
Twitter
Marvel: Infinity War is the most ambitious crossover event in history.

Roland Friedrich: let me tell you a story a…
from twitter_favs
9 days ago
Twitter
A detailed analysis of how the hardware economics of proof-of-work mining gives the big players all the advantages,…
from twitter_favs
9 days ago
Twitter
If you haven’t yet read my article on LSM vs B-Tree storage, you have no more excuses. It’s now also publicly avail…
from twitter_favs
9 days ago
Twitter
RT : maybe you could formalise the abstraction <-> empathy discussion with a natural transformation of…
from twitter
10 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
10 days ago
Twitter
And we were apparently not the only ones to make that connection: :)
from twitter
10 days ago
Twitter
And we were apparently not the only ones to make that connection: :)
from twitter
10 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
10 days ago
Twitter
The Unreasonable Effectiveness of Mathematics in Juggling
from twitter_favs
10 days ago
Twitter
My talk is online

Let me take the opportunity here to thank:
for inspiration…
from twitter_favs
10 days ago
Untitled (https://www.youtube.com/watch?v=FgAU8UZwzmU&t=18s)
My talk is online

Let me take the opportunity here to thank:
for inspiration…
from twitter_favs
10 days ago
Twitter
RT : Here is my first blog post describing a basic introduction to Clash for FPGA development. I will cover registers an…
from twitter_favs
10 days ago
Twitter
Layers as functions, or when machine learning falls in love with functional
programming <3
from twitter
11 days ago
Twitter
[BLOG] A Purely Functional Typed Approach to Trainable Models -- 3 part series on Differentiable Programming in…
from twitter_favs
11 days ago
Twitter
Don’t miss ’s talk at the Formal Verification Meetup!
from twitter_favs
11 days ago
Twitter
In two weeks the next gathering for the Formal Verification Meetup will take place at EPFL CM 1100! We will talk ab…
from twitter_favs
11 days ago
Dealing with Dates
Working with Dates is amazing, and Cocoa APIs are almost genius. Nice reminder:

Via
from twitter_favs
12 days ago
Twitter
There will always be extremists.

They only win when the moderates start apologizing for them.

Weak moderates are…
from twitter_favs
13 days ago
Twitter
My slides on the session "CRDTs and Redis: From sequential to concurrent executions" at April 26th 2018
redisconf  from twitter_favs
14 days ago
Untitled (https://www.youtube.com/watch?feature=player_embedded&v=fRjfmNWSRiE)
On this date in 1989, goalie Ron Hextall attacked Chris Chelios after play was whistled offside.
Flyers  Habs  from twitter_favs
14 days ago
Twitter
hired:
do act1; act2; act3

spjired:
do { act1
; act2
; act3
}

sired:
act1 >> act2 >> a…
from twitter_favs
14 days ago
Twitter
Great viz! A cool thing to see is how character's centrality evolves over trilogies (e.g. Gandalf is absolutely ess…
from twitter_favs
15 days ago
Twitter
And Israel says tonight it hit dozens of targets in Syria overnight
from twitter_favs
15 days ago
Twitter
On her 11th birthday, this amazing girl is coding on stage in front of 7500+ people at Red Hat Summit. THIS is the…
from twitter_favs
15 days ago
Twitter
question I always ask is: does the company intend to assert ownership of code I write on my own time and my own…
from twitter_favs
16 days ago
(503) https://www.amazon.com/Data-Reality-Perspective-Perceiving-Information/dp/1935504215
Data and Reality, William Kent:

Brilliant and scarring. Completely changed how I think abo…
from twitter_favs
16 days ago
Twitter
Close runner up is Making Software, by :

Great introduction to what we actually k…
from twitter_favs
16 days ago
Twitter
Data and Reality, William Kent:

Brilliant and scarring. Completely changed how I think abo…
from twitter_favs
16 days ago
(503) https://www.amazon.com/Making-Software-Really-Works-Believe/dp/0596808321
Close runner up is Making Software, by :

Great introduction to what we actually k…
from twitter_favs
16 days ago
Entity-Component-System architecture for UI in Rust | Raph Levien’s blog
Some experiments writing GUI from scratch in Rust, using Entity-Component-System architecture:
from twitter_favs
16 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
16 days ago
Twitter
normal brain: one programming language
big brain: two languages, one for front end and one for back end
glowy brain…
from twitter_favs
17 days ago
Twitter
Just tried the Alfa proof editor () and now I'm wondering why structure editors stayed niche…
from twitter_favs
17 days ago
The Proof Editor Alfa
Just tried the Alfa proof editor () and now I'm wondering why structure editors stayed niche…
from twitter_favs
17 days ago
(500) http://net.art
the "intellectual dark web" sounds like a forum from 2003
from twitter_favs
17 days ago
Twitter
I believe it was Ben Franklin who said those that would give up essential privacy for temporary WiFi deserve neithe…
from twitter_favs
18 days ago
Twitter
You might’ve heard the React team mentioning “algebraic effects” as a conceptual model for some React features. It’…
from twitter_favs
18 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
18 days ago
Twitter
Life: A pay-to-win open ended sandbox MMO with fantastic graphics and appallingly grindy gameplay. Score: 3/10

No…
from twitter_favs
18 days ago
Twitter
The journal is officially online! Go to to find out more about what to submit, our open cal…
from twitter_favs
18 days ago
Compositionality – The open-access journal for the mathematics of composition
The journal is officially online! Go to to find out more about what to submit, our open cal…
from twitter_favs
18 days ago
Twitter
no one piece of technology has had a greater impact on my life. i edited my first video on an imac, at the time i…
from twitter_favs
19 days ago
Twitter
Kapodístrias, the first governor of Greece was the mastermind behind Switzerland's reorganisation, saving…
from twitter_favs
19 days ago
Twitter
This is a really cool use of laziness in Haskell:

The linear fibonacci implementation is fi…
from twitter_favs
19 days ago
Travis Athougies - Dynamic Programming in Haskell is Just Recursion
This is a really cool use of laziness in Haskell:

The linear fibonacci implementation is fi…
from twitter_favs
19 days ago
Formal specification for a Cardano wallet - Cardano
The first formal specification of a cryptocurrency wallet (implemented in haskell) by
from twitter_favs
19 days ago
Twitter
"As a tall person I don't ever remember experiencing "shortness" so why would short people be experiencing it? If s…
from twitter_favs
20 days ago
Twitter
Even the most basic concepts in category theory have revolutionized my thinking. Small categories and functors have…
from twitter_favs
21 days ago
Twitter
Yeah seems like Twitter’s become very lenient with those verified account,…
from twitter
21 days ago
Twitter
Whether you are into Game of Life or not (yet), go check out ’s new app:

Comes wit…
from twitter
21 days ago
« 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: