Francisco Perez-Sorrosal francisco-perez-sorrosal

## streamlit_paged_df.py
import streamlit as st


class PagedDataframe:
    def __init__(self, key, df, page_entries=10):
        self.key = f"{key}_page"
        self.df = df
        self.page_entries = page_entries
        self.last_page = len(df) // page_entries
        if self.key not in st.session_state:

## nc_webserver.sh
#!/bin/bash

PORT=${1:-8000}
SERVING_DELAY_SECS=${2:-10}

command -v pv >/dev/null 2>&1 || { echo >&2 "pv requied but not installed. Exiting..."; exit 1; }

cat <<EOF > /tmp/index.html
<!doctype html>
<html>

## object_builder.py
class BaseClass(object): pass

class Hello(BaseClass):
    """Example naive class"""

    def __init__(self, arg1):
        self.arg1 = arg1

    def __repr__(self):
        return "arg1 {}".format(self.arg1)

## useful_programming_urls.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                francisco-perez-sorrosal
                / useful_programming_urls.md
            
            
              Created
              February 17, 2019 19:01
            
              
                Useful programming websites/urls
              
          
    https://explainshell.com/

  
## Makefile.rsync
# Local-Remote synchronization of directories/files
# NOTE: Deletions are NOT considered yet.

# Usage
# -----
# Local-remote sync:
# make -f Makefile.rsync lrsync SERVER=my_host PROJECT=project_name LOCAL_BASEDIR=/Users/my_name/dev REMOTE_BASEDIR=/home/my_name/dev
#
# Remote-local sync:
# make -f Makefile.rsync rlsync SERVER=my_host PROJECT=project_name LOCAL_BASEDIR=/Users/my_name/dev REMOTE_BASEDIR=/home/my_name/dev

## useful_commands.sh
# Generate dep graph in maven
mvn org.fusesource.mvnplugins:maven-graph-plugin:reactor -Dhide-external=true

## change_git_committer_data.sh
#!/bin/sh

git filter-branch --commit-filter '
  if [ "$GIT_COMMITTER_NAME" = "Francisco Perez-Sorrosal" ];
  then
    GIT_COMMITTER_NAME="Francisco Perez-Sorrosal";
    GIT_AUTHOR_NAME="Francisco Perez-Sorrosal";
    GIT_COMMITTER_EMAIL="fperezsorrosal@gmail.com";
    GIT_AUTHOR_EMAIL="fperezsorrosal@gmail.com";
    git commit-tree "$@";

## sort.sh
sort -nr -t$'\t' -k<column> <file> | column  -ts $'\t'

## MainDigester
import java.io.UnsupportedEncodingException;
import java.math.BigInteger;
import java.nio.charset.Charset;
import java.security.MessageDigest;
import java.security.NoSuchAlgorithmException;

public class MainDigester {

	public enum Digester {
		SHA512("SHA-512"),

## LinkedListLoopDetector.java
public static boolean containsLoop(LinkedListNode list) {
  LinkedListNode slowIterator = list, fastIterator = list;
  // If a loop exists in the list, both iterators will be going round
  // and round in the loop, and at some point, they will be equal
  while (slowIterator != null && fastIterator != null) {
    slowIterator = slowIterator.getNext();
    try {
      fastIterator = fastIterator.getNext().getNext();
    } catch (NullPointerException npe) {
      fastIterator = null;
	import streamlit as st


	class PagedDataframe:
	def __init__(self, key, df, page_entries=10):
	self.key = f"{key}_page"
	self.df = df
	self.page_entries = page_entries
	self.last_page = len(df) // page_entries
	if self.key not in st.session_state:
	#!/bin/bash

	PORT=${1:-8000}
	SERVING_DELAY_SECS=${2:-10}

	command -v pv >/dev/null 2>&1 \|\| { echo >&2 "pv requied but not installed. Exiting..."; exit 1; }

	cat <<EOF > /tmp/index.html
	<!doctype html>
	<html>
	class BaseClass(object): pass

	class Hello(BaseClass):
	"""Example naive class"""

	def __init__(self, arg1):
	self.arg1 = arg1

	def __repr__(self):
	return "arg1 {}".format(self.arg1)
	# Local-Remote synchronization of directories/files
	# NOTE: Deletions are NOT considered yet.

	# Usage
	# -----
	# Local-remote sync:
	# make -f Makefile.rsync lrsync SERVER=my_host PROJECT=project_name LOCAL_BASEDIR=/Users/my_name/dev REMOTE_BASEDIR=/home/my_name/dev
	#
	# Remote-local sync:
	# make -f Makefile.rsync rlsync SERVER=my_host PROJECT=project_name LOCAL_BASEDIR=/Users/my_name/dev REMOTE_BASEDIR=/home/my_name/dev
	# Generate dep graph in maven
	mvn org.fusesource.mvnplugins:maven-graph-plugin:reactor -Dhide-external=true
	#!/bin/sh

	git filter-branch --commit-filter '
	if [ "$GIT_COMMITTER_NAME" = "Francisco Perez-Sorrosal" ];
	then
	GIT_COMMITTER_NAME="Francisco Perez-Sorrosal";
	GIT_AUTHOR_NAME="Francisco Perez-Sorrosal";
	GIT_COMMITTER_EMAIL="fperezsorrosal@gmail.com";
	GIT_AUTHOR_EMAIL="fperezsorrosal@gmail.com";
	git commit-tree "$@";
	import java.io.UnsupportedEncodingException;
	import java.math.BigInteger;
	import java.nio.charset.Charset;
	import java.security.MessageDigest;
	import java.security.NoSuchAlgorithmException;

	public class MainDigester {

	public enum Digester {
	SHA512("SHA-512"),
	public static boolean containsLoop(LinkedListNode list) {
	LinkedListNode slowIterator = list, fastIterator = list;
	// If a loop exists in the list, both iterators will be going round
	// and round in the loop, and at some point, they will be equal
	while (slowIterator != null && fastIterator != null) {
	slowIterator = slowIterator.getNext();
	try {
	fastIterator = fastIterator.getNext().getNext();
	} catch (NullPointerException npe) {
	fastIterator = null;