Ivaylo Bratoev ibratoev
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Great way to check disk usage! | |
| du -ahd2 | gsort -h |
ibratoev
/ gist:3cccf1c4ea4634cde624
Created
June 17, 2015 19:33
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "definitions": { | |
| "User": { | |
| "properties": { | |
| "email": { | |
| "description": "email for user", | |
| "type": "string" | |
| }, | |
| "name": { | |
| "description": "name for user", |
ibratoev
/ gist:ea66aa3ea2d4d49f0894
Last active
August 29, 2015 14:21
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| len_NM(L, N, M):- len_NM(L, 0, N, M). | |
| lenght([],0). | |
| lenght([_|T],R):- lenght(T, R1),R is R1+1. | |
| len_NM([], X, N, _):- X >= N. | |
| len_NM([A|L], X, N, M):- | |
| lenght(A, AL), | |
| AL >= M, |
NewerOlder