Skip to content

Instantly share code, notes, and snippets.

View MirkoBonadei's full-sized avatar

Mirko Bonadei MirkoBonadei

80 followers · 45 following
View GitHub Profile
@MirkoBonadei
MirkoBonadei / katapotter.py
Created January 15, 2016 08:26
A solution to KataPotter problem with memoization (http://www.codingdojo.org/cgi-bin/index.pl?action=browse&id=KataPotter&revision=41)
import unittest
import copy
class Store(object):
def __init__(self):
self.cache = {"00000": 0,
"00001": 8,
"00011": 8*2*0.95,
"00111": 8*3*0.90,
@MirkoBonadei
MirkoBonadei / samples_strictly_pos_and_neg
Created August 9, 2015 09:02
Eris samples of the two new generators Generator\strictlyPos and Generator\strictlyNeg
Gen\strictlyPos with size 10
10
5
9
9
8
6
9
3
4
@MirkoBonadei
MirkoBonadei / samples_size_30
Created August 9, 2015 08:35
Eris samples of the main generators with size 30
Gen\int with size 30
14
-30
-1
13
20
17
14
-4
18
@MirkoBonadei
MirkoBonadei / samples_size_10
Last active August 29, 2015 14:27
Eris samples of the main generators with size 10
Gen\int with size 10
8
1
0
10
-3
-6
-8
-9
-3
@MirkoBonadei
MirkoBonadei / keybase.md
Created March 7, 2015 17:21

Keybase proof

I hereby claim:

  • I am mirkobonadei on github.
  • I am mirkobonadei (https://keybase.io/mirkobonadei) on keybase.
  • I have a public key whose fingerprint is 1339 BF92 83F9 00FC 2642 6CE8 9B66 90CF 1B07 8857

To claim this, I am signing this object:

@MirkoBonadei
MirkoBonadei / coffee_fsm.erl
Last active August 29, 2015 14:07
coffee machine tests with meck
-module(coffee_fsm).
-include_lib("eunit/include/eunit.hrl").
-behaviour(gen_fsm).
-export([start_link/0, init/1]).
-export([stop/0, terminate/3]).
-export([americano/0, cappuccino/0, tea/0, espresso/0, cup_removed/0, pay/1, cancel/0]).
-export([selection/2, payment/2, remove/2, handle_event/3, handle_info/3, code_change/4, handle_sync_event/4]).
%% State names macro
@MirkoBonadei
MirkoBonadei / DriverFactory
Created July 1, 2013 07:14
DriverFactory for PHP MongoDB Driver to manage the upgrade from version < 1.3.0 to version >= 1.3.0
<?php
class DriverFactory
{
private $server;
private $options;
public function __construct($server = 'localhost:27017', array $options = array())
{
$this->server = $server;
@MirkoBonadei
MirkoBonadei / Device.php
Last active December 15, 2015 10:19
builder-pattern-implemented
<?php
class Device
{
private $kind;
private $os;
public function __construct($kind, $os)
{
$this->kind = $kind;
@MirkoBonadei
MirkoBonadei / Device.php
Last active December 15, 2015 10:19
Device-class-before
<?php
class Device
{
private $userAgent;
private $kind;
private $os;
private $devicesDatabase;
public function __construct($userAgent, $devicesDatabase)
@MirkoBonadei
MirkoBonadei / gist:1257402
Created October 2, 2011 12:23
The Art of Prolog - Exercise 2.2.1 Pag. 38
% courses.pl
% The Art of Prolog - Exercise 2.2.1 (i - ii) pag. 39
% THIS VERSION IS INCOMPLETE!
course(laboratorio_di_linguaggi_di_programmazione, time(monday,9.30,11.30),lecturer(vizzarri),location(u6,10)).
course(linguaggi_e_computabilita,time(tuesday,8.30,11.30),lecturer(simone),location(u6,10)).
course(sistemi_operativi_e_reti,time(tuesday,11.30,13.30),lecturer(de_paoli),location(u6,10)).
course(sistemi_operativi_e_reti,time(wednesday,8.30,10.30),lecturer(de_paoli),location(u6,10)).
course(paradigmi_di_programmazione,time(wednesday,10.30,13.30),lecturer(pasi),location(u6,10)).
course(complementi_di_matematica,time(thursday,8.30,10.30),lecturer(de_michele),location(u6,10)).