Friday, June 28, 2019

Declarative Thinking, Declarative Practice - Kevlin Henney

Posted by Davide Restivo at 6/28/2019 09:52:00 AM 0 comments
Links to this post
Labels: , ,
Reactions: 

Sunday, January 27, 2019

It's Magit! - John Wiegley

Posted by Davide Restivo at 1/27/2019 11:13:00 PM 0 comments
Links to this post
Labels: ,
Reactions: 

Saturday, October 7, 2017

Smoking Man

Smoking Man
Posted by Davide Restivo at 10/07/2017 05:55:00 PM 0 comments
Links to this post
Labels:
Reactions: 

Sunday, April 23, 2017

P vs. NP and the Computational Complexity Zoo

Posted by Davide Restivo at 4/23/2017 10:10:00 PM 0 comments
Links to this post
Labels: ,
Reactions: 

Saturday, August 20, 2016

buskers-bern-2016 #16

buskers-bern-2016 #16
Posted by Davide Restivo at 8/20/2016 09:10:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #15

buskers-bern-2016 #15
Posted by Davide Restivo at 8/20/2016 09:10:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #14

buskers-bern-2016 #14
Posted by Davide Restivo at 8/20/2016 09:09:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #13

buskers-bern-2016 #13
Posted by Davide Restivo at 8/20/2016 09:09:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #12

buskers-bern-2016 #12
Posted by Davide Restivo at 8/20/2016 09:09:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #11

buskers-bern-2016 #11
Posted by Davide Restivo at 8/20/2016 09:09:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #10

buskers-bern-2016 #10
Posted by Davide Restivo at 8/20/2016 09:08:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #9

buskers-bern-2016 #9
Posted by Davide Restivo at 8/20/2016 09:08:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #8

buskers-bern-2016 #8
Posted by Davide Restivo at 8/20/2016 09:08:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #7

buskers-bern-2016 #7
Posted by Davide Restivo at 8/20/2016 09:07:00 PM 0 comments
Links to this post
Labels:
Reactions: 

buskers-bern-2016 #6

buskers-bern-2016 #6
Posted by Davide Restivo at 8/20/2016 09:07:00 PM 0 comments
Links to this post
Labels:
Reactions: 
Subscribe to: Posts (Atom)