+- bbgx -- 921d ------------------------------------------------------------[...]+ | | | "Ai nao semi o que o Hamas" "ai não sei o que Israel" | | | | DEUS VULT | | | | https://image.nostr.build/ec993997e560890ecdb5a9c5bfe5b9764be4535197499e46d0ae | | e58005d54dce.jpg | | | +-- reply ------------------------------------------------------------------- ---+"Ai nao semi o que o Hamas" "ai não sei o que Israel" DEUS VULT https://image.nostr.build/ec993997e560890ecdb5a9c5bfe5b9764be4535197499e46d0aee58005d54dce.jpg
npub1defacec8n600n5u79a62xhrzldpzy00cmtxjff8u2hapw9gya0yqhhu35c
npub1defacec8n600n5u79a62xhrzldpzy00cmtxjff8u2hapw9gya0yqhhu35c
+- bbgx -- 1046d -----------------------------------------------------------[...]+ | | | Quando que o brasileiro esqueceu disso aqui? | | | | https://nostr.build/av/ceaf1984e3d743e3fa5459965fffdf9b951ffbc70c26386f1dfee2a | | bbd54a80a.mp4 | | | +-- reply ------------------------------------------------------------------- ---+Quando que o brasileiro esqueceu disso aqui? https://nostr.build/av/ceaf1984e3d743e3fa5459965fffdf9b951ffbc70c26386f1dfee2abbd54a80a.mp4
+- bbgx -- 1067d -----------------------------------------------------------[...]+ | | | Essas parafernálias de regulagem de temperatura e tempo são úteis pro dia a | | dia. Tu coloca um arroz os bolo, define o tempo e temperatura e já era. Não | | precisa se preocupar em esquecer e acabar queimando a comida. Alem de que tem | | lugares que está maia barato a energia elétrica do que o gás | | | +-- reply ------------------------------------------------------------------- ---+Essas parafernálias de regulagem de temperatura e tempo são úteis pro dia a dia. Tu coloca um arroz os bolo, define o tempo e temperatura e já era. Não precisa se preocupar em esquecer e acabar queimando a comida. Alem de que tem lugares que está maia barato a energia elétrica do que o gás
+- bbgx -- 1088d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/e6280fbe9c94cdc23c6dce3ac8713d523fffd9030985afe34208fe09 | | c22280f7.jpg Velho onipresente filho da puta | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/e6280fbe9c94cdc23c6dce3ac8713d523fffd9030985afe34208fe09c22280f7.jpg Velho onipresente filho da puta
+- bbgx -- 1094d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_356268ad63ee83fcf4a65aa19bca15c3bca1a5770d1d | | 83dfde66e70ef1bd1630.jpg | | You vill eat ze bugs | | You vill own nossing | | You vill be happy about it | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_356268ad63ee83fcf4a65aa19bca15c3bca1a5770d1d83dfde66e70ef1bd1630.jpg You vill eat ze bugs You vill own nossing You vill be happy about it
+- bbgx -- 1095d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_a1c114baa92cfcecd61f0d888de430c36d76fffe8b1d | | a7462801c101ecdd4ab4.jpg | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_a1c114baa92cfcecd61f0d888de430c36d76fffe8b1da7462801c101ecdd4ab4.jpg
+- bbgx -- 1095d -----------------------------------------------------------[...]+ | | | https://aberto.bndes.gov.br/aberto/caso/havan/ | | | +-- reply ------------------------------------------------------------------- ---+https://aberto.bndes.gov.br/aberto/caso/havan/
+- bbgx -- 1096d -----------------------------------------------------------[...]+ | | | não só isso, o nostr não moqueia o IP, é importante usar uma boa VPN | | | +-- reply ------------------------------------------------------------------- ---+não só isso, o nostr não moqueia o IP, é importante usar uma boa VPN
+- bbgx -- 1104d -----------------------------------------------------------[...]+ | | | nessa faixa que eles vão atrás das crianças | | | +-- reply ------------------------------------------------------------------- ---+nessa faixa que eles vão atrás das crianças
+- bbgx -- 1108d -----------------------------------------------------------[...]+ | | | https://nostr.build/av/nostr.build_2fdf86e815e54606d5085526041ef94d54b3d9bc4ae | | 5dc1d66ba7e429defc88a.mp4 | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/av/nostr.build_2fdf86e815e54606d5085526041ef94d54b3d9bc4ae5dc1d66ba7e429defc88a.mp4
+- bbgx -- 1130d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_78cb09d63506dbefc56639016d2c57db2ac5dad02cf1 | | d32927456407457f0042.jpg | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_78cb09d63506dbefc56639016d2c57db2ac5dad02cf1d32927456407457f0042.jpg
+- bbgx -- 1137d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_88732265adbf6fb26f72c7340432456b0a11d60f9b3b | | b7ef4bed4274597cbfab.jpg | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_88732265adbf6fb26f72c7340432456b0a11d60f9b3bb7ef4bed4274597cbfab.jpg
+- bbgx -- 1138d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_29e7b45d2fb3f5776a746ae87e5521c64bd0186000f2 | | 78fd14cec79ebadcab20.png | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_29e7b45d2fb3f5776a746ae87e5521c64bd0186000f278fd14cec79ebadcab20.png
+- bbgx -- 1140d -----------------------------------------------------------[...]+ | | | - Por: [Paulo | | Torrens](https://www.facebook.com/profile.php?id=100002235868627) | | - Originalmente portado no | | [facebook](https://www.facebook.com/groups/142918099147059?view=permalink&id=4 | | 88111991294333) em 2014-03-08 | | | | #["LÓGICA DE PROGRAMAÇÃO" É BOBAGEM, e explicarei porquê.] | | | | Se preparem que o texto é longo. | | | | Várias vezes chegam novatos aqui perguntando como começar, e a galera diz | | "estuda lógica primeiro, depois vai pra linguagem X". Vivo dizendo que é | | bobagem. Ontem, em particular, falei isso, e vieram várias pessoas por inbox | | me perguntar porquê (e uma pra me xingar, achando que falei por arrogância). | | | | Pra facilitar, eu vou escrever uma boa explicação de porquê "lógica de | | programação" é furada, doa a quem doer, e postar na APDA e no fórum da | | EnergyLabs (para futuras referências, porque esse assunto vai voltar, ctz). | | | | Primeiro... vamos para a definição. O que a galera chama de "lógica de | | programação"? Basicamente, um fluxo lógico de instruções para executar uma | | operação. Professores gostam de exemplificar isso como "a receita de um bolo". | | Mas na prática, o que isso significa? | | | | Acabam sendo a sequência de ifs e whiles que vão te fazer um programa. Ou ao | | menos é isso que alguns pensam - erroneamente. | | | | Por que isso é errado? Porque as pessoas assumem nisso uma linguagem | | imperativa (http://en.wikipedia.org/wiki/Imperative_programming). Alias, | | muitos dizem "se tu já sabe uma linguagem, aprende qualquer uma, porque é só | | lógica", o que é uma bobagem enorme. | | | | Linguagens imperativas são linguagens que expressam uma lista de instruções | | para o programa, sequenciais. Exemplos não faltam: C, C++, Objective-C, Java, | | C#, Pascal, Delphi (Object Pascal), PHP, Ruby, Python, Perl, JavaScript, Lua, | | Fortran, Cobol, Smalltalk, Self, PL/SQL... | | | | Talvez alguns não conheçam linguagens além dessas. E é verdade, se tu sabe C | | vai ser relativamente fácil aprender uma das outras. Mas nem todas as | | linguagens são imperativas. | | | | O oposto, linguagens declarativas | | (http://en.wikipedia.org/wiki/Declarative_programming) não descreve *como* | | fazer algo, e sim *o quê* deve ser feito. Tem dois paradigmas que caem aí | | dentro: linguagens funcionais e linguagens lógicas. | | | | Isso nos deixa, até agora, com três formas completamente diferentes de pensar, | | baseado em três paradigmas: imperativo, funcional e lógico. | | | | Você pode saber todas as linguagens citadas acima. Vamos assumir que alguém | | sabe aquelas todas. Essa pessoa não teria facilidade em aprender uma linguagem | | funcional como Common Lisp, Scheme, Dylan, Clojure, Scala, F#, OCaml, SML, | | Haskell, Erlang... | | | | Alguém pode pensar: "mas ninguém usa isso!". Estão muito errados - e cada vez | | mais e mais errados. Os nossos sistemas de telefonia são feitos quase | | inteiramentes em Erlang. Se você for trabalhar no Facebook, grandes chances de | | usar Haskell. Mas fica a dúvida pra quem ainda é novato na área: pra que | | servem? | | | | Bom, servem pra resolver problemas, como linguagens imperativas (como C e | | Java). Mas por que elas não eram populares - e por que estão cada vez mais | | populares? Hora, Lisp foi uma das primeiras linguagens de programação, então | | linguagens funcionais não são coisas novas. Mas as Lisp Machines | | (processadores feitos pra trabalharem bem com Lisp) eram da antiga União | | Soviética, então a história ajuda aqui. As linguagens imperativas, | | especialmente C, parecem mais com o que os nossos processadores (na época, os | | processadores ocidentais) usam, parecem com assembly (que é imperativo). Logo, | | tornaram-se mais populares, embora não sejam mais novos. | | | | As pessoas não gostam muito de linguagens funcionais, porque não conseguem | | entendê-las facilmente (porque estão acostumadas com o pensamento imperativo, | | com a "lógica de programação"), mas a recíproca também é verdadeira: já vi | | pessoas que aprenderam a programar com Haskell, que foi sua primeira | | linguagem, e essas acharam Java muito estranho, e tiveram dificuldade pra | | acostumar a forma de pensar. | | | | Mas por que linguagens funcionais começaram a aparecerem de novo? Elas tem | | conceitos de dados imutáveis (não existem variáveis!) e funções puras (sem | | efeitos colaterais). Na prática, o problema é o paralelismo. É difícil | | escrever um programa em C ou Java (ou outras linguagens imperativas) para | | aproveitarem processadores multicore, ou vários processadores (manycore). E | | você precisa escrever *explicitamente*. Precisa dizer que quer rodar em vários | | cores. Linguagens funcionais, pelos motivos que citei no começo do parágrafo, | | podem seguramente serem paralelizadas pelo compilador. Então é fácil um código | | em Haskell rodar em 1, 4 ou 16 cores e ganhar muito desempenho com isso, | | enquanto com C é difícil conseguir isso. E sabemos que cada vez mais é vital | | esse paralelismo. | | | | As pessoas costumam dizer "C é a linguagem mais rápida!", mas apenas | | comparando com outras linguagens imperativas. Haskell e Lisp conseguem ser tão | | rápidos quanto - as vezes até mais rápidos - que C! | | | | Por exemplo: se eu fiz um programa em C, e quero fazê-lo rodar num cluster | | (computadores em rede, digamos, para um servidor web), eu preciso alterá-lo | | para funcionar lá. Se eu escrever em Haskell, eu não preciso alterá-lo. A | | linguagem já garante que isso pode acontecer. Não haverá deadlock porque não é | | necessário haverem locks (pra quem lembrar da aula de sistemas operacionais). | | Sem falar que linguagens funcionais são perfeitas pra inteligência artificial. | | Há linguagens imperativas projetadas para usar paralelismo, como Go, mas o | | programador tem que ser *explícito*, o programador precisa se preocupar com o | | paralelismo. Nas linguagens funcionais ele não precisa. | | | | Mas a "lógica de programação" que o cara tirou tempo pra estudar é inútil em | | Haskell, pois você não pode pensar de forma imperativa, você precisa pensar de | | forma funcional. Não dá pra controlar a ordem de execução de funções. | | | | Falei sobre o paradigma lógico. A única linguagem lógica que fez sucesso, que | | também é antiga (nasceu em 72, mesmo ano que a linguagem C - para comparação, | | JavaScript surgiu em 95), é a linguagem Prolog . | | | | Mesmo que alguém fosse pica e soubesse todas as linguagens citadas anteriores, | | tanto imperativas quanto funcionais, o cara iria sofrer pra aprender Prolog! | | Por quê? Porque precisa pensar de uma forma diferente. Precisa usar a "lógica | | lógica" (em contrasta à lógica imperativa e à lógica funcional). | | | | Prolog, por exemplo, é usada muito usada para interpretar linguagens naturais | | (humanas), para inteligência artificial, e vários outros usos. Mas, novamente, | | a "lógica de programação" que tanto falam se tornou inútil. | | | | Existe também um outro paradigma, uma outra forma de pensar, que é menos | | comum, que seria dataflow. Esse conceito não tem variáveis, e as vezes não tem | | nem memória. Surgiu ofic com a linguagem SISAL | | (http://en.wikipedia.org/wiki/SISAL) em 83, mas é um conceito estabelecido em | | 66. Podem pensar que também não usam, mas esse paradigma é usado em linguagens | | de descrição de hardware, VHDL e Verilog | | (http://en.wikipedia.org/wiki/Hardware_description_language). Hoje em dia | | processadores (lá na Intel e AMD) não são desenhados, seria inviável, são | | *programados* com VHDL e/ou Verilog. Linguagens de dataflow, que precisam de | | uma forma de pensar bem diferente. Outro exemplo famoso é a linguagem Lucid. | | | | Existem linguagens especiais, também. Um exemplo é a linguagem Forth | | (http://en.wikipedia.org/wi…/Forth_%28programming_language%29), de 1970 | | (repararam que todos os paradigmas surgiram mais ou menos ao mesmo tempo?). | | Novamente assumindo que alguém saiba todas as linguagens citadas ali em cima, | | o cara ainda ia apanhar um pouquinho pra manjar de Forth. A linguagem é | | concatenativa, baseada em stack. É muito interessante, realmente. Aos | | curiosos, recomendo. | | | | Também temos as linguagens dependentemente tipadas, que são quase sempre | | funcionais. Elas são muito difíceis de se aprender! Quais seriam exemplos? | | Gallina (COQ), Idris, Agda, ATS... e qual a diferença? Ao invés de tipos como | | "int", temos conjuntos complexos, como "int de 10 até 100". É um conceito | | difícil de engolir - sofri pra entender. Mas pra que isso serve? Elas são | | usadas por provadores automáticos (proof assistants), e elas te garantem que | | seu programa pode ser 100% *sem bugs*. Para áreas aeroespaciais e médicas isso | | é importante. Fizeram um compilador com Gallina, chamado CompCert, um | | compilador de C que foi provado, matematicamente, a partir dos tipos | | dependentes, que não tem bugs, e não tem falhas. Isso pode ser muito valioso, | | e eu apostaria que essas linguagens se tornaram populares no futuro. | | | | Então o conceito de "lógica de programação" é extremamente relativo e | | abstrato, e nem sequer deveria ser usado, especialmente isoladamente. | | | | Então, aos novatos que estão lendo, gostariam de saber o que recomendo? | | | | Sim, vocês tem que aprender a lógica imperativa, mesmo que talvez não | | trabalhem com isso sempre, com certeza terão que eventualmente trabalhar com | | ela. Mas aprendam com alguma linguagem. Eu recomendo, pra quem nunca programou | | na vida, começar com a linguagem Ruby | | (http://en.wikipedia.org/wiki/Ruby_%28programming_language%29). Foi com a qual | | comecei. Ela é imperativa e 100% orientada a objetos. Quem a usa aprende | | orientação a objetos sem perceber - no meu caso, quando eu li a definição de | | "orientação a objetos", eu pensei: "ahhhh, então é isso? Eu já sei fazer | | isso...". Ela é fácil até para crianças, e é bem intuitiva. Realmente | | recomendo. | | | | Nunca comecem estudando fluxogramas, eles não vão te ajudar a entender nem a | | lógica imperativa. Programação se aprende apenas na prática, sinto muito. | | Muita, muita prática. | | | | E para quem já sabe linguagens imperativas e quer saber como aprender a lógica | | funcional? Eu gostaria de recomendar Scala | | (http://en.wikipedia.org/wi…/Scala_%28programming_language%29). Scala é o | | "novo Ruby". É uma linguagem orientada a objetos que roda na JVM, então tem | | uma integração fácil com Java, e que pode ser tanto imperativa quanto | | funcional. Ela pode ajudar na transição. | | | | Programação lógica não tem jeito, é Prolog na veia. Recomendo Prolog e Forth | | para os entusiastas. | | | | Escrevi isso pois trabalho com compiladores e linguagens de programação - faz | | parte do meu trabalho saber essas coisas. Não quero ninguém achando que estou | | desmerecendo ninguém. Todos tem que aprender de alguma forma, algum dia. | | Ninguém nasce sabendo. Eu me esforcei pra saber dessas coisas, e trabalho com | | elas. Apenas quis deixar claro: "lógica de programação" é bobagem, pois não | | existem apenas linguagens imperativas. Talvez você, que está lendo e mandava | | as pessoas aprenderem "lógica de programação", trabalhe com Java e PHP, mas | | você não é todo mundo. | | | | Enfim, gostaria de desejar boa sorte a todos que estão iniciando na | | informática, estão na faculdade, ou simplesmente gostam de aprender. Não | | percam a esperança. Eu também senti vontade de desistir e ir vender cachorro | | quente na esquina várias e várias vezes, é apenas natural. Confiem em si | | mesmos. :3 | | | +-- reply ------------------------------------------------------------------- ---+- Por: [Paulo Torrens](https://www.facebook.com/profile.php?id=100002235868627) - Originalmente portado no [facebook](https://www.facebook.com/groups/142918099147059?view=permalink&id=488111991294333) em 2014-03-08 #["LÓGICA DE PROGRAMAÇÃO" É BOBAGEM, e explicarei porquê.] Se preparem que o texto é longo. Várias vezes chegam novatos aqui perguntando como começar, e a galera diz "estuda lógica primeiro, depois vai pra linguagem X". Vivo dizendo que é bobagem. Ontem, em particular, falei isso, e vieram várias pessoas por inbox me perguntar porquê (e uma pra me xingar, achando que falei por arrogância). Pra facilitar, eu vou escrever uma boa explicação de porquê "lógica de programação" é furada, doa a quem doer, e postar na APDA e no fórum da EnergyLabs (para futuras referências, porque esse assunto vai voltar, ctz). Primeiro... vamos para a definição. O que a galera chama de "lógica de programação"? Basicamente, um fluxo lógico de instruções para executar uma operação. Professores gostam de exemplificar isso como "a receita de um bolo". Mas na prática, o que isso significa? Acabam sendo a sequência de ifs e whiles que vão te fazer um programa. Ou ao menos é isso que alguns pensam - erroneamente. Por que isso é errado? Porque as pessoas assumem nisso uma linguagem imperativa (http://en.wikipedia.org/wiki/Imperative_programming). Alias, muitos dizem "se tu já sabe uma linguagem, aprende qualquer uma, porque é só lógica", o que é uma bobagem enorme. Linguagens imperativas são linguagens que expressam uma lista de instruções para o programa, sequenciais. Exemplos não faltam: C, C++, Objective-C, Java, C#, Pascal, Delphi (Object Pascal), PHP, Ruby, Python, Perl, JavaScript, Lua, Fortran, Cobol, Smalltalk, Self, PL/SQL... Talvez alguns não conheçam linguagens além dessas. E é verdade, se tu sabe C vai ser relativamente fácil aprender uma das outras. Mas nem todas as linguagens são imperativas. O oposto, linguagens declarativas (http://en.wikipedia.org/wiki/Declarative_programming) não descreve *como* fazer algo, e sim *o quê* deve ser feito. Tem dois paradigmas que caem aí dentro: linguagens funcionais e linguagens lógicas. Isso nos deixa, até agora, com três formas completamente diferentes de pensar, baseado em três paradigmas: imperativo, funcional e lógico. Você pode saber todas as linguagens citadas acima. Vamos assumir que alguém sabe aquelas todas. Essa pessoa não teria facilidade em aprender uma linguagem funcional como Common Lisp, Scheme, Dylan, Clojure, Scala, F#, OCaml, SML, Haskell, Erlang... Alguém pode pensar: "mas ninguém usa isso!". Estão muito errados - e cada vez mais e mais errados. Os nossos sistemas de telefonia são feitos quase inteiramentes em Erlang. Se você for trabalhar no Facebook, grandes chances de usar Haskell. Mas fica a dúvida pra quem ainda é novato na área: pra que servem? Bom, servem pra resolver problemas, como linguagens imperativas (como C e Java). Mas por que elas não eram populares - e por que estão cada vez mais populares? Hora, Lisp foi uma das primeiras linguagens de programação, então linguagens funcionais não são coisas novas. Mas as Lisp Machines (processadores feitos pra trabalharem bem com Lisp) eram da antiga União Soviética, então a história ajuda aqui. As linguagens imperativas, especialmente C, parecem mais com o que os nossos processadores (na época, os processadores ocidentais) usam, parecem com assembly (que é imperativo). Logo, tornaram-se mais populares, embora não sejam mais novos. As pessoas não gostam muito de linguagens funcionais, porque não conseguem entendê-las facilmente (porque estão acostumadas com o pensamento imperativo, com a "lógica de programação"), mas a recíproca também é verdadeira: já vi pessoas que aprenderam a programar com Haskell, que foi sua primeira linguagem, e essas acharam Java muito estranho, e tiveram dificuldade pra acostumar a forma de pensar. Mas por que linguagens funcionais começaram a aparecerem de novo? Elas tem conceitos de dados imutáveis (não existem variáveis!) e funções puras (sem efeitos colaterais). Na prática, o problema é o paralelismo. É difícil escrever um programa em C ou Java (ou outras linguagens imperativas) para aproveitarem processadores multicore, ou vários processadores (manycore). E você precisa escrever *explicitamente*. Precisa dizer que quer rodar em vários cores. Linguagens funcionais, pelos motivos que citei no começo do parágrafo, podem seguramente serem paralelizadas pelo compilador. Então é fácil um código em Haskell rodar em 1, 4 ou 16 cores e ganhar muito desempenho com isso, enquanto com C é difícil conseguir isso. E sabemos que cada vez mais é vital esse paralelismo. As pessoas costumam dizer "C é a linguagem mais rápida!", mas apenas comparando com outras linguagens imperativas. Haskell e Lisp conseguem ser tão rápidos quanto - as vezes até mais rápidos - que C! Por exemplo: se eu fiz um programa em C, e quero fazê-lo rodar num cluster (computadores em rede, digamos, para um servidor web), eu preciso alterá-lo para funcionar lá. Se eu escrever em Haskell, eu não preciso alterá-lo. A linguagem já garante que isso pode acontecer. Não haverá deadlock porque não é necessário haverem locks (pra quem lembrar da aula de sistemas operacionais). Sem falar que linguagens funcionais são perfeitas pra inteligência artificial. Há linguagens imperativas projetadas para usar paralelismo, como Go, mas o programador tem que ser *explícito*, o programador precisa se preocupar com o paralelismo. Nas linguagens funcionais ele não precisa. Mas a "lógica de programação" que o cara tirou tempo pra estudar é inútil em Haskell, pois você não pode pensar de forma imperativa, você precisa pensar de forma funcional. Não dá pra controlar a ordem de execução de funções. Falei sobre o paradigma lógico. A única linguagem lógica que fez sucesso, que também é antiga (nasceu em 72, mesmo ano que a linguagem C - para comparação, JavaScript surgiu em 95), é a linguagem Prolog . Mesmo que alguém fosse pica e soubesse todas as linguagens citadas anteriores, tanto imperativas quanto funcionais, o cara iria sofrer pra aprender Prolog! Por quê? Porque precisa pensar de uma forma diferente. Precisa usar a "lógica lógica" (em contrasta à lógica imperativa e à lógica funcional). Prolog, por exemplo, é usada muito usada para interpretar linguagens naturais (humanas), para inteligência artificial, e vários outros usos. Mas, novamente, a "lógica de programação" que tanto falam se tornou inútil. Existe também um outro paradigma, uma outra forma de pensar, que é menos comum, que seria dataflow. Esse conceito não tem variáveis, e as vezes não tem nem memória. Surgiu ofic com a linguagem SISAL (http://en.wikipedia.org/wiki/SISAL) em 83, mas é um conceito estabelecido em 66. Podem pensar que também não usam, mas esse paradigma é usado em linguagens de descrição de hardware, VHDL e Verilog (http://en.wikipedia.org/wiki/Hardware_description_language). Hoje em dia processadores (lá na Intel e AMD) não são desenhados, seria inviável, são *programados* com VHDL e/ou Verilog. Linguagens de dataflow, que precisam de uma forma de pensar bem diferente. Outro exemplo famoso é a linguagem Lucid. Existem linguagens especiais, também. Um exemplo é a linguagem Forth (http://en.wikipedia.org/wi…/Forth_%28programming_language%29), de 1970 (repararam que todos os paradigmas surgiram mais ou menos ao mesmo tempo?). Novamente assumindo que alguém saiba todas as linguagens citadas ali em cima, o cara ainda ia apanhar um pouquinho pra manjar de Forth. A linguagem é concatenativa, baseada em stack. É muito interessante, realmente. Aos curiosos, recomendo. Também temos as linguagens dependentemente tipadas, que são quase sempre funcionais. Elas são muito difíceis de se aprender! Quais seriam exemplos? Gallina (COQ), Idris, Agda, ATS... e qual a diferença? Ao invés de tipos como "int", temos conjuntos complexos, como "int de 10 até 100". É um conceito difícil de engolir - sofri pra entender. Mas pra que isso serve? Elas são usadas por provadores automáticos (proof assistants), e elas te garantem que seu programa pode ser 100% *sem bugs*. Para áreas aeroespaciais e médicas isso é importante. Fizeram um compilador com Gallina, chamado CompCert, um compilador de C que foi provado, matematicamente, a partir dos tipos dependentes, que não tem bugs, e não tem falhas. Isso pode ser muito valioso, e eu apostaria que essas linguagens se tornaram populares no futuro. Então o conceito de "lógica de programação" é extremamente relativo e abstrato, e nem sequer deveria ser usado, especialmente isoladamente. Então, aos novatos que estão lendo, gostariam de saber o que recomendo? Sim, vocês tem que aprender a lógica imperativa, mesmo que talvez não trabalhem com isso sempre, com certeza terão que eventualmente trabalhar com ela. Mas aprendam com alguma linguagem. Eu recomendo, pra quem nunca programou na vida, começar com a linguagem Ruby (http://en.wikipedia.org/wiki/Ruby_%28programming_language%29). Foi com a qual comecei. Ela é imperativa e 100% orientada a objetos. Quem a usa aprende orientação a objetos sem perceber - no meu caso, quando eu li a definição de "orientação a objetos", eu pensei: "ahhhh, então é isso? Eu já sei fazer isso...". Ela é fácil até para crianças, e é bem intuitiva. Realmente recomendo. Nunca comecem estudando fluxogramas, eles não vão te ajudar a entender nem a lógica imperativa. Programação se aprende apenas na prática, sinto muito. Muita, muita prática. E para quem já sabe linguagens imperativas e quer saber como aprender a lógica funcional? Eu gostaria de recomendar Scala (http://en.wikipedia.org/wi…/Scala_%28programming_language%29). Scala é o "novo Ruby". É uma linguagem orientada a objetos que roda na JVM, então tem uma integração fácil com Java, e que pode ser tanto imperativa quanto funcional. Ela pode ajudar na transição. Programação lógica não tem jeito, é Prolog na veia. Recomendo Prolog e Forth para os entusiastas. Escrevi isso pois trabalho com compiladores e linguagens de programação - faz parte do meu trabalho saber essas coisas. Não quero ninguém achando que estou desmerecendo ninguém. Todos tem que aprender de alguma forma, algum dia. Ninguém nasce sabendo. Eu me esforcei pra saber dessas coisas, e trabalho com elas. Apenas quis deixar claro: "lógica de programação" é bobagem, pois não existem apenas linguagens imperativas. Talvez você, que está lendo e mandava as pessoas aprenderem "lógica de programação", trabalhe com Java e PHP, mas você não é todo mundo. Enfim, gostaria de desejar boa sorte a todos que estão iniciando na informática, estão na faculdade, ou simplesmente gostam de aprender. Não percam a esperança. Eu também senti vontade de desistir e ir vender cachorro quente na esquina várias e várias vezes, é apenas natural. Confiem em si mesmos. :3
+- bbgx -- 1143d -----------------------------------------------------------[...]+ | | | the industrial revolution and its consequences have been a disaster for the | | human race | | | +-- reply ------------------------------------------------------------------- ---+the industrial revolution and its consequences have been a disaster for the human race
+- bbgx -- 1143d -----------------------------------------------------------[...]+ | | | mullvad ftw | | | +-- reply ------------------------------------------------------------------- ---+mullvad ftw
+- bbgx -- 1143d -----------------------------------------------------------[...]+ | | | Missing some #infosec content here | | | +-- reply ------------------------------------------------------------------- ---+Missing some #infosec content here
+- bbgx -- 1143d -----------------------------------------------------------[...]+ | | | https://nostr.build/av/nostr.build_e772bf548e2896402a079f51a6cc3c613b6b895d06d | | 0c60becb7e11106f10804.mp4 parece minha carteira de shitcoins | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/av/nostr.build_e772bf548e2896402a079f51a6cc3c613b6b895d06d0c60becb7e11106f10804.mp4 parece minha carteira de shitcoins
+- bbgx -- 1143d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_dc10d68d2a0e45a8e4748cf9b52b8ce6868df3fb246e | | 742c8410e9679b2472ce.jpg | | | | Acabou para os bancos? | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_dc10d68d2a0e45a8e4748cf9b52b8ce6868df3fb246e742c8410e9679b2472ce.jpg Acabou para os bancos?
+- bbgx -- 1145d -----------------------------------------------------------[...]+ | | | Vou ser sincero com você, prefiro ficar sem usar quando estou fora do PC do | | que usar algum cliente no android. Achei beeem fraco por hora. | | | +-- reply ------------------------------------------------------------------- ---+Vou ser sincero com você, prefiro ficar sem usar quando estou fora do PC do que usar algum cliente no android. Achei beeem fraco por hora.
+- bbgx -- 1145d -----------------------------------------------------------[...]+ | | | Thanks for your service <3 | | | +-- reply ------------------------------------------------------------------- ---+Thanks for your service <3
+- bbgx -- 1146d -----------------------------------------------------------[...]+ | | | "importante é que ela ta comigo agora irmão" | | | | https://nostr.build/i/nostr.build_201945d83d7dac4e1cfd64f2a02e67625a016f08be51 | | 507507a6c82de3c83a8a.png | | | +-- reply ------------------------------------------------------------------- ---+"importante é que ela ta comigo agora irmão" https://nostr.build/i/nostr.build_201945d83d7dac4e1cfd64f2a02e67625a016f08be51507507a6c82de3c83a8a.png
+- bbgx -- 1146d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_9ab3941cc53c01d2275521c53254eaffa035c1d20f6a | | 34cd46fb687510a3d508.jpg | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_9ab3941cc53c01d2275521c53254eaffa035c1d20f6a34cd46fb687510a3d508.jpg
No replies found in cached notes yet.
+- bbgx -- 921d ------------------------------------------------------------[...]+ | | | "Ai nao semi o que o Hamas" "ai não sei o que Israel" | | | | DEUS VULT | | | | https://image.nostr.build/ec993997e560890ecdb5a9c5bfe5b9764be4535197499e46d0ae | | e58005d54dce.jpg | | | +-- reply ------------------------------------------------------------------- ---+"Ai nao semi o que o Hamas" "ai não sei o que Israel" DEUS VULT https://image.nostr.build/ec993997e560890ecdb5a9c5bfe5b9764be4535197499e46d0aee58005d54dce.jpg
+- bbgx -- 1046d -----------------------------------------------------------[...]+ | | | Quando que o brasileiro esqueceu disso aqui? | | | | https://nostr.build/av/ceaf1984e3d743e3fa5459965fffdf9b951ffbc70c26386f1dfee2a | | bbd54a80a.mp4 | | | +-- reply ------------------------------------------------------------------- ---+Quando que o brasileiro esqueceu disso aqui? https://nostr.build/av/ceaf1984e3d743e3fa5459965fffdf9b951ffbc70c26386f1dfee2abbd54a80a.mp4
+- bbgx -- 1088d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/e6280fbe9c94cdc23c6dce3ac8713d523fffd9030985afe34208fe09 | | c22280f7.jpg Velho onipresente filho da puta | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/e6280fbe9c94cdc23c6dce3ac8713d523fffd9030985afe34208fe09c22280f7.jpg Velho onipresente filho da puta
+- bbgx -- 1094d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_356268ad63ee83fcf4a65aa19bca15c3bca1a5770d1d | | 83dfde66e70ef1bd1630.jpg | | You vill eat ze bugs | | You vill own nossing | | You vill be happy about it | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_356268ad63ee83fcf4a65aa19bca15c3bca1a5770d1d83dfde66e70ef1bd1630.jpg You vill eat ze bugs You vill own nossing You vill be happy about it
+- bbgx -- 1095d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_a1c114baa92cfcecd61f0d888de430c36d76fffe8b1d | | a7462801c101ecdd4ab4.jpg | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_a1c114baa92cfcecd61f0d888de430c36d76fffe8b1da7462801c101ecdd4ab4.jpg
+- bbgx -- 1108d -----------------------------------------------------------[...]+ | | | https://nostr.build/av/nostr.build_2fdf86e815e54606d5085526041ef94d54b3d9bc4ae | | 5dc1d66ba7e429defc88a.mp4 | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/av/nostr.build_2fdf86e815e54606d5085526041ef94d54b3d9bc4ae5dc1d66ba7e429defc88a.mp4
+- bbgx -- 1130d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_78cb09d63506dbefc56639016d2c57db2ac5dad02cf1 | | d32927456407457f0042.jpg | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_78cb09d63506dbefc56639016d2c57db2ac5dad02cf1d32927456407457f0042.jpg
+- bbgx -- 1137d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_88732265adbf6fb26f72c7340432456b0a11d60f9b3b | | b7ef4bed4274597cbfab.jpg | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_88732265adbf6fb26f72c7340432456b0a11d60f9b3bb7ef4bed4274597cbfab.jpg
+- bbgx -- 1138d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_29e7b45d2fb3f5776a746ae87e5521c64bd0186000f2 | | 78fd14cec79ebadcab20.png | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_29e7b45d2fb3f5776a746ae87e5521c64bd0186000f278fd14cec79ebadcab20.png
+- bbgx -- 1143d -----------------------------------------------------------[...]+ | | | https://nostr.build/av/nostr.build_e772bf548e2896402a079f51a6cc3c613b6b895d06d | | 0c60becb7e11106f10804.mp4 parece minha carteira de shitcoins | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/av/nostr.build_e772bf548e2896402a079f51a6cc3c613b6b895d06d0c60becb7e11106f10804.mp4 parece minha carteira de shitcoins
+- bbgx -- 1143d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_dc10d68d2a0e45a8e4748cf9b52b8ce6868df3fb246e | | 742c8410e9679b2472ce.jpg | | | | Acabou para os bancos? | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_dc10d68d2a0e45a8e4748cf9b52b8ce6868df3fb246e742c8410e9679b2472ce.jpg Acabou para os bancos?
+- bbgx -- 1146d -----------------------------------------------------------[...]+ | | | "importante é que ela ta comigo agora irmão" | | | | https://nostr.build/i/nostr.build_201945d83d7dac4e1cfd64f2a02e67625a016f08be51 | | 507507a6c82de3c83a8a.png | | | +-- reply ------------------------------------------------------------------- ---+"importante é que ela ta comigo agora irmão" https://nostr.build/i/nostr.build_201945d83d7dac4e1cfd64f2a02e67625a016f08be51507507a6c82de3c83a8a.png
+- bbgx -- 1146d -----------------------------------------------------------[...]+ | | | https://nostr.build/i/nostr.build_9ab3941cc53c01d2275521c53254eaffa035c1d20f6a | | 34cd46fb687510a3d508.jpg | | | +-- reply ------------------------------------------------------------------- ---+https://nostr.build/i/nostr.build_9ab3941cc53c01d2275521c53254eaffa035c1d20f6a34cd46fb687510a3d508.jpg
Pubkeys from this user's latest cached kind 3 follow list.
- negrunch 00000000…dba7
- BladeRunner 0000006a…51be
- 013fb895bd1b 013fb895…575f
- Edu 0180fadf…063d
- Leonardo C.⚡️☕️ 01cf5838…8c97
- 03010e2ae33d 03010e2a…156c
- FarmDev 06074eae…3618
- Stanley Calderelli 06888050…4fe8
- DEVHOLD 082b7a68…e827
- Bmarvalho 088b1e93…f265
- madu 097bc601…bbf7
- stim4444 0aeaec33…f537
- Extropia.xhg 0bc94bc1…2002
- 0c2e20aa0f1f 0c2e20aa…c31e
- Platão Ancap 🏴☠️ 0e6a588b…cdf2
- Por um punhado de Bitcoins 1018b9b0…8101
- Cachorro Nervoso | P2P 1076b75d…dd7d
- Diego Kolling 12aa13a2…c82d
- Raicher 14555c06…a0f3
- Bruno 15a072d9…9fb8
- 15c27c45b031 15c27c45…04b8
- nobody 16b43327…65e0
- Bilbo 17a37b7c…8792
- Marco Batalha 17d277dc…c3e8
- 1ab79f84473f 1ab79f84…dab3
- Cauê Oliveira 1b2eb5e1…1c43
- 1d485daf0a86 1d485daf…0429
- 1e6bc48e3fee 1e6bc48e…7261
- 1e6bc7b9679e 1e6bc7b9…f3a4
- 1f437e94e8c0 1f437e94…8480
- LeLeo⚡️ 1fe903e3…e4f0
- 20a2aaf2a21e 20a2aaf2…e146
- 248493eb73fd 248493eb…9f28
- 26373524fdc4 26373524…3a79
- Terry Yiu 2779f3d9…98d1
- Isa 2788ceed…e714
- 2b870f7a817d 2b870f7a…cb31
- 2c0422870634 2c042287…2ecf
- 2f1f96b7c19f 2f1f96b7…68f4
- Tom 3003eb2e…f3bf
- 312a8e1103b0 312a8e11…7756
- Costa 322eaf4b…f08c
- @Li₿ertonho 32d54cd4…4281
- 33674e84085a 33674e84…6cdb
- 36ae0a7f4bd7 36ae0a7f…66fd
- HoppeAna 38abc08e…09a5
- Huberto Leal 3beba45c…5d69
- fiatjaf 3bf0c63f…459d
- 3f19d4b5cfb1 3f19d4b5…31bd
- LibertContador 41391bbe…5bfe
- Túrin Turambar 45d6be84…8b2b
- Vitor Pamplona 460c25e6…065c
- 473e67022c1d 473e6702…8f76
- Alex Emidio 4ba8e86d…2de4
- 4c2d4902c972 4c2d4902…6e25
- 4c5a061c9c21 4c5a061c…99ea
- Ava 4eb88310…5d6d
- 4f1945e71891 4f1945e7…b6eb
- Bitdenaro 4f33169e…77c6
- 529282351f23 52928235…b691
- O MA̶GO⚡🤘🏻 53b7a125…56b8
- BTC Doom Guy 56765052…0560
- 577a74ce5809 577a74ce…ffa9
- 58a984ec375a 58a984ec…f43d
- Seth For Privacy 58ead82f…08f9
- 59c37ed186b6 59c37ed1…7dd3
- 5abcdf4d9e26 5abcdf4d…3c3a
- 5b12cc0c9966 5b12cc0c…8d33
- 5bc6ad2eaebf 5bc6ad2e…c64b
- Birinaite 🤙 5c2f3a66…4074
- Agorista 5ca042b0…01c1
- 5f5f1bfded11 5f5f1bfd…3e34
- 65865a470f0f 65865a47…498b
- 6662a175d0e8 6662a175…1b08
- 668dda758e05 668dda75…2f03
- Jeffrey Sun birthrates.org 66d7101a…7c7c
- Instituto Rothbard 671bb79a…504b
- Obritzka 69eead65…3447
- 6bd0b0850aee 6bd0b085…1d1d
- 6d49e2285d27 6d49e228…8065
Cached pubkeys that follow this user, discovered from kind 3 events.
- Edu 0180fadf…063d
- npub1qfu6krl 0279ab0f…6990
- FarmDev 06074eae…3618
- Por um punhado de Bitcoins 1018b9b0…8101
- Cachorro Nervoso | P2P 1076b75d…dd7d
- Bruno 15a072d9…9fb8
- Marco Batalha 17d277dc…c3e8
- Costa 322eaf4b…f08c
- @Li₿ertonho 32d54cd4…4281
- HoppeAna 38abc08e…09a5
- Balduíno 3a7c3b14…5a22
- O MA̶GO⚡🤘🏻 53b7a125…56b8
- Agorista 5ca042b0…01c1
- Obritzka 69eead65…3447
- bbgx 6e53dc67…ebc8
- Indômitos 9cc80630…bb34
- Base Bitcoin a79948f6…1d55
- Humanfreedom b1766aae…283e
- Bruno Conter b897109f…0045
- Godot ce4592f1…5d88
- GUERRElR0 efb5c2bc…9583
+------------------------------------------------------------------------------+
|
|
Identifiers
npub: npub1defacec8n600n5u79a62xhrzldpzy00cmtxjff8u2hapw9gya0yqhhu35c
hex: 6e53dc67079e9ef9d39e2f74a35c62fb42223df8dacd24a4fc55fa171504ebc8
no cached metadata event yet
+------------------------------------------------------------------------------+
Suggested read/write relays from this user's latest kind 10002 event.
- No cached NIP-65 relay hints yet.