This file contains 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
local IDLE_AT_STARTUP_MS = 5000; | |
local DELTA = 1000 | |
local current = 0 | |
local function printRimanente() | |
local rimanente = (IDLE_AT_STARTUP_MS - current) | |
print("Caricamento. Hai ancora " .. rimanente .. "ms per annullare modificando program.lua...") | |
end |
This file contains 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
/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/\ | |
LaunchServices.framework/Versions/A/Support/lsregister -kill -r -domain local\ | |
-domain system -domain user |
This file contains 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
Considerare il mondo dei blocchi a 4 operatori | |
vogliamo che generi uno stato in cui tutti i blocchi sono sul tavolo. | |
In un qualche istante. | |
Possiamo farlo come un'azione speciale che ha come precondizione che tutti | |
i blocchi siano sul tavolo. | |
Aggiungo al dominio l'azione: | |
( | |
:action all-on-table | |
:parameter (?t - table) |
This file contains 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
<?php | |
error_reporting(E_ALL); | |
class Matematica { | |
function quadrato($num) { | |
if (! is_numeric($num)) die(); | |
return $num * $num; | |
} |
This file contains 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
all: tesi | |
tesi: | |
pdflatex -shell-escape tesi.tex | |
clean: | |
rm -f tesi.aux tesi.idx tesi.log tesi.toc tesi.pdf tesi.out |
This file contains 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
ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEA3yFy7itt35k3oobo6wGrxbNMqTgkndEG6E+6QO0K9JXiyzNXCgau5HcKR9Jv4UauhyKzY5BBU9le3rs/o9IC8yxDsXoop4Sxafoeq4XODv1sdMEoRZ/CdggK+pTRFOjocS+hmhg0ijkEQrJjqzk/IhLsVaHH9PtbTBMZpp8RT8ZOlig+O13fB75yLZE18CMESyJ6PlAF1eqwQzVPlSuguKYxVc2pwXKen+5AmpciNSJgT4t7Nu9hEt+DWwEZh8BkzGwpNwhBKRcMK7S0DDREtSwdGS/vXVaGBi68iPVWMJn2YqMnVQXeM2xYIZ5wkW5cxNfamu4Y7vb8f6CS3dTvKQ== Chiave SSH da frasten@cthulhu |
This file contains 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
<html> | |
<head> | |
</head> | |
<body> | |
<div id="mario"></div> | |
<script type="text/javascript"> | |
// Questo da errore | |
mario = 1; |
This file contains 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
for i in {1..4}; do (COMANDO_DA_ESEGUIRE > output_$i &) ; done |
This file contains 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
svn diff --force --diff-cmd /usr/bin/diff -x "-au --binary" > patch.patch | |
# Per importarla: | |
patch -p0 < patch.patch |
This file contains 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
http://leandrovieira.com/projects/jquery/lightbox/ |
NewerOlder