Skip to content

Instantly share code, notes, and snippets.

View josejuan's full-sized avatar

josejuan josejuan

21 followers · 0 following
View GitHub Profile
@josejuan
josejuan / chino.html
Last active June 5, 2021 15:06
<!DOCTYPE html><html><head><meta charset="utf-8">
<!-- obtener alguna fuente @font-face ... en este caso "Noto Sans SC" -->
<link href="https://fonts.googleapis.com/css?family=Noto+Sans+SC&display=swap" rel="stylesheet">
<style>
/* donde sea usar esta fuente (puede añadirse a la lista de font-families del root) */
.chino {
font-family: "Noto Sans SC";
@josejuan
josejuan / descargar-borme
Last active October 4, 2020 11:53
Info de descarga en:
https://www.boe.es/datosabiertos/
Para bajar todo desde enero de 2009 por ejemplo:
for y in `seq 2009 2020`
do
for m in 01 02 03 04 05 06 07 08 09 10 11 12
do
@josejuan
josejuan / clasificar.keras.py
Created September 13, 2020 18:13
# Si las relaciones son contínuas (ej. pueden ser expresadas por una función real),
# una ANN puede aproximarla de forma precisa:
#
# https://en.wikipedia.org/wiki/Universal_approximation_theorem
# Install
# $ python --version
# Python 3.8.5
# $ pip --version
# pip 20.1.1 from /usr/lib/python3.8/site-packages/pip (python 3.8)
@josejuan
josejuan / hide.user
Last active September 6, 2020 18:08
// la consola javascript suele abrirse con F12, copiar, pegar, ENTER:
[].slice.call(document.querySelectorAll("li.comment"))
.filter(x => x.querySelector("b.fn").innerText == "David B")
.forEach(x => x.style.display = 'none')
// Antonio (AKA "Un físico")
[].slice.call(document.querySelectorAll("li.comment"))
.filter(x => x.querySelector("b.fn").innerText == 'Antonio (AKA "Un físico")')
.forEach(x => x.style.display = 'none')
@josejuan
josejuan / generic-fold.hs
Created November 9, 2019 17:23
class ToFrom f where
to :: List2 a -> f a
from :: f a -> List2 a
instance ToFrom Maybe where
to End = Nothing
to (Elem x _) = Just x
from Nothing = End
from (Just x) = Elem x End
@josejuan
josejuan / faldable-testing.hs
Created November 9, 2019 16:18
import Test.QuickCheck
import Algorithm.Search
...
-- conversion util
to :: List2 a -> [a]
to End = []
to (Elem x xs) = x: to xs
@josejuan
josejuan / either_observable_construction.java
Last active November 29, 2018 21:51
package com.foo;
import com.htravel.fp.Either;
import io.reactivex.Observable;
import static com.htravel.fp.Either.left;
import static com.htravel.fp.Either.right;
public class Bar {
@josejuan
josejuan / gist:7b32918abb08ac0d51418c742a324950
Created July 10, 2018 19:34
private static NodeList<Statement> reduceDoExpression(final NodeList<Statement> xs) {
final NodeList<Statement> rs = new NodeList<>();
int i = 0;
while (i < xs.size()) {
final Statement s = xs.get(i);
if (s.isExpressionStmt()) {
final Expression e = s.asExpressionStmt().getExpression();
if (e.isVariableDeclarationExpr()) {
final VariableDeclarationExpr vde = e.asVariableDeclarationExpr();
if (vde.getVariables().size() == 1) {
@josejuan
josejuan / observar.java
Created June 29, 2018 13:47
package foo.bar;
import static com.htravel.fp.Parsers.maybeInt;
import static java.util.stream.Collectors.toList;
import com.htravel.fp.Either;
import java.util.stream.IntStream;
import rx.Observable;
public class Observar {
@josejuan
josejuan / java either validation
Last active April 30, 2018 14:51
package man;
import static com.xxx.fp.Either.left;
import static com.xxx.fp.Either.right;
import static java.lang.String.format;
import com.xxx.fp.Either;
import java.util.function.Function;
public class Main {