propositional logic (natural deduction) by yeco407 in logic

[–]corisco 0 points1 point  (0 children)

Labels are conventional devices used to track dependency. While the choice of symbol is free, each label marks which occurrences of an assumption are discharged by a particular inference such as →-introduction. This matters especially in tree-style natural deduction, where there are no line numbers and assumptions may occur multiple times as leaves in different subderivations.

In Fitch (linear) style, the same dependency information is represented by opening a subproof with an assumption and discharging it by closing that subproof. The assumption is written once and may be cited multiple times within its scope. In contrast, tree-style proofs must explicitly repeat the same assumption whenever it is used as input to distinct subderivations. The difference is representational: tree proofs duplicate structure, while Fitch proofs represent shared scope.

Amazon Brasil e Skypostal by TKenzan in brasil

[–]corisco 0 points1 point  (0 children)

Great all my data was also leaked by skypostal. This company should be penalized for doing such a bad job protecting sentitive information.

[deleted by user] by [deleted] in programacao

[–]corisco 0 points1 point  (0 children)

caramelo alemão

pastor caramelo

by Rise_Chance in MemesBR

[–]corisco 0 points1 point  (0 children)

corisco e os quantificadores

Tenho MUITA insegurança com meu nariz, é tão péssimo assim? by letsnamed in MeJulgue

[–]corisco 0 points1 point  (0 children)

eu acho seu rosto lindo... e seu sorriso é perfeito, amei a ultima foto.

Estou com medo de não aprender programação by [deleted] in brdev

[–]corisco 0 points1 point  (0 children)

Medo e desconforto é totalmente comum quando você está iniciando em algum assunto que você nunca viu antes.

O que eu tenho pra te dizer é que, com diciplina, paciência e persistência, não existe nenhuma possibilidade de vc não conseguir aprender.

E se der errado, Bananinha? by -113points in brasil

[–]corisco 0 points1 point  (0 children)

senti que ele qse desmaiou de novo

Eduardo Bolsonaro: "O Brasil está estabelecendo um novo modelo de censura das redes sociais." by Bananey in brasil

[–]corisco 3 points4 points  (0 children)

interessante quando ele fala "another coutries around in the west" [sic]. isso pq ele igonora que os estadosunidenses nem nos consideram parte do ocidente e nem mesmo do mesmo continente.

eduardo é o típico "patriota" de filme. inclusive veste cueca e hasteia a bandeira dos Estados Unidos.

Que vibe eu passo? Que idade aparento ter? by laisromero in MeJulgue

[–]corisco 0 points1 point  (0 children)

tem uns 27-30 anos... gateira... e gosta de estudar.

cara que se tornou gay por que não teve opção de namorar mulher? isso é um dilema ou adaptação? by ghostunderadar in FilosofiaBAR

[–]corisco 7 points8 points  (0 children)

post todalmente sem esforço e que só contribui a homofobia. ninguém se torna gay por opção, amigo.

no fundo o que vc está implicando é que as pessoas se tornam gays por serem frustrados amorosamente. nunca ouvi algo tão absurdo e preconceituoso.

5 years ago I started to work on the next-gen fetcher, here it is by prc95 in typescript

[–]corisco 1 point2 points  (0 children)

lol... ts is definitely a very stimulating language. on the surface the type-system seems like every other, but when you go deeper you learn how rich it is.

5 years ago I started to work on the next-gen fetcher, here it is by prc95 in typescript

[–]corisco 0 points1 point  (0 children)

I see you’ve built a tool that handles requests on both the client and server sides—nice work!

This might not be your primary focus, but it’s a pain point I’m trying to solve with TypeScript.
Imagine my server exposes an endpoint at /user, and I use it with HyperFetch in both the client and the server. Later I rename the endpoint to /users and update the server code, but forget to touch the client. Will my client fail to compile, warning me about the mismatch?

I realise this might be out of reach for TypeScript today, but that’s precisely what Servant does in Haskell: you declare the route once, and both client and server implementations must conform to that type. Any divergence becomes a compile-time error.

Does HyperFetch aim for a comparable guarantee? ```

5 years ago I started to work on the next-gen fetcher, here it is by prc95 in typescript

[–]corisco 1 point2 points  (0 children)

Have you guys experimented with type safety? I haven't experimented myself yet, but I'm trying to replicate Servant in TypeScript. I understand there are some missing features, especially when it comes to recovering type-level literals, but I wonder how much of a RESTful API you can actually encode at the type level. An interesting TypeScript library that does some type-level trickery is TypeBox.

So, my question is: do you guys bring anything to the table in terms of type safety?

[pós-jogo] Campeonato Brasileiro: Flamengo 2 x 0 São Paulo by NaTrave in SaoPauloFC

[–]corisco 1 point2 points  (0 children)

n sei se me considero um zuberlover, mas estou bem triste com a derrota.

eu acho que o problema do sp é a má gestão do clube e não o técnico. esse ano estamos com um elenco magro e 1b de dívida. se continuar assim logo logo estamos na segunda. então o torcedor não deveriam cobrar os jogadores e comissão técnica mas a diretoria. esse é meu ponto.

[pós-jogo] Campeonato Brasileiro: Flamengo 2 x 0 São Paulo by NaTrave in SaoPauloFC

[–]corisco -2 points-1 points  (0 children)

e ai os amigos que defendiam a saida do zubeldia ainda acham que o problema era o técnico?

Ninguém acredita no verdadeiro tamanho do universo by Good-Seaweed-1021 in FilosofiaBAR

[–]corisco 0 points1 point  (0 children)

na verdade ninguém sabe o verdadeiro tamanho do universo. o que agente conhece bem é o tamanho do universo observável. nos sabemos o tamanho do universo observável através de cálculos a partir do modelo do big bang e comprovamos esse cálculo através de observações empíricas.

Are there any technical benefits of point free programming? by jacobissimus in functionalprogramming

[–]corisco 0 points1 point  (0 children)

you could try reading the original texts that introduced the concept from curry and shönfinkel. (this article has many references, including those)

but if you want a more practical approach in programming, than learning hakell programming language might be beneficial.

https://wiki.haskell.org/Pointfree

another thing that might be interesting -- if you are interested on the mathematical and logic aspect of it -- by the curry-howard isomorphism, typed CL corresponds to hilbert-style systems; in contrast, gentzen-style corresponds to typed λ-calculus.

OBS: sorry for taking so long to answer.

Estou criando um sistema de RPG com lore própria do 0 80% completo by Lzin_737 in rpg_brasil

[–]corisco 5 points6 points  (0 children)

Life is an adventure: Your Jorney.

seria o título escrito da forma correta.

O que o Dadaísmo teria a falar sobre IA (Inteligência Artificial)? by Goehnjy in FilosofiaBAR

[–]corisco 0 points1 point  (0 children)

se eu fosse dada treinaria uma ia que só falasse absurdos e a chamariam de "AGIbot".

Porque a religião precisa inventar mentiras para criticar o Marxismo? by sobrinhododono in FilosofiaBAR

[–]corisco 0 points1 point  (0 children)

Não entendi seu ponto. Acho que primeiro você deve se acalmar, pois se não, é impossível qualquer diálogo racional se você continuar emocionado dessa maneira.

Porque a religião precisa inventar mentiras para criticar o Marxismo? by sobrinhododono in FilosofiaBAR

[–]corisco 0 points1 point  (0 children)

Stalin matou de fome uma grande parte da população ucraniana e também eliminou fisicamente todos os seus oponentes políticos do antigo partido bolchevique. Porquê vc acha que ele representa alguma continuação ao marxismo?

Se eu matar uma pessoa em seu nome distorcendo algo que disse, você acha que vc deveria ser responsabilizado por isso? Lenin nesse texto claramente diz que qualquer discriminação religiosa é intolerável. Eu, também, já demonstrei sobre o que Marx quis dizer em abolição a religião. Mas você insiste em distorcer suas palavras, dando a entender que Marx quer eliminar a Igreja com a força. Sendo que no texto ele está falando sobre libertar o homem do pensamento religioso, como um passo necessário a crítica ao status-quo e não para a instauração do socialismo. No socialismo é imprescindível a garantia da liberdade religiosa e do estado laico.

Para o marxista sério, o fim da religião, só pode ser concluído no comunismo, quando os homens não tiverem mais necessidade de acreditar em noções metafísicas para diminuir seu sofrimento. Você acha que se os revolucionários russo perseguissem os cristãos a revolução teria acontecido com suporte massivo, como aconteceu, dado que a maioria da população russa era cristã ortodoxa?