VictorTaelin

// THOUGHTS
//
// Consider FP: ∃f ∀a ∀b (f (mul a b) b) == b
//
// FP can be proven with a pair:
//
// - F: (a b: Nat) -> Nat
// - P: (a b: Nat) -> (F (mul a b) b) == b
//
// In the proof P, we pattern-match on 'a' and 'b'. Note that EVERY equality can

zaghadon

function ruler() {
  const ruler = document.createElement("div");

  ruler.style.cssText = `
position: absolute;
top: ${window.scrollY + window.innerHeight/2 - 20}px;
left: ${window.scrollX + window.innerWidth/2 - 20}px;
width: 40px;
height: 40px;
background: #ff00006e;

sibelius

RFC Architecture + Database Schema modeling Challenge

• How would you design Credit on top of Pix?

deliverables: markdown + excalidraw (your RFC proposal)

check this https://developers.celcoin.com.br/docs/plataforma-de-cr%C3%A9dito

Read this to understand https://blog.pragmaticengineer.com/scaling-engineering-teams-via-writing-things-down-rfcs/

asis

function ruler() {
  const ruler = document.createElement("div");

  ruler.style.cssText = `
position: absolute;
top: ${window.scrollY + window.innerHeight/2 - 20}px;
left: ${window.scrollX + window.innerWidth/2 - 20}px;
width: 40px;
height: 40px;
background: #ff00006e;

fiee

CREATE TABLE adressen.land
(
	isocode_2 character(2) not null, -- ISO 3166 ALPHA-2
	isocode_3 character(3) not null, -- ISO 3166 ALPHA-3
	name character varying not null, -- deutscher Name des Landes (international besser via ISO-Code ankoppeln!) // German name of the country
	vorwahl integer default null, -- internationale Vorwahl // international phone code
	null_bei_vorwahl boolean default FALSE, -- muss man die Null der Ortsvorwahl auch nach der internationalen Vorwahl wählen? // must one dial zero between international and local phone code?
	vorwahl_lokal boolean default FALSE, -- muss man vor Ort die Vorwahl wählen? // must one dial the local phone code also locally?
	tld character varying default NULL, -- Top Level Domain
	kfz character varying default NULL, -- KFZ-Kennzeichen // car code