Sea f una fórmula la representación en lenguaje de proposiciones de una frase declarativa, y una (sigma)-interpretación la asignación de los valores verdad o falso a los átomos de f, una fórmula es satisfactible si una asignación de valores de los átomos de f hace cierta la interpretación.
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
import cats.effect.{ContextShift, IO, Timer} | |
import fs2.concurrent.SignallingRef | |
import fs2.Stream | |
import scala.concurrent.duration._ | |
import scala.concurrent.ExecutionContext.global | |
object ConcurrentlySnippet { | |
def enableSignal(signal: SignallingRef[IO, Boolean]): Stream[IO, Unit] = |
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
scala> def foo(x: Int, y: Double) = x * y | |
foo: (x: Int,y: Double)Double | |
scala> foo _ | |
res0: (Int, Double) => Double = <function2> | |
scala> foo _ tupled | |
res1: ((Int, Double)) => Double = <function1> | |
scala> foo _ curried |
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
[root@hbase scripts]# python yarn-utils.py -c 2 -m 16 -d 3 -k True | |
Using cores=2 memory=16GB disks=3 hbase=True | |
Profile: cores=2 memory=12288MB reserved=4GB usableMem=12GB disks=3 | |
Num Container=4 | |
Container Ram=3072MB | |
Used Ram=12GB | |
Unused Ram=4GB | |
yarn.scheduler.minimum-allocation-mb=3072 | |
yarn.scheduler.maximum-allocation-mb=12288 | |
yarn.nodemanager.resource.memory-mb=12288 |
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
#!/bin/sh | |
# -> Set your JDK (not really required, but I'm paranoid) <- | |
export JAVA_HOME=/etc/jdk1.8.0_45_x64 | |
# -> Set this variable's value to your spoon's path <- | |
SPOON_DIR=/home/oriollopez/Aplicaciones/spoon-data-integration | |
#DIR=`pwd` | |
#echo "Current directory [$DIR]" |
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
#include "lc_protocol.h" | |
/** | |
* Link Control Packet Definitions | |
*/ | |
#define LC_PCK_BROADCAST_REQUEST 0xFF | |
#define LC_PCK_NODE_RESPONSE 0x0F | |
#define LC_PCK_START_VRT 0xAE | |
#define LC_PCK_VRT_STARTED 0xAA | |
#define LC_PCK_DATA_REQUEST 0x13 |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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
CFLAGS=-g -O2 -Wall -Wextra -Isrc -rdynamic -DNDEBUG $(OPTFLAGS) | |
# These are the usual CFLAGS that you set in all of your projects, but with a few others | |
# that may be needed to build libraries. You may need to adjust these for different | |
# platforms. Notice the OPTFLAGS variable at the end which lets people augment the build | |
# options as needed. | |
LIBS=-ldl $(OPTLIBS) | |
# Options used when linking a library, and allows someone else to augment the linking | |
# options using the OPTLIBS variable. |
-- Computer Science funny thingies
What are common uses of Python decorators
-- Miscellaneous thingies
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
Show hidden characters
{ | |
"keys": ["ctrl+f7"], | |
"command": "repl_open", | |
"args": | |
{ | |
"type": "subprocess", | |
"encoding": | |
{ | |
"windows": "utf-8", | |
"linux": "utf-8", |
NewerOlder