Forwarded from (φ (μ (λ)))
YouTube
Lambda Calculus Then and Now
Talk by ACM A.M. Turing Laureate Dana S. Scott during the ACM A.M. Turing Centenary Celebration, June, 2012.
Abstract:
A very fast development in the early 1930s, following Hilbert's codification of Mathematical Logic, led to the Incompleteness Theorems…
Abstract:
A very fast development in the early 1930s, following Hilbert's codification of Mathematical Logic, led to the Incompleteness Theorems…
Forwarded from /v/ do Brasil (DOOM GUY)
Nintendo Sued Another ROM Site... And Won.
https://www.cbr.com/nintendo-win-lawsuit-pirated-games-france/
https://www.cbr.com/nintendo-win-lawsuit-pirated-games-france/
CBR
Nintendo Wins Long-Time Lawsuit In France Over Pirated Games
Don't mess with Nintendo - the company has just won another lawsuit against developers who pirated their games.
Descobri essa alternativa:
https://newpipe.net/
https://newpipe.net/
NewPipe
NewPipe - a free YouTube client
Forwarded from Programming Deadlock
Understanding Machine Learning: From Theory to Algorithms
https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf
https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf
Forwarded from Heartbleed
#info #dicas
Lista que ensina como substituir tarefas feitas em JavaScript com CSS para diminuir o uso de recursos e facilitar o desenvolvimento dos sites.
https://github.com/you-dont-need/You-Dont-Need-JavaScript
Lista que ensina como substituir tarefas feitas em JavaScript com CSS para diminuir o uso de recursos e facilitar o desenvolvimento dos sites.
https://github.com/you-dont-need/You-Dont-Need-JavaScript
GitHub
GitHub - you-dont-need/You-Dont-Need-JavaScript: CSS is powerful, you can do a lot of things without JS.
CSS is powerful, you can do a lot of things without JS. - you-dont-need/You-Dont-Need-JavaScript
⚡4🔥1
Forwarded from /v/ do Brasil (Hiei 神)
O futuro da preservação de games vai chegar no PS2!
psretrox, é uma ferramenta de decompilação e recompilação de jogos de PS2, no futuro vai permitir ports dos jogos em versões nativas para PC, semelhante ao que vimos com Nintendo 64 e XBOX 360.
O projeto é criado por Joaquín Lucas Nieto, um estudante de engenharia e está em estágio inicial de desenvolvimento.
Imagina as possibilidades de ter jogos de PS2 rodando nativamente no PC!
Links:
Github aqui
Notícia dada aqui
psretrox, é uma ferramenta de decompilação e recompilação de jogos de PS2, no futuro vai permitir ports dos jogos em versões nativas para PC, semelhante ao que vimos com Nintendo 64 e XBOX 360.
O projeto é criado por Joaquín Lucas Nieto, um estudante de engenharia e está em estágio inicial de desenvolvimento.
Imagina as possibilidades de ter jogos de PS2 rodando nativamente no PC!
Links:
Github aqui
Notícia dada aqui
👍1 1
Deleted Account
https://news.1rj.ru/str/boost/NerdolasTech
Pra quem quiser ajudar ⬅️ ↔️ ➡️
Please open Telegram to view this post
VIEW IN TELEGRAM
Quase 8 mil dolares o curso CS103 de stanford
O pobre que se foda mesmo hem
O pobre que se foda mesmo hem
🤣7
Curso de disassembly em processadores de ECUs (módulos de veículos)
- Aparentemente é um processador de um módulo de injeção, mas não consegui identificar de qual carro
https://www.ghidrauto.com/home-1
#car #assembly #ghidra
- Aparentemente é um processador de um módulo de injeção, mas não consegui identificar de qual carro
https://www.ghidrauto.com/home-1
#car #assembly #ghidra
❤🔥2
Hackeando um VW GOLF
Ele tenta modificar o firmware da ECU de direção eletrõnica (EPS) e extrai ate o bootloader da ECU
https://icanhack.nl/blog/vw-part1/
#car #hacking #ECU
Ele tenta modificar o firmware da ECU de direção eletrõnica (EPS) e extrai ate o bootloader da ECU
https://icanhack.nl/blog/vw-part1/
#car #hacking #ECU
Livro SICP (Structure and Interpretation of Computer Programs)
https://github.com/lambda-study-group/sicp
#lambda #livro #sicp #programação
https://github.com/lambda-study-group/sicp
#lambda #livro #sicp #programação
GitHub
GitHub - lambda-study-group/sicp: Exercises of Structure and Interpretation of Computer Programs in different languages
Exercises of Structure and Interpretation of Computer Programs in different languages - lambda-study-group/sicp
O CECIERJ deixa público as aulas e palestras do curso de Tecnologia em sistemas de computação.
🐱 > https://www.cecierj.edu.br/videoaulas/
#curso #computação #CC
#curso #computação #CC
Please open Telegram to view this post
VIEW IN TELEGRAM
⚡3
Repositório que oferece uma grande variedade de conteúdos relacionados a android e ios
. livros
. cursos
. ferramentas
. artigos
. dicas
🎈 > https://github.com/vaib25vicky/awesome-mobile-security
#android #git #dicas
. livros
. cursos
. ferramentas
. artigos
. dicas
#android #git #dicas
Please open Telegram to view this post
VIEW IN TELEGRAM
⚡2
O Leo Editor é um (IDE) e um (PIM), que também é um excelente organizador de tópicos (outliner). Uma coisa interessante é que a estrutura de dados dele é toda fundamentada em grafos acíclicos direcionados (DAGs).
https://leo-editor.github.io/leo-editor/
https://leo-editor.github.io/leo-editor/
Forwarded from Redshift Channel
Substitutos Livres ou de código aberto para softwares proprietários comumente usados.
Softwares dessa lista podem ser softwares executáveis ou hospedáveis de forma local em servidores domésticos, docker compose, maquina virtual, Raspberry Pi e etc.
- Editores de imagens rasterizadas como Photoshop => Gimp (gimp.org).
- Editores de imagens vetoriais como Adobe Illustrator, Corel Draw, Canva e Affinity Designer => Inkscape (inkscape.org).
- Editores de vídeo como Adobe Premiere Pro, Sony Vegas => Kdenlive (kdenlive.org).
- Editores de áudio como Adobe Audition => Audacity (audacityteam.org) e plug-ins (plugins.audacityteam.org).
- DAWs como FL Studio, Reaper, GarageBand => LMMS (lmms.io).
- Softwares para criação de design editorial como Adobe InDesign => Scribus (sourceforge.net/projects/scribus/) e GhostScript (ghostnoscript.com) para as fontes.
- Software de modelagem, animação e produção em 3D como Cinema 4D, 3D Max, Maya, Adobe Substance 3D => Blender (blender.org)
- Softwares de criação de efeitos especiais, animações, pós produção como Adobe After Effects => Blender pra pós processamento e VFX/GFX (blender.org), Natron pra VFX (natrongithub.github.io).
- Leitores de E-Books como Adobe Acrobat => Okular (okular.kde.org)
- Softwares para criação, prototipagem e previsão de UI/UX como Adobe XD, Figma => Penpot (penpot.app) (Web, self-hosted e dockerizado).
- Software para edição de fotos do tipo RAW e fotografia como Adobe Lightroom => DarkTable (darktable.org).
- Biblioteca de fontes como Adobe Fonts => DaFont (dafont.com/pt/new.php?l[]=10&l[]=1) selecione apenas as fontes livres ou domínio público.
- Software para conversão e codificação de áudio e vídeo como Adobe Media Encoder => Handbrake (handbrake.fr), ffmpeg (ffmpeg.org), Avidemux (avidemux.sourceforge.net) e Shutter Encoder (shutterencoder.com).
- Software para desenho rasterizado como Adobe Photoshop (para desenho rasterizado), Adobe Fresco => Krita (krita.org).
- Software para edição de arquivos web e criação de sites como Adobe DreamWeaver => Silex (silex.me), VSCodium e extensões auxiliares (vscodium.com).
- Software para animação como Adobe Character Animator => Blender (função de animação 2D) e Enve (maurycyliebner.github.io).
- Software de escritório como Microsoft Office, Google Workplace => LibreOffice (libreoffice.org), Apache - OpenOffice (openoffice.org).
- Software para anotação e produtividade como Microsoft OneNote, EverNote => Joplin (joplinapp.org) e Joplin Server (github.com/laurent22/joplin/tree/dev/packages/server) caso queira sincronizar numa instância self-hosted.
IDEs proprietárias => VSCodium (vscodium.com) , Vim/NeoVim (vim.org, neovim.io), GNU Emacs (gnu.org/software/emacs/).
- Software para hospedagem auto hospedada de serviços como CloudRon ou Docker Compose => YunoHost (yunohost.org), FreedomBox (freedombox.org).
- Serviços de armazenamento de arquivos online como Google Drive, Mega, OneDrive, Dropbox... => Comprar um HD externo, NAS, NextCloud (nextcloud.com), ownCloud (owncloud.com/), se atente nas versões 'community' pois são softwares OSS que visam o lucro.
- Serviços de armazenamento de senhas como 1Password, Lastpass, Bitwarden => Teampass (teampass.net), Keepass (keepass.info), Keeweb (keeweb.info).
- Serviço de upload de arquivos de forma temporária como Mozilla Send ou Anonfiles => Send (github.com/timvisee/send).
#Links #FOSS #Libre #Lists #Software #Alternatives #SelfHosted
@PutridChannel
Softwares dessa lista podem ser softwares executáveis ou hospedáveis de forma local em servidores domésticos, docker compose, maquina virtual, Raspberry Pi e etc.
- Editores de imagens rasterizadas como Photoshop => Gimp (gimp.org).
- Editores de imagens vetoriais como Adobe Illustrator, Corel Draw, Canva e Affinity Designer => Inkscape (inkscape.org).
- Editores de vídeo como Adobe Premiere Pro, Sony Vegas => Kdenlive (kdenlive.org).
- Editores de áudio como Adobe Audition => Audacity (audacityteam.org) e plug-ins (plugins.audacityteam.org).
- DAWs como FL Studio, Reaper, GarageBand => LMMS (lmms.io).
- Softwares para criação de design editorial como Adobe InDesign => Scribus (sourceforge.net/projects/scribus/) e GhostScript (ghostnoscript.com) para as fontes.
- Software de modelagem, animação e produção em 3D como Cinema 4D, 3D Max, Maya, Adobe Substance 3D => Blender (blender.org)
- Softwares de criação de efeitos especiais, animações, pós produção como Adobe After Effects => Blender pra pós processamento e VFX/GFX (blender.org), Natron pra VFX (natrongithub.github.io).
- Leitores de E-Books como Adobe Acrobat => Okular (okular.kde.org)
- Softwares para criação, prototipagem e previsão de UI/UX como Adobe XD, Figma => Penpot (penpot.app) (Web, self-hosted e dockerizado).
- Software para edição de fotos do tipo RAW e fotografia como Adobe Lightroom => DarkTable (darktable.org).
- Biblioteca de fontes como Adobe Fonts => DaFont (dafont.com/pt/new.php?l[]=10&l[]=1) selecione apenas as fontes livres ou domínio público.
- Software para conversão e codificação de áudio e vídeo como Adobe Media Encoder => Handbrake (handbrake.fr), ffmpeg (ffmpeg.org), Avidemux (avidemux.sourceforge.net) e Shutter Encoder (shutterencoder.com).
- Software para desenho rasterizado como Adobe Photoshop (para desenho rasterizado), Adobe Fresco => Krita (krita.org).
- Software para edição de arquivos web e criação de sites como Adobe DreamWeaver => Silex (silex.me), VSCodium e extensões auxiliares (vscodium.com).
- Software para animação como Adobe Character Animator => Blender (função de animação 2D) e Enve (maurycyliebner.github.io).
- Software de escritório como Microsoft Office, Google Workplace => LibreOffice (libreoffice.org), Apache - OpenOffice (openoffice.org).
- Software para anotação e produtividade como Microsoft OneNote, EverNote => Joplin (joplinapp.org) e Joplin Server (github.com/laurent22/joplin/tree/dev/packages/server) caso queira sincronizar numa instância self-hosted.
IDEs proprietárias => VSCodium (vscodium.com) , Vim/NeoVim (vim.org, neovim.io), GNU Emacs (gnu.org/software/emacs/).
- Software para hospedagem auto hospedada de serviços como CloudRon ou Docker Compose => YunoHost (yunohost.org), FreedomBox (freedombox.org).
- Serviços de armazenamento de arquivos online como Google Drive, Mega, OneDrive, Dropbox... => Comprar um HD externo, NAS, NextCloud (nextcloud.com), ownCloud (owncloud.com/), se atente nas versões 'community' pois são softwares OSS que visam o lucro.
- Serviços de armazenamento de senhas como 1Password, Lastpass, Bitwarden => Teampass (teampass.net), Keepass (keepass.info), Keeweb (keeweb.info).
- Serviço de upload de arquivos de forma temporária como Mozilla Send ou Anonfiles => Send (github.com/timvisee/send).
#Links #FOSS #Libre #Lists #Software #Alternatives #SelfHosted
@PutridChannel