rwietter
(opens in a new tab) (opens in a new tab)
  • About Me
  • Contact Me
  • About
    • Insights
    • TYA
    • Quotes
    • Principles
    • References
    • Twitter Links
  • Dev
    • Projects
      • Projects
      • Twitter Links
    • Enginer
      • Metodologia
      • Viabilidade
      • Requisitos
      • Processos
      • Habilidades
      • Métricas
        • Change Failure Rate
        • Complexidade Ciclomática
        • Continuous Profiling
        • Deploy Frequency
        • Development Lead Time
        • Dívida Técnica
        • Mean Time to Recovery
      • Leis
        • Lehmans Law
      • CI/CD
        • CD
        • CI
        • Continuous Deployment
      • Licenças
        • Licenses
        • Public Domain
      • UML
        • Usecases
    • Architecture
      • CA
        • Clean
      • BFF
        • 1.bff
      • DDD
        • Index
      • HEX
        • Index
      • MVC
        • Mvc
      • Architecture
      • Multitenancy
        • Multitenancy
      • microservices
        • Microservices
      • react-domain
        • React Domain
    • Backend
      • Backend
      • auth
        • passwordless-auth
          • Magic Links
      • cloud
        • Deta
        • Fly
        • Netlify
        • Okteto
        • Qoddi
        • Railway
        • Render
        • Replit
        • Vercel
      • database
        • Cache
        • Indexes
        • SQL
        • WAL
      • docker
        • Docker
      • frameworks
        • adonis
          • Adonis
        • nestjs
          • Nestjs
    • Frontend
      • Accessiblity
        • Acessibilidade
      • CSS
        • Effects
          • Vercel Text
          • Shadow Hover
        • Fonts
        • BEM
        • Namespaces
        • Tools
        • Content Visibility
        • Font Metrics
        • Overscroll Behavior
        • Scroll Snap
        • Scrollbar Gutter
      • UI
        • Colors
        • Styles Guide
      • React
      • Vue
        • Vue
      • Vite
        • Vite
      • Lighthouse
        • LCP
      • Feature Flags
      • frameworks
        • react
          • Lazy Loading
          • React
        • templates
          • blitz
            • Blitz
          • nx
            • Nx
          • t3-stack
            • T3 Stack
      • promise-timeout
        • Promise Timeout
    • DevOps
      • CD
      • CI
      • cloud
        • AWS
        • Edge
      • docker
        • Compose
        • Docker
        • Docker CLI
    • Paradigms
      • OO
        • Herança
        • Object Oriented
      • functional
        • Algebra
    • Patterns
      • Abstract Factory
    • Tests
      • Testes
    • Jobs
      • Curriculum
      • skills
        • Leadership
        • Management
        • Skills
    • cryptography
      • Bcrypt
  • English
    • English
    • Girias
    • Phrasal Verbs
    • Slang
  • Science
    • History
      • Ada Lovelace
      • Alanperlis
      • Algoritmo
      • Augustus De Morgan
      • Bjarne Stroustrup
      • Brian Kernighan
      • Charles Babbage
      • Claude Shannon
      • Dennis Ritchie
      • Donald Knuth
      • Doug McIlroy
      • George Boole
      • Grace Hopper
      • Guido van Rossum
      • James Gosling
      • Joan Clarke
      • Johnbackus
      • Ken Thompson
      • Linus Torvalds
      • Margaret Hamilton
      • Mary Keller
      • Richard Stallman
      • Rob Pike
      • Tim Berners-Lee
      • Turing
    • Concepts
      • B2B
      • C. Explosion
      • Computabilidade
      • Conceitos
      • Endianness
      • F. Cohesion
      • Float-point
      • Nó Trivial
      • NP-completo
      • Polinomial
      • 0.principles
        • DAMP
        • Dry
        • Kiss
        • Return Early
        • Yagny
      • 1.low-level
        • BNF
    • Formal Systems
      • Automata Theory
        • Theory
      • Category Theory
        • Readme
      • Lambda Calculus
        • Readme
      • Linear Algebra
      • Type Theory
        • Readme
      • Coq
        • Readme
    • Compilers
      • Aot
      • Compilers
      • Crafting Compilers
      • Crafting Interpreters
      • Elf
      • Jit
    • Computing Models
      • P2p
      • Serverless Computing
    • Operational Systems
    • ISO
      • Iec 9126
      • Iec 12207
      • Iec 15288
      • Iec 15504
      • Iec 20000
      • Iec 25000
      • Iec 27001
      • Iec 29110
      • Iec 38500
      • Iec 42010
      • ISO 8601
    • Learning
    • Metas
    • Projects
    • DevDocs
    • DevTools
    • Science
    • Blogs
    • Dev Dictionary
  • Languages
    • Rust
      • Introduction
      • Memory
      • Syntax
    • TypeScript
      • Generics
        • OnlyOrAnother
      • TypeScript
      • Constraints
      • Basic
      • tsc
      • Narrowing
      • Functions
      • Object Types
      • Type Manipulation
      • Falsy/Truthy
      • Mapped Types
      • Objecttypes
      • Template Literal Types
    • Shell
      • Shellscript
    • Go
      • PHP
        • PHP
      • Java
        • Java
    • Algorithms
      • Big-O
        • O-Notation
          • O(1)
          • O(2^n)
          • O(n)
          • O(n^2)
          • O(n+k)
          • O(nk)
        • Big O
      • Links
      • Graphs
      • binary-tree
        • Binary Tree
      • graph
        • Graph
      • sort
        • Sort
      • space-complexity
        • Space Complexity
    • SOs
      • SO
      • Estrutura do SO
      • Sistema Operacional
        • Concorrencia
        • Consideracoes
        • Escalonamento Cpu
        • Estrutura So
        • Processos
        • Threads
        • tarefas
          • Exercícios
          • Lista 3
          • Lista 4
      • Processos
        • Process
      • Threads
        • Threads
      • Unix
        • Unix
      • Linux
        • Linux
        • Commands
        • Boot
        • Arch Linux
          • 1.archlinux
          • 2.commands
        • Git
          • GitHub Ssh
        • Strings
          • Awk
          • Regex
          • Sed
          • Tee
          • Tr
    • Git
      • Branch
      • Diff
      • For Each
      • Git Clean
      • Log
    • Networks
      • Rest
      • GraphQL
      • tRPC
      • gRPC
      • Axios
      • SWR
      • React Query
      • DNS
      • P2p
      • Telnet
    • Books
      • A Arte De Resolver Problemas Um Novo Aspecto Do Método Matemático
      • Books
      • Comece Pelo Mais Dificil
      • Motivação Moral Kant
      • Sicp
    • AI
      • deep-learning
        • llm
          • LLM
      • machine-learning
        • tipos
          • Attention Networks
          • Auto Encoder
          • Boltzmann Machine
          • Capsule Network
          • Convolutional Neural Network
          • Deconvolutional Networks
          • Deep Belief Network
          • Deep Convolutional Inverse Graphics Network
          • Deep Residual Network
          • Denoising Auto Encoder
          • Differentiable Neural Computers
          • Echo State Network
          • Extreme Learning Machine
          • Gated Recurrent Network
          • Generative Adversarial Network
          • Hopfield Network
          • Kohonen Network
          • Liquid State Machine
          • Long Short Term Memory
          • Markov Chain
          • Neural Turing Machine
          • Recurrent Neural Network
          • Redes Neurais
          • Restricted Boltzmann Machine
          • Sparse Auto Encoder
          • Variational Auto Encoder
      • prompt-engineer
        • Basic
        • techniques
          • Chain of Thought
          • Few Shot
          • Zero Shot
      • redes-neurais
        • linear e sequencial
          • FFN
          • Linear e Seq.
          • Perceptron
          • RBN
      • series-temporais
        • Séries Temporais
    • Math
      • 1.probability
        • Probability
    • Agile
      • Agile
    • Investments
      • FIIs
      • Investimentos
    • Design
    • Web3
      • Web3
    • Blockchain
      • Blockchain
      • 1.Cryptocurrency
        • Altcoins
        • Cryptocurrency
        • Tokenomics
        • 1.trading
          • Análise Técnica
          • Indicadores
      • 2.DAOs
        • DAOs
      • 3.DeFi
        • DeFi
      • 4.Market
        • Mercado
      • 5.Networks
        • Networks
        • 10.Tron
          • Tron Network
        • 2.Bitcoin
          • Bitcoin
        • 3.Ethereum
          • Ethereum
        • 4.Polkadot
          • Polkadot
        • 5.Solana
          • Solana
        • 6.Avalanche
          • Avalanche
        • 7.Binance Chain
          • Bep2
        • 8.Bep20
          • Bep20
        • 9.Fantom
          • Fantom
      • 6.NFTs
        • NFTs
      • 7.Smart Contracts
        • Smart Contracts
    • CNH
      • prática
        • Baliza
      • psicotécnico
        • Psicotécnico
      • teorica
        • Questões
        • 1.veículo
          • Carro
          • 1.mecânica
            • Alimentação
            • Direção
            • Motor
        • 2.legislação
          • CNH
          • CTB
          • Infrações de Trânsito
          • Lei seca
          • Luzes
          • Orgãos
          • PPD
          • Preferência Vs Prioridade
          • Sinalização Gestual Sonora
          • Sinalização Horizontal
          • Sinalização Vertical
          • Vias de Trânsito
    • Hardware
      • 1.cpu
        • Bound
    • About Me
    • Contact Me
    • About
      • Insights
      • TYA
      • Quotes
      • Principles
      • References
      • Twitter Links
    • Dev
      • Projects
        • Projects
        • Twitter Links
      • Enginer
        • Metodologia
        • Viabilidade
        • Requisitos
        • Processos
        • Habilidades
        • Métricas
          • Change Failure Rate
          • Complexidade Ciclomática
          • Continuous Profiling
          • Deploy Frequency
          • Development Lead Time
          • Dívida Técnica
          • Mean Time to Recovery
        • Leis
          • Lehmans Law
        • CI/CD
          • CD
          • CI
          • Continuous Deployment
        • Licenças
          • Licenses
          • Public Domain
        • UML
          • Usecases
      • Architecture
        • CA
          • Clean
        • BFF
          • 1.bff
        • DDD
          • Index
        • HEX
          • Index
        • MVC
          • Mvc
        • Architecture
        • Multitenancy
          • Multitenancy
        • microservices
          • Microservices
        • react-domain
          • React Domain
      • Backend
        • Backend
        • auth
          • passwordless-auth
            • Magic Links
        • cloud
          • Deta
          • Fly
          • Netlify
          • Okteto
          • Qoddi
          • Railway
          • Render
          • Replit
          • Vercel
        • database
          • Cache
          • Indexes
          • SQL
          • WAL
        • docker
          • Docker
        • frameworks
          • adonis
            • Adonis
          • nestjs
            • Nestjs
      • Frontend
        • Accessiblity
          • Acessibilidade
        • CSS
          • Effects
            • Vercel Text
            • Shadow Hover
          • Fonts
          • BEM
          • Namespaces
          • Tools
          • Content Visibility
          • Font Metrics
          • Overscroll Behavior
          • Scroll Snap
          • Scrollbar Gutter
        • UI
          • Colors
          • Styles Guide
        • React
        • Vue
          • Vue
        • Vite
          • Vite
        • Lighthouse
          • LCP
        • Feature Flags
        • frameworks
          • react
            • Lazy Loading
            • React
          • templates
            • blitz
              • Blitz
            • nx
              • Nx
            • t3-stack
              • T3 Stack
        • promise-timeout
          • Promise Timeout
      • DevOps
        • CD
        • CI
        • cloud
          • AWS
          • Edge
        • docker
          • Compose
          • Docker
          • Docker CLI
      • Paradigms
        • OO
          • Herança
          • Object Oriented
        • functional
          • Algebra
      • Patterns
        • Abstract Factory
      • Tests
        • Testes
      • Jobs
        • Curriculum
        • skills
          • Leadership
          • Management
          • Skills
      • cryptography
        • Bcrypt
    • English
      • English
      • Girias
      • Phrasal Verbs
      • Slang
    • Science
      • History
        • Ada Lovelace
        • Alanperlis
        • Algoritmo
        • Augustus De Morgan
        • Bjarne Stroustrup
        • Brian Kernighan
        • Charles Babbage
        • Claude Shannon
        • Dennis Ritchie
        • Donald Knuth
        • Doug McIlroy
        • George Boole
        • Grace Hopper
        • Guido van Rossum
        • James Gosling
        • Joan Clarke
        • Johnbackus
        • Ken Thompson
        • Linus Torvalds
        • Margaret Hamilton
        • Mary Keller
        • Richard Stallman
        • Rob Pike
        • Tim Berners-Lee
        • Turing
      • Concepts
        • B2B
        • C. Explosion
        • Computabilidade
        • Conceitos
        • Endianness
        • F. Cohesion
        • Float-point
        • Nó Trivial
        • NP-completo
        • Polinomial
        • 0.principles
          • DAMP
          • Dry
          • Kiss
          • Return Early
          • Yagny
        • 1.low-level
          • BNF
      • Formal Systems
        • Automata Theory
          • Theory
        • Category Theory
          • Readme
        • Lambda Calculus
          • Readme
        • Linear Algebra
        • Type Theory
          • Readme
        • Coq
          • Readme
      • Compilers
        • Aot
        • Compilers
        • Crafting Compilers
        • Crafting Interpreters
        • Elf
        • Jit
      • Computing Models
        • P2p
        • Serverless Computing
      • Operational Systems
      • ISO
        • Iec 9126
        • Iec 12207
        • Iec 15288
        • Iec 15504
        • Iec 20000
        • Iec 25000
        • Iec 27001
        • Iec 29110
        • Iec 38500
        • Iec 42010
        • ISO 8601
      • Learning
      • Metas
      • Projects
      • DevDocs
      • DevTools
      • Science
      • Blogs
      • Dev Dictionary
    • Languages
      • Rust
        • Introduction
        • Memory
        • Syntax
      • TypeScript
        • Generics
          • OnlyOrAnother
        • TypeScript
        • Constraints
        • Basic
        • tsc
        • Narrowing
        • Functions
        • Object Types
        • Type Manipulation
        • Falsy/Truthy
        • Mapped Types
        • Objecttypes
        • Template Literal Types
      • Shell
        • Shellscript
      • Go
        • PHP
          • PHP
        • Java
          • Java
      • Algorithms
        • Big-O
          • O-Notation
            • O(1)
            • O(2^n)
            • O(n)
            • O(n^2)
            • O(n+k)
            • O(nk)
          • Big O
        • Links
        • Graphs
        • binary-tree
          • Binary Tree
        • graph
          • Graph
        • sort
          • Sort
        • space-complexity
          • Space Complexity
      • SOs
        • SO
        • Estrutura do SO
        • Sistema Operacional
          • Concorrencia
          • Consideracoes
          • Escalonamento Cpu
          • Estrutura So
          • Processos
          • Threads
          • tarefas
            • Exercícios
            • Lista 3
            • Lista 4
        • Processos
          • Process
        • Threads
          • Threads
        • Unix
          • Unix
        • Linux
          • Linux
          • Commands
          • Boot
          • Arch Linux
            • 1.archlinux
            • 2.commands
          • Git
            • GitHub Ssh
          • Strings
            • Awk
            • Regex
            • Sed
            • Tee
            • Tr
      • Git
        • Branch
        • Diff
        • For Each
        • Git Clean
        • Log
      • Networks
        • Rest
        • GraphQL
        • tRPC
        • gRPC
        • Axios
        • SWR
        • React Query
        • DNS
        • P2p
        • Telnet
      • Books
        • A Arte De Resolver Problemas Um Novo Aspecto Do Método Matemático
        • Books
        • Comece Pelo Mais Dificil
        • Motivação Moral Kant
        • Sicp
      • AI
        • deep-learning
          • llm
            • LLM
        • machine-learning
          • tipos
            • Attention Networks
            • Auto Encoder
            • Boltzmann Machine
            • Capsule Network
            • Convolutional Neural Network
            • Deconvolutional Networks
            • Deep Belief Network
            • Deep Convolutional Inverse Graphics Network
            • Deep Residual Network
            • Denoising Auto Encoder
            • Differentiable Neural Computers
            • Echo State Network
            • Extreme Learning Machine
            • Gated Recurrent Network
            • Generative Adversarial Network
            • Hopfield Network
            • Kohonen Network
            • Liquid State Machine
            • Long Short Term Memory
            • Markov Chain
            • Neural Turing Machine
            • Recurrent Neural Network
            • Redes Neurais
            • Restricted Boltzmann Machine
            • Sparse Auto Encoder
            • Variational Auto Encoder
        • prompt-engineer
          • Basic
          • techniques
            • Chain of Thought
            • Few Shot
            • Zero Shot
        • redes-neurais
          • linear e sequencial
            • FFN
            • Linear e Seq.
            • Perceptron
            • RBN
        • series-temporais
          • Séries Temporais
      • Math
        • 1.probability
          • Probability
      • Agile
        • Agile
      • Investments
        • FIIs
        • Investimentos
      • Design
      • Web3
        • Web3
      • Blockchain
        • Blockchain
        • 1.Cryptocurrency
          • Altcoins
          • Cryptocurrency
          • Tokenomics
          • 1.trading
            • Análise Técnica
            • Indicadores
        • 2.DAOs
          • DAOs
        • 3.DeFi
          • DeFi
        • 4.Market
          • Mercado
        • 5.Networks
          • Networks
          • 10.Tron
            • Tron Network
          • 2.Bitcoin
            • Bitcoin
          • 3.Ethereum
            • Ethereum
          • 4.Polkadot
            • Polkadot
          • 5.Solana
            • Solana
          • 6.Avalanche
            • Avalanche
          • 7.Binance Chain
            • Bep2
          • 8.Bep20
            • Bep20
          • 9.Fantom
            • Fantom
        • 6.NFTs
          • NFTs
        • 7.Smart Contracts
          • Smart Contracts
      • CNH
        • prática
          • Baliza
        • psicotécnico
          • Psicotécnico
        • teorica
          • Questões
          • 1.veículo
            • Carro
            • 1.mecânica
              • Alimentação
              • Direção
              • Motor
          • 2.legislação
            • CNH
            • CTB
            • Infrações de Trânsito
            • Lei seca
            • Luzes
            • Orgãos
            • PPD
            • Preferência Vs Prioridade
            • Sinalização Gestual Sonora
            • Sinalização Horizontal
            • Sinalização Vertical
            • Vias de Trânsito
      • Hardware
        • 1.cpu
          • Bound
      Question? Give us feedback → (opens in a new tab)Edit this page
      Science
      Formal Systems
      Coq
      Readme
      • Automated Theorem Proving (opens in a new tab)
      • Automating Theorem Proving with SMT (opens in a new tab)
      ReadmeAot
      MIT 2024 © rwietter.