Haskell en la ETSIIT @Haskell_ETSIIT
Investigar la definición de función, la noción de aplicación de funciones y la recursión. Resolver el Entscheidungsproblem. github.com/ringstellung Joined May 2015-
Tweets870
-
Followers173
-
Following146
-
Likes176
Haskell en la ETSIIT retweeted
La región alemana de Hesse prohibe el uso de los programas del paquete Microsoft Office 365 porque la información de estudiantes y maestros “podría estar expuesta a las agencias de espionaje de Estados Unidos” ow.ly/rnG250uZkqi
0
3
4
0
0
Download Image
10 formas de generar una clave aleatoria en la línea de órdenes de Linux. #Linux howtogeek.com/howto/30184/10…
Haskell en la ETSIIT retweeted
Así será la mejora de rendimiento del Xiaomi Mi A3 . buff.ly/2YT9FMe
Haskell en la ETSIIT retweeted
@Haskell_ETSIIT Hoy he aprendido que Haskell también dio nombre a la Currificación es.wikipedia.org/wiki/Currifica…
Agat IV, un clon de Apple creado en la URSS. (de @doctorow) thevaultoftheatomicspaceage.tumblr.com/post/181976107…
El Principio de Lectura Única profundamente analizado y con aplicación al lambda-calculus #lambdaCalculus fermatslibrary.com/p/323a5274
Haskell en la ETSIIT retweeted
Aprende a aplicar #Python en la Docencia y la Investigación de la mano de Pedro González Rodelas en las #JSLUGR18 Estamos retransmitiendo el taller en vivo en sl.ugr.es/sala1
Practical #Haskell - Getting Started with #Stack seanhess.github.io/2015/08/04/pra…
Haskell en la ETSIIT retweeted
¡Atención! @IndraCompany está ofreciendo un curso gratuito de @java y @angular de 180 horas en @granada con posibilidades de incorporación para los que los superen. Si estás interesado o conoces a alguien que pueda estarlo escríbeme por privado. Último curso de Informática min.
Haskell en la ETSIIT retweeted
Users of the OpenSWAD educational platform come from these 1545 institutions:
Notación polaca debida a Jan Łukasiewicz (1924), en especial para los símbolos lógicos: en.wikipedia.org/wiki/Polish_no…
Un listado de símbolos lógicos. en.wikipedia.org/wiki/List_of_l…
Haskell en la ETSIIT retweeted
Entender la tangente trigonométrica. geogebra.org/m/Y9sDpg5a
Para todo número natural n, n³ - 1= (n - 1)(n(n +1)+1) Esto le ayudará a entenderlo. buff.ly/2ryHiU8
Pruebe sus #regex para #Python en pythex.org
Etcher es la herramienta definitiva para grabar sus imágenes de Linux. muylinux.com/2017/07/06/etc…
Guía de instalación de #Ubuntu 18.04 LTS con #Unity muylinux.com/2018/05/07/gui…
Regular Expressions from Emacs Wiki #regexp #regex emacswiki.org/emacs/RegularE…
#regex quick start rexegg.com/regex-quicksta…
Haskell en la ETSIIT retweeted
«I would rather have questions that can't be answered than answers that can't be questioned» -- Richard Feynman buff.ly/2HhV1by
Richard Snow @RichSnow248cs
164 Followers 3K Following See @RichSnow707 & @RichardSno1134 Fmr Cmptr #Scientist @ #LLNL & wrkd w/ Dr Jerry Pournelle @ #Pepperdine Rsrch Inst, LA Prior #USAF Nav No DM *science a/c
Rubén @_TRuben_
27 Followers 92 Following Programmer. Interested in architecture, performance and SRE.
Jonathan 'Poak' @JonathanFdezM
113 Followers 916 Following 🖥️ Full Stack Developer at @Matrix42_global 🎮 Team Lead | Head of DevOps & CI/CD at @ValanniaGame 🌏 Kuopio, Finland 🇫🇮
Dawid Furman @dfurmans
235 Followers 1K Following A computer and human language passionate. Enthusiast of the functional paradigm. SolYNaranjaS guitar artist. Motorcycles&Rollerblades Java&Scala Developer
Miguel Sánchez @MigueSanchez18
161 Followers 212 Following Estudiante de Doble Grado en Ingeniería Informática y Matemáticas. Apasionado por la naturaleza y el mundo de las motos!!
Alberto @alberpilot
263 Followers 470 Following Computer engineer and Master degree. IT Security Developer
Jóse Miguel @josemlp91
183 Followers 549 Following
Koki @Koki57719924
2 Followers 20 Following
J. López-Montes @j_lopezmontes
474 Followers 979 Following Compositor, pianista y músico visual. Tecnología musical y Matemáticas en el @RCSMVE.
xiou @xiou16
3 Followers 211 Following
Bart Ortiz @bortizmath
754 Followers 3K Following Applied Machine Learning. Postdoc at @citic_ugr 🏫 I talk about maths and AI in @thefluxions 🎙️ @atpatc 🗣 and @pydatagrx 📊 ☕, 🏔️ and 🪲. He/Him
Nesto Rock @nesto_rock
68 Followers 281 Following
Linux en Español @linux_espanol
1K Followers 554 Following Si te gusta utilizar linux tanto como a nosotros este es tu blog. Si necesitas ayuda con algún problema de linux, este es tu blog! Linuxero, este es tu blog!
Loyd_88 @Loyd_88
30 Followers 5K Following
Diop @Diop01979966
9 Followers 419 Following
Signify Technology @Signify_Tech
3K Followers 2K Following We aim to build exceptional teams in the tech space, focusing on two core engineering specialisms: Advanced Software Engineering and AI, ML, & Data Engineering.
Jose Manuel Perez @ManePerez18
2 Followers 20 Following
Armbian Linux @armbian
7K Followers 1K Following Leading Linux OS for single-board computers - optimized for performance, stability, and versatility. Key features: https://t.co/hhUmruNU5c
XyronLabs @XyronLabs
199 Followers 718 Following English&Spanish game-dev community! Created by @ACharLuk
LibreLabGRX | @librel... @LibreLabGRX
674 Followers 478 Following Software, hardware y cultura libre desde Granada 🐧💻👩💻👨💻 #softwarelibre #hardwarelibre #culturalibre 💬 https://t.co/OQgXqddkk5 💬 #librelabgrx:https://t.co/fynuCkvqVW
Rob Voccola @robvoccola
3K Followers 3K Following #Marketing Leader | I help tech startups generate their first revenue and mentor founders on the ideals of messaging, branding and demand gen. @nobodycrowd
Juan Bono @JuanBono
593 Followers 4K Following
Agam @agambrahma
718 Followers 6K Following Foolish stuff ... I read _all_ the things :-) Email: [email protected]
Garde Lecumberri @jose_garde
43K Followers 35K Following #DigitalMarketing #Marketing #SocialMedia #Bigdata #Analytics #innovation #BusinessIntelligence #SalesManagement #B2B #IoT #AI #VR #artificialintelligence #ML
Specops Software @specopssoftware
3K Followers 3K Following Specops Software is the leading provider of enterprise password management and authentication solutions. We block weak passwords and secure user authentication.
openslackdev @openslackdev
219 Followers 1K Following Los hombres son, cada vez más, autómatas que fabrican máquinas que actúan como hombres y producen hombres que funcionan como máquinas
David Brao Serrano @dabrase
236 Followers 569 Following Estudiante de Ingeniería Informática en la UGR. Un loco del deporte y la tecnología...
2H Solutions @HighHardware
74 Followers 182 Following Empresa dedicada al desarrollo de proyectos de IoT para empresas y particulares. Trabajamos en la creación de productos tecnológicos innovadores.
Marlene @marlenelisvas
24 Followers 131 Following
Andrew Dennis @Andrew_Dennis
17K Followers 14K Following Chief Operating Officer at Dennis & Co. Auto Group; Principal, Digital & Investment Advisory at Collaxa
LOL@TXwitterFASCIST @stphrolland
880 Followers 7K Following I am Earthling-European ⁂⧖⏚ #NotMyHumanity Anti-Science of Fascist Human-Apes= We are the best, all the others are fools, let's shut their mouth, muhuhahaha !!
Alex Rodríguez Lópe... @AlxR00Z
30 Followers 197 Following Computer engineering student at #ETSIIT #UGR
Luis @luisogarciaX
89 Followers 1K Following
Davó.hpp 🍅🌻�... @DSinapellido
663 Followers 2K Following Doctorando que es gerundio ¯\_(ツ)_/¯. Superpolicomplutécnico #justgetmydata #ihaskell エンジニャ 😼 Hablo de mangas en @kotatsuyasumi_ 🇪🇸/🇬🇧/🇯🇵
Psicobyte @psicobyte_
1K Followers 277 Following Autodidacta (lo que implica que me enseñó uno que no sabía). Bastante cuñao.
Campus UGRingenieras @UGRingenieras
707 Followers 559 Following Cuenta del proyecto "Campus UGR para chicas" FCT-16-11678, financiado por @FECYT_ciencia para fomentar carreras tecnológicas entre las mujeres
Nacho Aguilera @NachoFuckOff
149 Followers 350 Following
Hotito @hotitooo
13 Followers 357 Following
antcc @antoniocoin
250 Followers 298 Following
atareao 🦀 🐍 �... @atareao
8K Followers 181 Following Bienvenido a mi ventana a Linux y al Open Source. Cualquier cosa que quieras hacer con Linux seguro que la encontrarás en https://t.co/Zrnr1uaK82.
Linux en Español @linux_espanol
1K Followers 554 Following Si te gusta utilizar linux tanto como a nosotros este es tu blog. Si necesitas ayuda con algún problema de linux, este es tu blog! Linuxero, este es tu blog!
Eduardo Sáenz de Cab... @edusadeci
112K Followers 2K Following Matemático. Presento @orbitalaika_tve Estoy en @unirioja @BigVanCiencia #Derivando He escrito tres libros de mates yo solito
XyronLabs @XyronLabs
199 Followers 718 Following English&Spanish game-dev community! Created by @ACharLuk
LibreLabGRX | @librel... @LibreLabGRX
674 Followers 478 Following Software, hardware y cultura libre desde Granada 🐧💻👩💻👨💻 #softwarelibre #hardwarelibre #culturalibre 💬 https://t.co/OQgXqddkk5 💬 #librelabgrx:https://t.co/fynuCkvqVW
Lucida Consulting @Lucida_Co
888 Followers 124 Following With a focus on values alignment, Lucida helps create career-relationships, offering an effective, tailored approach to tech recruitment.
Rob Voccola @robvoccola
3K Followers 3K Following #Marketing Leader | I help tech startups generate their first revenue and mentor founders on the ideals of messaging, branding and demand gen. @nobodycrowd
Rubén @__irbn__
460 Followers 1K Following Interesado en tecnología, psicología y ciencias políticas. Sé algo de informática y matemáticas, de lo demas soy un cuñado. Hablo de programación en @_TRuben_
Adobe Document Cloud @AdobeDocCloud
44K Followers 3K Following Document Cloud is everything you need to create digital document workflows. @Acrobat & #AdobeAcrobatSign help you work quickly, securely, and seamlessly.
Garde Lecumberri @jose_garde
43K Followers 35K Following #DigitalMarketing #Marketing #SocialMedia #Bigdata #Analytics #innovation #BusinessIntelligence #SalesManagement #B2B #IoT #AI #VR #artificialintelligence #ML
Specops Software @specopssoftware
3K Followers 3K Following Specops Software is the leading provider of enterprise password management and authentication solutions. We block weak passwords and secure user authentication.
Fermat's Library @fermatslibrary
777K Followers 4 Following A platform for illuminating academic papers. We annotate and share a paper every week. Save, annotate and share papers with anyone: https://t.co/0o2Pls3jmo
Regular Expression @RegexTip
75K Followers 19 Following Learn to use regular expressions by following RegexTip. From @JohnDCook.
Andrew Dennis @Andrew_Dennis
17K Followers 14K Following Chief Operating Officer at Dennis & Co. Auto Group; Principal, Digital & Investment Advisory at Collaxa
LOL@TXwitterFASCIST @stphrolland
880 Followers 7K Following I am Earthling-European ⁂⧖⏚ #NotMyHumanity Anti-Science of Fascist Human-Apes= We are the best, all the others are fools, let's shut their mouth, muhuhahaha !!
DesarrolloWeb.com @deswebcom
69K Followers 38 Following Sitio dedicado al desarrollo de páginas web: DesarrolloWeb.com. Creado en 1999 y hoy una referencia en cuanto a documentación y manuales para desarrolladores.
sharelatex @sharelatex
3K Followers 247 Following An online collaborative LaTeX editor in your browser. Write LaTeX with others and see the changes in real time.
Pedro Duque @astro_duque
493K Followers 436 Following Ingeniero Aeronáutico de @La_UPM. Astronauta @ESA. Presidente Deimos Imaging SL. Ministro de Ciencia e Innovación de España 2018-2021. Presidente @Hispasat SA
Ildefonso Castro @ICastro_Baeza
263 Followers 334 Following Una filosofía: El hombre que no vive para servir no sirve para vivir.
Alberto @alberpilot
263 Followers 470 Following Computer engineer and Master degree. IT Security Developer
José Ant. Gómez Hde... @jagomez_
183 Followers 439 Following Brel cantaba ... mais qui n'avance pas recule ..., yo lo intento. Granada
Paulo @pmora256
1 Followers 3 Following
MELPA @melpa_emacs
3K Followers 23 Following News and updates about Emacs' biggest package repository.
BIconnections @biconnections
57K Followers 34K Following Networking | connecting | people | technology | #process | #Business #Intelligence | #Information #Management | #data | learning discussions | #Community
Mario Román @mroman42
335 Followers 287 Following This account is mostly inactive. Please do reach me via email :) https://t.co/NPHLcBtWu2
LibreIM @libreim_
309 Followers 103 Following Comunidad de estudio y divulgación de la Informática y las Matemáticas, desde Granada
Juan Ramón González @jrgonzalezg
534 Followers 2K Following Senior Android Engineer at @gomoredk. Also founded @quadbits. EN/ES tweets.
Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Carlos @carlosemanglano
1K Followers 4K Following Padre de 🦄🐼. Español, Gallego, Madrileño de adopción. Ingeniero Aeronáutico. 🇪🇦🇺🇲🇬🇧🇩🇪🇪🇸
Yves Mulkers @YvesMulkers
100K Followers 78K Following #Data strategist. Define & Design #Data #Strategy for Impact. Love Music and DJ-ing, Founder @7wData
Yes We Tech @yeswetech_org
3K Followers 1K Following Comunidad feminista trabajando por una cultura igualitaria y orgullosa de la mujer interesada en la tecnología. [email protected]
Anthony Pisapia @anthonypisapia
16K Followers 17K Following Fmr. Associate Head and CIIO @THSDE, Founding Head @zipcodewilm, @PennGSE alum.
Python Alicante @python_alc
999 Followers 384 Following Comunidad local de #Python localizada en #Alicante #PythonALC Eventos: https://t.co/1Y9ZaoKLpF Chat: https://t.co/N76BCsdjfu Discord: https://t.co/z9EyxYYE5S
Carlos Santisteban @zuiko21
584 Followers 297 Following @[email protected] Por contradictorio que parezca, autodidacta y un tanto retro
David Plaza @DPlazaV
5K Followers 90 Following Redactor en @motorpuntoes. https://t.co/sczDC8P32n y @foroelectricos, espectro en @GPCaster.
openswad.org @OpenSWAD
12K Followers 12K Following https://t.co/kynBTSLrh6 is a 100% free learning management system for teachers and students, provided by the non-profit OpenSWAD Association. Join us for free!
SWAD - UGR @swad_ugr
3K Followers 1K Following Plataforma web de apoyo a la docencia SWAD (Shared Workspace At a Distance). Universidad de Granada.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
PAULA / No estoy aqu�... @Terceranexus6
4K Followers 4K Following Investigación de Linux y open source; Threat Intel; Privacidad y soberanía digital; presidenta cofundadora de Interferencias; profe | Opinions are my own
OrangePi @orangepixunlong
7K Followers 1K Following Welcome to our Official OrangePi Twitter account. The World's Leading Open-Source Single-Board Computer Producer. Join telegram https://t.co/NKxsmYEwxc…
Computer Science @CompSciFact
251K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
El Grupo Informático @EGInformatico
83K Followers 75K Following Noticias y Tutoriales de informática sobre Software, Hardware, Internet, Windows, Android, Redes Sociales, Videojuegos, Telefonía Móvil, Apps...
Alvaro Hurtado ۞ @AlvaroLab
669 Followers 936 Following Product Manager, Chef Amateur, Internet Lover, Wannabe Entrepreneur, Backpacker, Sarcastic, Hater My own projects: https://t.co/j00Wu4sMt5 https://t.co/RfAnklecxiTrends for United States
29,2 B posts
17,1 B posts
2.744 posts
50,6 B posts
8.534 posts
21,4 B posts
4.289 posts
84,4 B posts
4.486 posts
1.656 posts
172 B posts
4.320 posts
9.596 posts
2.660 posts
3.227 posts
11,5 B posts
7.752 posts
34,3 B posts
2.139 posts
1.090 posts
You might like
Antonio Cañas Vargas
@acanasvargas
2K Followers
Pedro A. Castillo
@pacastillo
618 Followers