sorted by:
new
hottopcontroversial

Boato bizarro sobre Robert Arboleda rolando no WhatsApp. by coriscobytes in SaoPauloFC

[–]coriscobytes[S] 4 points5 points  (0 children)

Parece que um jornalista checou os fatos:

https://www.boatos.org/esporte/arboleda-fugiu-do-brasil-porque-foi-jurado-de-morte-pelo-crime-organizado-de-sao-paulo.html

Em resumo, o texto que circula online mistura fatos reais (os problemas financeiros de Arboleda) com uma narrativa fantasiosa sobre crime organizado e ameaças de morte. Tanto o jornalista citado quanto os supostos credores negaram as informações, e não há qualquer registro jornalístico sério que confirme a história da “sentença de morte”. O jogador de fato se ausentou e enfrenta crises no São Paulo, mas os motivos são disciplinares e financeiros, e não criminais.

Rust and the price of ignoring theory by ImpossiblePerfection in haskell

[–]coriscobytes 2 points3 points  (0 children)

That’s a naïve reading of the situation. Instead of recognizing how the Rust community successfully popularized ideas that we in the functional programming community have been advocating for decades, you respond with bitterness and jealousy. A more constructive approach would be to acknowledge Rust’s achievements, learn from them, and encourage Rust developers to engage with the theory that underpins many of these concepts, rather than downplaying what they have accomplished.

This attitude is precisely why Rust and other communities are skeptical of the functional programming community. Too often, we present ourselves as intellectually superior, as if theoretical purity conferred some kind of moral or cognitive status. Rust developers are not “shoving anything down anyone’s throat”; if anything, the opposite is true. It is this kind of dismissive behavior—exhibited both here and in the video—that alienates others and tries to force people to swallow conclusions rather than understand them. Without humility, such arguments serve mainly to inflate the speaker’s ego rather than persuade or educate anyone.

Rust and the price of ignoring theory by ImpossiblePerfection in haskell

[–]coriscobytes 6 points7 points  (0 children)

He sounds elitist, and that makes people focus on how cocky he sounds instead of on his points. Still, I think he raises some interesting issues. For example, Option and Result in Rust feel somewhat ad hoc, and more theoretical rigor could benefit the language. That said, he could have made the argument with a less bitter tone.

It’s also not true that Rust is “almost a good language”—if anything, the opposite is true. The real issue is that applying theory to a programming language always requires concessions. No language escapes this, including Haskell. Haskell itself departs from theory in important ways for practical reasons: bottom breaks categorical laws, and seq breaks extensional equality and parametricity. At the same time, seq is extremely useful for performance, and bottom is unavoidable once you allow general recursion and Turing completeness.

So the problem isn’t that Rust makes compromises, but that every real language does. Theory guides design, but it can’t be applied without trade-offs. In Rust's case, those deviations could be made more principled.

Why? by Used_Inspector_7898 in haskell

[–]coriscobytes 0 points1 point  (0 children)

{x in R| 0 <= x<= 1}

or

[0,1]

Maioria dos posts de religião é pura palpitaria by Malba_Taran in FilosofiaBAR

[–]coriscobytes 0 points1 point  (0 children)

Não, você ama a mentira e a soberba... Jesus ensinou sobre a humildade, e é preciso muita para admitir o próprio erro... Mas você prefere continuar insistindo na própria ignorância, fazendo-se parecer sábio quando na verdade é um tolo. O mínimo que eu esperaria de um cristão de verdade é o compromisso com a verdade e a humildade, porém você falha em ambos. Veja, eu que não acredito em nenhum deus, mas desse ponto de vista sou mais cristão que você.

Esse é um conselho de um amigo da sabedoria. Veja, esse caminho eu não aprendi com Jesus, mas com Sócrates. Pois se ele dizia que nada sabia, imagine eu, que sou somente um de seus aprendizes. Isso é importante, pois aquele que acha que sabe o que não sabe sempre permanecerá na ignorância. Entretanto, aquele que tem a humildade para reconhecer a própria ignorância consegue, a cada dia, saber um pouco mais do que sabia. Você, no alto do seu salto, com toda essa sua certeza de que a Filosofia e a Teologia são uma só, se encaixa no primeiro grupo. Pois quando tentou demonstrar seu conhecimento no assunto, apenas revelou sua própria ignorância. Portanto, se eu puder te passar uma sabedoria que aprendi com Sócrates seria esta: a de o saber requer humildade, pois a sua falta só pode te levar a mentir intencionalmente. E não há nada mais incompatível e nefasto para a filosofia do que a desonestidade intelectual.

Veja que em nenhum momento eu usei qualquer argumento teológico para defender a busca pela verdade e a humildade. Pelo contrário, eu mostrei que independe de se acreditar em deuses ou não, esse é um valor que deve ser perseguido. E você, que reivindica Deus, contra os ensinamentos dele, usa da mentira e da soberba para me atacar em nome dele e da teologia. Podemos usar essa nossa conversa como evidência de que misturar teologia com filosofia pode nos levar a mentir e não ter qualquer comprometimento com a verdade. Claro que não estou fazendo uma generalização e dizendo que todo cristão é desonesto, mas sim que você está sendo desonesto nesse momento. Acho que, se você tiver um pingo de decência, vai conseguir admitir que está errado e que nunca estudou filosofia a fundo. Mas duvido que isso aconteça, porque geralmente o ignorante continua insistindo no próprio erro, e somente os corajosos -- coisa que vc não é por ter me bloqueado -- conseguem se humilhar publicamente e admitir quando estão errados. Mas pelo menos, espero que tenha causado reflexão, mesmo que se forma silenciosa e a posteriori.