juanbono

add a string:
  fs.inotify.max_user_watches = 524288 
into:
  /etc/sysctl.conf.
and restart os or: 
  $ sudo sysctl -p
  

juanbono

% Borrar todo de la consola %
clc;
clear all;
close all;

fm = input('Frecuencia mensaje = ');
fc = input('Frecuencia funcion sierra = ');
A = input('Amplitud funcion sierra = ');
tmax = input('Tiempo = ');
t = 0:0.001:tmax; % Rango del tiempo - entre 0 y un tiempo maximo %

juanbono

-- The "Boolean" language from Types and Programming Languages, 3.5

-- Terms of the boolean language
data Term : Set where
  true false : Term
  if_then_else_ : Term → Term → Term → Term

-- A small-step semantics. Each constructor is a single reduction rule.
data _⟶_ : Term → Term → Set where
  e-IfTrue : ∀ {t₂ t₃} → if true then t₂ else t₃ ⟶ t₂

juanbono

class Monad m where
       return :: a -> m a
         join :: m (m a) -> m a

class Comonad m where
      extract :: a <- m a
    duplicate :: m (m a) <- m a

juanbono

General

http://blog.pluralsight.com/elixir-is-for-programmers #Idea assert, test http://www.q-lang.io/ #Definicion tipos como campos DB http://dlang.org/exception-safe.html #Alternativa try--except con scope http://floodyberry.com/noncryptohashzoo/ #Implementaciones de funcion HASH https://github.com/mikeash/MAObjCRuntime/blob/master/main.m #Mejor runtime obj-c, extendible https://github.com/jspahrsummers/libextobjc #Similar https://github.com/Midar/objfw/ #Implementacion de obj-c portable http://swtch.com/~rsc/regexp/regexp1.html #Mejor que regex http://swannodette.github.io/2013/07/12/communicating-sequential-processes/ #Fundamentos CSP

juanbono

Mail de Conor McBride en la lista de mails de haskell (creo)
----------------------------------------------------------------------------------------------------------------------------
Hi

I'm sorry about the level of consternation this discussion seems to be
generating, so let me attempt to clarify my previous remarks.

The diagonalization argument which shows that any total language
misses some total programs is the usual one: Godel-code everything in
sight, then make the alleged universal program eat a twisted copy of

juanbono

Specification

Out Of The Tarpit

BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud

Dedalus: Datalog in Time and Space

Logic and Lattices for Distributed Programming

juanbono

-- Ejemplos de expresiones lambda

sumar1 :: Num a => a -> a
sumar1 x = x + 1

sumar1ConLambda :: Num a => a -> a
sumar1ConLambda = \x -> x + 1

noUsoArgs :: a -> b -> c -> Integer
noUsoArgs = \x y z -> 2 -- (\x y z -> 2) Devuelve 2 para toda combinacion de parametros.

juanbono

#!/bin/bash

for i in *.mp4; do
    if [ ! -a "${i%.mp4}-fixed.mp4" ]; then
       ffmpeg -i "$i" -vcodec copy -ac 1 "${i%.mp4}-fixed.mp4"
    fi
done

juanbono

-- A port of: http://semantic-domain.blogspot.com/2015/03/abstract-binding-trees.html

{-# LANGUAGE DeriveFunctor #-}

module ABT where

import qualified Data.Foldable as Foldable
import Data.Foldable (Foldable)
import Data.Set (Set)
import qualified Data.Set as Set