Skip to content

Instantly share code, notes, and snippets.

View gastonprieto's full-sized avatar

Gaston Prieto gastonprieto

View GitHub Profile
@gastonprieto
gastonprieto / github-coverage-report.sh
Created May 7, 2017 17:37
github-coverage-report.sh
#!/bin/bash
if [ "$TRAVIS_BRANCH" == "master" ]; then
echo -e "Publishing coverage..."
cd $HOME
git config --global user.email "travis@travis-ci.org"
git config --global user.name "travis-ci"
git clone --quiet --branch=gh-pages https://${GH_TOKEN}@github.com/$TRAVIS_REPO_SLUG gh-pages > /dev/null
#!/bin/bash
APPS=$HOME/apps
mkdir -p $APPS
sudo pacman --noconfirm -S yaourt
yaourt --noconfirm -S packer
sudo pacman --noconfirm -S wget
@gastonprieto
gastonprieto / neomascotas.pl
Last active September 2, 2016 22:42
neomascotas.pl
usuario(Usuario):-perfil(Usuario, _, _).
% 1.a
mascota(john, draik(amarillo, 100, [volar(720)], [peluca, pantalon, remera]).
% 1.b
% No hace falta definir lo que no tengo, por principio de universo cerrado va a dar falso.
% 1.c
amigo(peter, kayla). %% Puede ser bidireccional si quieren
amigo(kayla, joe). %% Puede ser bidireccional si quieren
@gastonprieto
gastonprieto / gestion_incidentes.java
Last active June 2, 2016 13:01
gestion_incidentes_ugly
public class Incidente {
private String tag;
private String sector;
}
public class PersonaViolenta extends Incidente {
private Persona persona;
private String sector;
}
@gastonprieto
gastonprieto / funcional_little_hero_6.hs
Last active May 21, 2019 14:11
Resolución Little Hero 6
-- (ataque, defensa, agallas, agresividad)
type Caracteristica = (Int, Int, Int, Int)
-- (TemaQueSabe, Area)
type Conocimiento = (String, String)
-- nombre vida caracteristicas conocimientos equipamientos
data Personaje = Personaje String Int Caracteristica [Conocimiento] [(Personaje -> Personaje)]
@gastonprieto
gastonprieto / gist:11c9e7dee0320b913f52
Last active August 29, 2015 14:21
parcial_fun_candidatos
nombre (n,_,_,_) = n
-- Punto 1
-- 1.a
facha edad sexAppeal = (40 - edad) + sexAppeal * 3
-- 1.b
liderazgo edad _ = edad * 10
/*
* EjerArchivo.c
*
* Created on: 21/08/2014
* Author: utnso
*/
//Archivo entrada:Región; Nombre y Apellido; Edad; Número Telefónico; DNI; Saldo
//Archivo salida:Región | Edad | DNI | Nombre y Apellido (30 chars máximo) | Número telefónico
//\n
public bool FormLleno
{
get
{
var ret = true;
if (!HayErrores.GetValueOrDefault(false) && TipoMovimientoSeleccionado != null)
{
// No tiene errores y hay tipo de movimiento seleccionado.
@gastonprieto
gastonprieto / type_test.java
Created April 7, 2014 23:03
type_test.java
/**
* chequea que el usuario tenga el permiso para modificar el tipo
* de movimiento indicado
*/
private void authModificacionPorTM(final Movimiento aj) {
if (COBRANZA_APERTURA.esTipoDe(aj)) {
authz(MODIFICACION_APERTURA_COBRANZA);
} else if (COBRANZA_IMPUTACION.esTipoDe(aj)) {
authz(MODIFICACION_CAMBIO_IMPUT_COBRANZA);
char* primerStringQueEmpiezaCon(t_list* strings, char* prefijo) {
bool empiezaCon(char* unaPalabra) {
return string_startWith(unaPalabra, prefijo);
}
return list_find(strings, empiezaCon); // le paso un puntero a función que representa un criterio
}