Luiz-Monad

type ElementType<A extends { [key: string]: A[keyof A] }> = A[string];

type DeepRequired<T> = T extends Object ? { [K in keyof T]-?: DeepRequired<T[K]> } : Required<NonNullable<T>>;

type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;

type FLeaf<T, N> = { leaf: T; name: N }
type FNode<T, N> = { node: T; name: N }

Luiz-Monad

FROM mcr.microsoft.com/dotnet/core/sdk:3.1.402-alpine3.12 as debugger-env

# Debugger
WORKDIR /dbg
COPY sdbg.sh .
COPY GetVsDbg.sh .
RUN ./GetVsDbg.sh -l . -v latest

# User SSH key
WORKDIR /root

Luiz-Monad

function extract($i, $o) {
    $i = [System.IO.File]::OpenRead($i)
    $o = [System.IO.File]::OpenWrite($o)
    $t = New-Object System.IO.Compression.DeflateStream($i, [System.IO.Compression.CompressionMode]::Decompress)
    $t.CopyTo($o)
    $t.Close()
    $o.Close()
    $i.Close()
}

Luiz-Monad

--------infosec yey
Penetration Testing Execution Standard
http://www.pentest-standard.org/index.php

ISIS Lab's Hack Night - An Intense Introduction to Offensive Security
https://github.com/isislab/Hack-Night/

FSU Offensive Computer Security

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

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

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

# 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

<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://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