Luiz-Monad

#!/bin/bash -e

USER_NAME=`whoami`
mkdir -p $HOME/.ssh

chown $USER_NAME:$USER_NAME $HOME/.ssh -R
KEYS=$HOME/.ssh/authorized_keys
echo "$NGROK_SSH_PUBKEY" | tee -a $KEYS
sort $KEYS | uniq > tmp && mv tmp $KEYS
chmod 600 $KEYS

Luiz-Monad

# Clear-Host
Import-Module Pester

# New-Item -ItemType Directory 'a/b' -Force -ErrorAction Ignore
# New-Item -ItemType Directory 'c' -Force -ErrorAction Ignore
# New-SmbShare -Name "Shared" -Path "./shared" -FullAccess "Everyone"

$ErrorActionPreference = 'Stop'
$PesterPreference = [PesterConfiguration]::Default
$PesterPreference.Output.StackTraceVerbosity = 'None'

Luiz-Monad

func DoWorkPooled[T any](items []T, poolSize int, task func(T) (*T, error)) ([]T, error) {
	if poolSize == 0 { // 0 means sequential
		output := []T{}
		for _, item := range items {
			if out, err := task(item); err != nil {
				return output, err
			} else {
				if out != nil {
					output = append(output, *out)

Luiz-Monad

namespace EventHorizon.Backend.Model

open System
open System.Data.Entity

open EventHorizon.Backend.Extension.DbContextModule
open EventHorizon.Backend.Extension.DbModelBuilderModule

module Config =

Luiz-Monad

https://arxiv.org/abs/1805.04908
https://mitpress.mit.edu/9780262544030/the-cortex-and-the-critical-point/
https://www.nih.gov/news-events/news-releases/memory-gene-goes-viral
https://news.mit.edu/2021/neurons-humans-mammals-1110
https://www.biorxiv.org/content/10.1101/2021.05.29.446289v4
https://journals.aps.org/pre/abstract/10.1103/PhysRevE.105.014401
https://www.sciencedirect.com/science/article/pii/S0896627321005018
https://www.biorxiv.org/content/10.1101/613141v1
https://www.nature.com/articles/s41467-022-29384-4
https://arxiv.org/pdf/1704.05018.pdf

Luiz-Monad

<div class="flex flex-col items-center text-sm dark:bg-gray-800"><div class="group w-full text-gray-800 dark:text-gray-100 border-b border-black/10 dark:border-gray-900/50 dark:bg-gray-800"><div class="text-base gap-4 md:gap-6 md:max-w-2xl lg:max-w-xl xl:max-w-3xl p-4 md:py-6 flex lg:px-0 m-auto"><div class="w-[30px] flex flex-col relative items-end"><div class="relative flex"><span style="box-sizing: border-box; display: inline-block; overflow: hidden; width: initial; height: initial; background: none; opacity: 1; border: 0px none; margin: 0px; padding: 0px; position: relative; max-width: 100%;"><span style="box-sizing: border-box; display: block; width: initial; height: initial; background: none; opacity: 1; border: 0px none; margin: 0px; padding: 0px; max-width: 100%;"><img style="display: block; max-width: 100%; width: initial; height: initial; background: none; opacity: 1; border: 0px none; margin: 0px; padding: 0px;" alt="" aria-hidden="true" src="data:image/svg+xml,%3csvg%20xmlns=%27http://www.w3.org/2

Luiz-Monad

https://gist.github.com/Luiz-Monad/c7a0a05077619b1b15cd

https://gist.github.com/Luiz-Monad/4303fc25c8f98feaf3f8fd07f24a9425

https://en.wikipedia.org/wiki/Functional_programming

https://en.wikipedia.org/wiki/LL_parser

Luiz-Monad

void Main()
{
  // LinqPad script that downloads all PDFs/etc from Bret Victors worry dream refs page.
	var targetPath = @"PATH_TO_WHERE_YOU_KEEP_YOUR_EBOOK\eBooks";
  
  //These filenames were extracted from http://worrydream.com/refs/ -- using NimbleText. 
  //(TODO: Use regex or html agility pack to find them programmatically)
	var refs = new string[] {
		"Hamming-TheArtOfDoingScienceAndEngineering.pdf",
		"Licklider-IntergalacticNetwork.pdf",

Luiz-Monad

Abstraction type system

Type system is a construction for guarantees safely in a language, though exist many other aplications like metaprogramming... It's means that i can writes a program but with a safe way, sure it's is perfect why it's solve many problems that programmers has after of compilation. The main idea that i can encode and represent a subset of solutions with a safe type system and better maybe the type can help me represent that.

Data representing

Ok it's mean i have a safe type system and i could represent my types of data..... Ok sure...., but no... limited type system have a weak power of abstraction(no i am not talking about c++ but yes a little part of the language).

The problem of "pair"

Let's go represent a pair: Pair is a tuple of the two values like (P x y), where x and y are values, in this discussion the values x and y can be encode a T type and a Tuple T type.

Luiz-Monad

Normal Raspbian startup sequence

/usr/bin/raspi-config is a shell script to change some of the following options. docs

1. /etc/inittab sets the default runlevel and runs /etc/init.d/rc to execute startup scripts.
2. /etc/rc3.d/S03lightdm launches lightdm for runlevel 3.
3. /etc/lightdm/lightdm.conf contains configuration options for lightdm, including autologin-user
4. /etc/X11/Xsession sources all files in /etc/X11/Xsession.d
5. /etc/X11/Xsession.d/50x11-common_determine-startup will set STARTUP to either ~/.xsession or ~/.Xsession if it exists. If not executable, it will prepend ${SHELL:-sh}. The default is STARTUP=/usr/bin/x-session-manager which is linked to /etc/alternatives/x-session-manager which is linked to /usr/bin/startlxde-pi
6. lxde is the "Lightweight X11 Desktop Environment"
7. `/usr/bin/startlxde