Profile

Cover photo
Dario Bertini
Attended Syddansk Universitet (IMADA)
Lives in Leatherhead, United Kingdom
191 followers|304,037 views
AboutPostsPhotosYouTube

Stream

Dario Bertini

Shared publicly  - 
1
Add a comment...

Dario Bertini

Shared publicly  - 
1
Add a comment...

Dario Bertini

Shared publicly  - 
Recently stated by /u/gereeter > It seems to me that Eq instances should have the following laws: > Reflexivity: x == x should always be...
1
Add a comment...

Dario Bertini

Shared publicly  - 
 
WTF O_o
I received a DMCA takedown notice on github 
1
Dario Bertini's profile photoMarco De Paoli's profile photo
3 comments
 
oh, my..
Add a comment...

Dario Bertini

Shared publicly  - 
 
 
Dans 15 ans, #Ubuntu  aura pris la place de #Microsoft  d'après +Bill Gates ^^

#Ubuntuinthewild   #ubuntupartout  
 ·  Translate
View original post
1
Add a comment...

Dario Bertini

Shared publicly  - 
1
Add a comment...
Have him in circles
191 people
Mario Arrigoni Neri's profile photo
Evan Purkhiser's profile photo
Dario Ghilardi's profile photo
Giuseppe Tripodi's profile photo
Enrico Bacis's profile photo
Antonio Milesi's profile photo
Andrea Gardoni's profile photo
Andrea Mangiatordi's profile photo
Michele Pirovano's profile photo
 
./helloworld > /dev/full
or, with Python, for example
python3 -c "print('hello')" > /dev/full

Most languages fail to report the error (/dev/full simulates a full disk): Among the ones I tried, only:

- Haskell
- Rust
- Io.js (WAT‽‽)

Report the error

Python gets half mark: it prints a warning, but doesn't return an error code signaling an error

- Node.js
- Ruby
- OCaml
- Java and Clojure
- Golang

All silently swallow up any warning message
1
Dario Bertini's profile photo
 
errata corrige: today I tried the haskell hello world on my Nixos machine, and it wasn't working as expected... maybe there's a difference in buffering among the 2 ghc versions? :/
Add a comment...

Dario Bertini

Shared publicly  - 
 
What would Immanuel do?
 ·  Translate
1
Add a comment...

Dario Bertini

Shared publicly  - 
 
Yet another github 404.... GRRR

https://github.com/justcoin/snow

every self-respecting git fanboy should feel ashamed, if they keep relying on such a centralized service
1
Add a comment...

Dario Bertini

Shared publicly  - 
 
Things I never thought of, concerning language design (random things/links):

- effects systems are nice: http://nim-lang.org/effects.html
- but "we don't always work with the Church-free or Codensity monad of a free monad." (cue the Yoneda Lemma example!) http://www.reddit.com/r/haskell/comments/1j9n5y/extensible_effects_an_alternative_to_monad/
- it might actually be reasonable to have subtyping polymorphism after all http://forum.nimrod-lang.org/t/608#3334
- `"Which purity do you mean" is a very real question` (why Rust doesn't have an effects system) http://thread.gmane.org/gmane.comp.lang.rust.devel/3674/focus=3855
Module effects. Effect system. Exception tracking. Nim supports exception tracking. The raises pragma can be used to explicitly define which exceptions a proc/iterator/method/converter is allowed to raise. The compiler verifies this: proc p(what: bool) {.raises: [IOError, OSError].} ...
1
Add a comment...

Dario Bertini

Shared publicly  - 
3
Francesco Vigotti's profile photo
 
bella li! :):):) ti stai divertendo eh!
 ·  Translate
Add a comment...
People
Have him in circles
191 people
Mario Arrigoni Neri's profile photo
Evan Purkhiser's profile photo
Dario Ghilardi's profile photo
Giuseppe Tripodi's profile photo
Enrico Bacis's profile photo
Antonio Milesi's profile photo
Andrea Gardoni's profile photo
Andrea Mangiatordi's profile photo
Michele Pirovano's profile photo
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Leatherhead, United Kingdom
Previously
Bergamo, Italy - Odense, Denmark - Daly City, CA, United States
Education
  • Syddansk Universitet (IMADA)
  • Natta (Bergamo)
  • Mascheroni (Bergamo)
  • Unibg (ingegneria informatica)
Basic Information
Gender
Male
Looking for
Friends, Dating, A relationship, Networking
Relationship
Single