Skip to content

Instantly share code, notes, and snippets.

View Camilotk's full-sized avatar

Camilo Cunha de Azevedo Camilotk

594 followers · 471 following
View GitHub Profile
@Camilotk
Camilotk / using-uuid-as-pk.md
Created October 31, 2023 16:39 — forked from rponte/using-uuid-as-pk.md
Não use UUID como PK nas tabelas do seu banco de dados

Pretende usar UUID como PK em vez de Int/BigInt no seu banco de dados? Pense novamente...

TL;TD

Não use UUID como PK nas tabelas do seu banco de dados.

Um pouco mais de detalhes

@Camilotk
Camilotk / from-scratch-boolean.js
Created October 6, 2023 12:33 — forked from RodrigoDornelles/from-scratch-boolean.js
from scratch boolean logic recreation based on the pure functional paradigm and lambda calculus.
const TRUE = (p) => (q) => (p)
const FALSE = (p) => (q) => (q)
const OR = (p) => (q) => p(p)(q)
const NOT = (p) => (p)(FALSE)(TRUE)
const AND = (p) => (q) => (p)(q)(FALSE)
const PROG = (func) => FALSE(func())(PROG)
const PRINT = (text) => () => TRUE(console.log(text))
const IF = (cond) => (execute) => (nonexecute) => (cond(execute)(nonexecute))()
PROG
@Camilotk
Camilotk / ElixirLinkedList.ex
Created March 22, 2023 21:58 — forked from aaruel/ElixirLinkedList.ex
Elixir Linked List Implementation
defmodule LinkedList do
defstruct data: 0,
next: nil,
index: 0
def new(data \\ 0, index \\ 0) do
%__MODULE__{data: data, index: index}
end
def push(
@Camilotk
Camilotk / slides-hy.md
Last active March 10, 2023 18:31

Legenda de Títulos:

Slide {número do slide}

Título do Slide

Exemplo de código no slide

Slide 0

@Camilotk
Camilotk / init.el
Last active February 20, 2023 21:42
;;;
;; pt-br: Repositorios / en: Repositories
;;;
;; Define and initialise package repositories
(require 'package)
(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t)
(package-initialize)
@Camilotk
Camilotk / emacs-learning.md
Last active February 17, 2023 21:44
  • C = Control CTRL
  • M = Alt esquerdo

Comandos

comando o que faz
C-k deleta a linha

Comandos

@Camilotk
Camilotk / using-details-summary-github.md
Created November 21, 2022 18:33 — forked from scmx/using-details-summary-github.md
Using <details> <summary> expandable content on GitHub with Markdown #details #summary #markdown #gfm #html

How to use <details> <summary> expandable content on GitHub with Markdown

Firstly, what is <details> <summary>?

The HTML Details Element (<details>) creates a disclosure widget in which information is visible only when the widget is toggled into an "open" state. A summary or label can be provided using the <summary> element. https://developer.mozilla.org/en-US/docs/Web/HTML/Element/details.

Example

@Camilotk
Camilotk / atividade1.sql
Created October 13, 2022 03:07
# Questão 1
SELECT *
FROM (SELECT nome_cantor, count(*) as num_gravacoes
FROM gravacao
INNER JOIN cantor c on gravacao.cod_cantor = c.cod_cantor
GROUP BY nome_cantor) q1
WHERE num_gravacoes = (SELECT min(gravacoes) FROM (SELECT nome_cantor, count(*) as gravacoes
FROM gravacao
INNER JOIN cantor c on gravacao.cod_cantor = c.cod_cantor
GROUP BY nome_cantor) q2);
@Camilotk
Camilotk / README.md
Created September 13, 2022 20:28 — forked from natalie-o-perret/README.md
Resources for F# Onboarding
@Camilotk
Camilotk / gadt_using.ts
Created July 26, 2022 01:32 — forked from EduardoRFS/gadt_using.ts
type Eq<A, B> = <X>(a: A, eq: (x: A & B) => X) => X;
const refute = (x: never) => x;
const refl = <A, X>(a: A, eq: (x: A) => X) => eq(a);
const sickos = <A>(x: A, eq: Eq<A, number>) => eq(x, (x) => x);
const two = sickos(2, refl);
type Ty<A> =
| { tag: "number"; eq: Eq<A, number> }
| { tag: "string"; eq: Eq<A, string> };