Pedro

Gimme my Bi pride flag Unicode 🌈

[Pedro @aredesph]

@VictorTaelin se for sério me manda no pv que eu consigo alguém pra fazer esse tramite pra você

[Pedro @aredesph]

@VictorTaelin Sorry, here is the direct download link: https://t.co/riOVw1b0DC

Yours seem clean to me. Take a look at a version with size invariants encoded by opus

[Pedro @aredesph]

@VictorTaelin

[Pedro @aredesph]

@VictorTaelin No fancy things is a valid point, but pop/push is O(1) with Okazaki

[Pedro @aredesph]

@VictorTaelin but yeah, it has some downsides, especially the cons computing time

[Pedro @aredesph]

@VictorTaelin I asked that because cons lists are degenerated trees (spines). If you delta-reduce them to binary tries, indexing elements by bitnat, the balanced structure emerges from the index representation itself, parallelism becomes structural, and the user never sees anything but a list

[Pedro @aredesph]

@VictorTaelin yeah, it seems about right

[Pedro @aredesph]

@xsupyallx @DaronOxys @umqualquermcz @iFood pq o cara trabalha pro ifood, e o ifood orienta ele a se comunicar só pelo app

[Pedro @aredesph]

@coproduto não, esse https://t.co/rw0nehtsN9

[Pedro @aredesph]

@coproduto então, esse é o problema em aberto em session types

[Pedro @aredesph]

@coproduto no caso, definir concorrência em processos lineares é meio que um problema aberto que o pessoal do Par Language está trabalhando

[Pedro @aredesph]

@coproduto poder podem, mas elas interferem de forma não-trivial quando combinadas

[Pedro @aredesph]

@andreadjsp @robertayared @vini_vecchi pq dá mais trabalho do que fazer tudo padronizado

[Pedro @aredesph]

@VictorTaelin They describe cones, a categorical model for the denotational semantics of linear logic to model continuous data types

[Pedro @aredesph]

@VictorTaelin take a look at those
https://t.co/ytyOZ6Jpqe
https://t.co/dK8x8KtOYp

[Pedro @aredesph]

@mocofobira @oprimodev fala "a funny thang"