neskeip @neskeip
✖ Math / Scala / Formal Methods ✖ github.com/rafafrdz localhost Joined October 2011-
Tweets13K
-
Followers337
-
Following393
-
Likes2K
muy de acuerdo, lo siento por los actores de doblaje o interpretación
muy de acuerdo, lo siento por los actores de doblaje o interpretación
Kingdom Hearts cumple 22 años... la puta saga de mi vida, tengo claro que sin ella no sería como soy a día de hoy. Además, tuve la oportunidad de escribir un libro hablando sobre ella con @HeroesdePapelES y del que aún quedan algunas copias! heroesdepapel.es/productos/el-d…
Scala Times Issue 522 - scalatimes.com/ddaef5b74d - powered by @kpciesielski @kubukoz @lambda_conf @lukasz_bialy @makingthematrix @neskeip @pj_fanning @ScalaMatsuri @scalarconf & others, thx!
En el fondo queria que Alvaro se fuera con su tentadora, aunque fuera para conocerla #LaIslaDeLasTentaciones3
Andrea es una persona tóxica, y lo peor de todo es que sus compañeras intentan normalizar su comportamiento y justificarla... #LaIslaDeLasTentaciones2 #LaIslaDeLasTentaciones7
Andrea, 18 años, maltrata a Álvaro claramente. Está enferma. La defienden comentando que "no controla sus impulsos". Alejandro Nieto, defendió a su novia, no le habló ni parecido a como Andrea le habla a Alvaro. Lo tacharon de maltratador. Hipocritas. #LaIslaDeLasTentaciones7
I'm delighted that Excel now supports first-class, lexically scoped lambda-expressions. Excel just became a Turing-complete programming language! microsoft.com/en-us/research…
Language I dislike: Java Language I begrudgingly respect: Kotlin & Idris2 Language I think is overrated: Java (x2) & Python Language I think is underrated: Prolog Language I like: Haskell Language I love: Scala Language I dream of writing in: Rust
Language I dislike: Java Language I begrudgingly respect: Kotlin & Idris2 Language I think is overrated: Java (x2) & Python Language I think is underrated: Prolog Language I like: Haskell Language I love: Scala Language I dream of writing in: Rust
Check out our repo on #GitHub
Este es nuestro primer comunicado oficial. Y nos entristece mucho que sea para daros una noticia tan dura. Campero Games necesita ayuda. Más información en las imágenes. 📧Mail [email protected] 💼Portfolio: docs.google.com/presentation/d…
@nefeerr Y eso significa que los que trabajamos tenemos que pagar 2.000€ x 9mill de pensionistas = 18.000.000.000€. Unos 1.000 euritos al año por trabajador
The waiting is over. Apache Kafka 3.5.0 is available now, officially deprecating ZooKeeper. Thanks to all 103 contributors and our RM @MickaelMaison! For details, check out the release notes downloads.apache.org/kafka/3.5.0/RE… and blog post kafka.apache.org/blog
hola @midudev ! he visto esto de million.js que hace que react sea mucho más rápido.. yo no tengo tanto conocimiento de react, sabrias decirme si esto es cierto? quizás te podria servir para un video jajajaja saludos! web: million.dev youtu.be/VkezQMb1DHw
'The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise' - Edsger Dijkstra
Wachu985 @wachu985
27 Followers 161 FollowingAyush_Gour @Ayush_Gour_Data
29 Followers 425 Following Scala Backend Developer (Scala2/3, Akka, Cats, Play, MicroServices)𝒫𝑒𝓇 𝒜𝓇.. @per_arneng
543 Followers 1K Following 🚀 Code Whisperer | 🧠 AI Enthusiast | 💻 Software Architect | Diving deep into the matrix of programming languages, AI and operating systems.David Mazarro @DavidMazarro
107 Followers 1K Following Software developer (mainly Haskell!) & frustrated musician. I also love cooking! | ENG/ESP/日本語まだ学んでる… cohost profile: https://t.co/SVblPtmPD4Tina @stephens28tina
285 Followers 3K FollowingLos 49ers @Los49ers_
891 Followers 289 Following Cuenta dedicada a los 49ers. Noticias, analisis, rumores, opinion... P.D: Soy Mario de @LaMinaPodcastElisha Camilleri @SwissBorgElisha
276 Followers 927 Following Hiring awesome engineers at SwissBorg 🚀 careers page : https://t.co/IQi3VeF9PsCristi @cristinitaa_19
78 Followers 948 Following La vida nunca nos pone frente a situaciones que no podamos superar.Paula @paulittamg
1K Followers 820 Following 🖥️🧬Using #AI to understand biology at @altos_labs | Bioengineer | PhD @cambridgeuni @turinginst @astrazeneca | Functional training 🏋🏼♀️+ yoga 🧘🏻♀️jordi the classical s.. @iordic
2K Followers 934 Following 🦊🐧🏴☠️ Hago cosas de informática y a veces de electrónica. Me gustan los gatetes. Sectario de la cultura #DIYJean Chloe @jeanchloe6
1K Followers 5K Following Academic Researcher and Writer | I help people write well researched and quality Essays, Papers & Articles MANUALLY!Gil @obicheregil
2K Followers 4K FollowingAndrea Mercado @AmercadoT9
212 Followers 267 Following Looking the way to change the world. The sky is not the limit. Master in Marketing Digital, Social media and Communications.⚔️ contra NWO (Nu.. @RobinDelEspacio
25K Followers 24K Following - ANTI-IDEOLOGÍAS - ANTI-GLOBALISTA - ➡️ Solo DESTRUYENDO la ÉLITE y sus lacayos, nuestros HIJOS tendrán PAZ !!! 👉"NO veas, lo que ellos te obligan ver"👈 -Juegosxboxspain @juegosxboxspain
3 Followers 45 Following síguenos en Instagram @juegosxboxspain codigos digitales. pregunta por tu juego tenemos el precio más bajo. también disponemos de suscripciones al mejor precio.Los KIDZZZ @loskidzzz
7 Followers 18 Following los chavales andan de rally quieren verse en París 🏁🏁🏁Lauren de Lórien @Laurendelorien
187 Followers 390 FollowingChute Apps (Carl Chut.. @ChuteApps
3K Followers 2K Following Creator of Forest Fire and Rogue Star Rescue! Forest Fire: https://t.co/YAE0URvwTc DISCORD: https://t.co/exPofG0CqvIdeas Factory @ideasfactory_es
2K Followers 1K Following El mayor concurso de ideas del ámbito universitario. Un lugar donde pasar del papel a la acción a través de la #innovación #abiertaArisai Rojo @CamaradaArisai
539 Followers 1K Following Libertad presos políticos antifascistas. Comunista.TheOpenBacteria @TheOpenBacteria
243 Followers 121 Following Somos un proyecto que mezclamos Biología, Informática y Matemáticas. Ganadores del concurso @_Impaciencia_ #SoftwareLibreAIESEC Málaga @AIESEC_Malaga
972 Followers 2K Following Organización sin ánimo de lucro más grande del mundo con la misión de desarrollar el liderazgo en los jóvenes mediante voluntariados y prácticas internacionalesÁlvaroCM @versanicus
815 Followers 1K Following #Environmental Scientist #Forest ecologist 🌲 #Doughnut economics ⭕ Cartógrafo compulsivo 🗺 Primero va la ciencia, después aportar a la causa 🍉Alejandro @Alexvalero105
12 Followers 201 FollowingConsejo Est.Ciencias .. @CEC_UMA
1K Followers 740 Following Consejo de Estudiantes de Ciencias de la UMA.Estamos para ayudarte a resolver tus dudas o problemas. https://t.co/RNggf5b92C Por estudiantes para los estudiantesHack&Beers @hackandbeers
24K Followers 15K Following Ponencias gratuitas para interesados en la seguridad informática. Ambiente distendido y acompañando las charlas con unas Beers. ¡Únete a la comunidad H&B!Impaciencia @_Impaciencia_
323 Followers 573 Following ¡Festival Impaciencia! El 28 de abril en @InfoUMA tienes una cita con el arte, la ciencia y la tecnología.➡️Don't do it yourself, let's do it together!estefano @7Estebaan
186 Followers 255 Following Nadie que escriba algo que merezca la pena puede escribir en paz. ~Matematicas.Filosofía.Javier D.Luffy @JaviEncorE
72 Followers 127 Following Una vida, repleta de fallos y correcciones, pero a la vez llena de logros.Octavîo Drëew @Dreew_Octavio
3 Followers 82 Following-A @lumoonx
38 Followers 246 FollowingDr. alpha-helix hair @JuandeBarte
377 Followers 619 Following Ph.D. Find what you love and let it kill you. #YeastBiology Opinions my ownlesslie polinesia😋 @EvelynP88552467
454 Followers 2K Following criaturita del señor desde 2013 mi sueño conoser a todos mis ídolos /me gustan los gatos obesos ¿y mi limón 4k🍋? raniux siempre vivaCesarSalcido @Cesarsalcido10
135 Followers 828 Following soy zomber, me gusta el rap , los videojuegos y hacer amigosPlanWatcher Viajes @PlanWatcher_TRV
5K Followers 2K Following Publicamos las mejores ofertas en viajes. Ahórrate entre un 30% y un 90% en viajes nacionales, a Europa, América, Asia, África y mucho más. By @PlanWatcherPedro Vílchez @pvilchez27
25 Followers 62 FollowingLab School @LabSchoolES
1K Followers 1K Following Formación de referencia en #MarketingDigital, #SEO, #AnalíticaWeb y #Criptomonedas en Málaga. @Daniel_Iglesias y @JavierCerezoClonazepam @Clonazepamers
73K Followers 323 Following CEO de la comunidad Incel Hispana. Founder de MisoginLabs. Despertando machos de este Matrix hembrista que vivimos.Simon Peyton Jones @simonpj0
5K Followers 3 FollowingFelipe O. Carvalho @_Felipe
4K Followers 2K Following SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. Imperative prog. heathen. C++/OCaml/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADIGabriel Claramunt @gclaramunt
2K Followers 1K Following Full heap developer. My tweets are not my own, the voices in my head tell me what to type.One Piece Wiki Admón.. @OPWiki_Adm
6K Followers 68 Following Cuenta de los administradores de la One Piece Wiki en español (AcXAcX & Cracker-Kun 🏴☠️) ¡Curiosidades, capítulos recientes y más! ¡SPOILERS DEL MANGA!乱铁 @_dirtyiron_
207K Followers 54 FollowingFlavius 🏴☠️ @FlavioCorpa
2K Followers 207 Following Senior Software Engineer, Haskell & Elm @Scrive 🌳 Adult chess improver #chesspunks♟️ 日本語を勉強しています(N4)🏯🟣 @ohmygoedel@math.. @ohmygoedel
2K Followers 2K Following 🖖 I enjoy the proof-theoretic and categorical aspects of human knowledge. (Mastodon: @[email protected]) (Bluesky: ohmygoedel)𝒫𝑒𝓇 𝒜𝓇.. @per_arneng
543 Followers 1K Following 🚀 Code Whisperer | 🧠 AI Enthusiast | 💻 Software Architect | Diving deep into the matrix of programming languages, AI and operating systems.Campero Games @CamperoGames
2K Followers 88 Following Mobile games company. Campero is a great team and a delicious typical malagueño snack 🥪Miguel Ángel Durán @midudev
249K Followers 736 Following 👨💻 Ingeniero de Software & JavaScript ⭐ GitHub Star · Google Dev Expert · Microsoft MVP 🔴 Twitch Partner: https://t.co/fcahiemHdr 🗣️ Discord: https://t.co/XruHkD62j3Rust Jobs 🦀 @rustjobs_dev
5K Followers 407 Following Follow us for the latest #rustlang jobs from https://t.co/lreBl2wF74. Are you hiring or looking for a job? Tag us to get retweeted!John D. Cook @JohnDCook
52K Followers 208 Following I turn business problems into math problems then solve them.Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCookRino @RinoTheBouncer
55K Followers 1K Following RPh🧬 Visual Artist📸 Lover💕 Content Creator🎬 Gaming News/Activities🎮 (#PlayStation Studios, #PS5 & #HideoKojima) #AssassinsCreed & #TombRaider Ambassador🚀Vitaly Bragilevsky @VBragilevsky
3K Followers 342 Following Developer Advocate at @JetBrains (@rustrover, @JetBrains_Fleet). Author of Haskell in Depth https://t.co/gLENKWVA9E…Alexander Granin @graninas
5K Followers 892 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher 🐪 OCaml ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker Book: Functional Design and ArchitectureScala Space @ScalaSpace
1K Followers 9 Following Where #Scala meets the industry By @VirtusLab & @softwaremillVirtusLab @VirtusLab
2K Followers 341 Following We believe modern business relies on #software. Through our services & #technology, we help the customer achieve more with software – faster.Rust Trending @RustTrending
32K Followers 1 Following Automated bot tweeting trending Rust repositories on GitHub. Not an official @github or @rustlang product. Made by @pbzweihander_rs, but not curated by.Rust Language @rustlang
142K Followers 2 Following A programming language empowering everyone to build reliable and efficient software.@[email protected].. @baldram
861 Followers 2K Following 🐘 https://t.co/wwr3IDE0lx 🔸️ Software Engineer, OSS contributor: #Scala #JVM #AWS. Opinions are my own. In free time 📸 or 🥁🎶🤘https://t.co/nEmOcQWD7tMadrid Scala Meetup @MadridScala
533 Followers 251 Following Grupo de entusiastas del lenguaje de programación Scala, residentes en Madrid o interesados en dejarse caer por aquí@kai_nyasha@mastodon... @kai_nyasha
1K Followers 471 Following Izumi Project - https://t.co/IQ53Zm0j6Q • distage, DI Framework for Scala • IdeaLingua, RPC for Scala/TypeScript/C#/Go • LogStage Mastodon: @[email protected]@LukaJacobowitz@masto.. @LukaJacobowitz
3K Followers 595 Following I mostly tweet about Functional Programming, bikes & urbanism. Works @CompStak, maintainer of @typelevel Cats 🐱 I care about equality. He/himScaLatin @ScaLatinMeetup
51 Followers 19 Following En ScaLatin aprenderás sobre cómo desarrollar aplicaciones usando Scala, un gran lenguaje de programación que corre sobre la JVM #ScaLatinMeetupAnton Kovalevsky @antonkw_sky
78 Followers 132 Following Attempts to write (FP & Scala): https://t.co/oeTRSUVCkQLa Mina Podcast @LaMinaPodcast
1K Followers 193 Following Club de Fans Oficial de los SF @49ers en España (49ers Official Fan Chapter in Spain) Escúchanos en: https://t.co/a03YtXGfPq…Los 49ers @Los49ers_
891 Followers 289 Following Cuenta dedicada a los 49ers. Noticias, analisis, rumores, opinion... P.D: Soy Mario de @LaMinaPodcastJorge Vásquez @jorvasquez2301
436 Followers 646 Following Software engineer @zivergetech | ZIO | Scala | Rust | Functional ProgrammingJulien Truffaut @JulienTruffaut
3K Followers 372 Following Scala developer, co-founder of https://t.co/5McTCBLUpJ and https://t.co/9GRgKQbwPSNoel Welsh is @noelwe.. @noelwelsh
3K Followers 503 Following Functional programming, machine learning, and creative coding. At @innerproductllc and @underscoreioMiles Sabin @milessabin
9K Followers 738 Following Partner @underscoreio, @Typelevel cofounder. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Internationalist. https://t.co/LGd9xQh4J2Sergio Melero #hearto.. @Sermella
19K Followers 1K Following Amante de los videojuegos. Director Artístico en @codigames y @gamestribune | Arte & Anime en @kaibun_es | contacto: [email protected]Elena Madrigal ✨ @elenayuscula
11K Followers 263 Following 🌱 cultivando jardines digitales para pensar y crear mejor ✦ ⚙️ diseño de vida & negocio con @NotionHQ ✦ 🌈 sistemas operativos y de gestión del conocimiento 🧠Heleven🇵🇸 @heleven_
18K Followers 712 Following Psicología jurídica y forense. Investigadora y doctoranda.Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AIWilliam Rose @dodecahedra
2K Followers 667 FollowingEric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Sébastien Doeraene @sjrdoeraene
3K Followers 39 Following Author of Scala.js, the Scala to JavaScript compiler. Scala Center.Dale Wijnand @dwijnand
3K Followers 148 Following @scala_lang team at @lightbend. Interested in FP, tooling & API/library design. Ex @scala_sbt maintainer.ScalaCon @ScalaCon
995 Followers 13 Following A series of virtual #Scala conferences by @ScalaDays, @ScalaeXchange, @47deg, @Skillsmatter Elevate your Scala skills at #ScalaCon.Adam Rosien @arosien
1K Followers 703 Following super-ultra-premium, e.g., #scala, functional programming, mentoring. he/him. principal at @InnerProductLLC, author https://t.co/knbxEOC68t @[email protected]Bartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Michael Arnaldi @MichaelArnaldi
3K Followers 303 Following BDFL @EffectTS_, CEO @EffectfulTech, Co-Founder @matechsdigital. Expect posts about TS & FP. Personal alt @OptVegaPunkChris Kipp | @ckipp@h.. @ckipp01
1K Followers 417 Following I enjoy working on tooling, simple tech, and learning. One day I'll know things. I try to write Scala and host the Tooling Talks podcast. he/himKingdom Hearts cumple 22 años... la puta saga de mi vida, tengo claro que sin ella no sería como soy a día de hoy. Además, tuve la oportunidad de escribir un libro hablando sobre ella con @HeroesdePapelES y del que aún quedan algunas copias! heroesdepapel.es/productos/el-d…
Akira Toriyama generó una cantidad masiva de arte a lo largo de su carrera. En este hilo recopilo algunos de ellos. Muchos os sonarán de vuestra infancia.
Triste noticia. Toriyama fue una de las personas que más me marcaron en la infancia. Mucho del amor por el dibujo se lo debo a el. 💔
Information ; Dear Friends and Partners en.dragon-ball-official.com/news/01_2499.h…
Scala Times Issue 522 - scalatimes.com/ddaef5b74d - powered by @kpciesielski @kubukoz @lambda_conf @lukasz_bialy @makingthematrix @neskeip @pj_fanning @ScalaMatsuri @scalarconf & others, thx!
“In #Scala, Cats-Effect's `Resource` is too difficult, and all those implicit params and tagless final makes code hard to read 😣” Goes back to #Java: quarkus.io/guides/cdi-ref… docs.spring.io/spring-framewo… 👹 #op
Que le riáis las gracias a Andrea es preocupante. Es la persona más tóxica que he visto en mi vida. #LaIslaDeLasTentaciones3
Andrea, 18 años, maltrata a Álvaro claramente. Está enferma. La defienden comentando que "no controla sus impulsos". Alejandro Nieto, defendió a su novia, no le habló ni parecido a como Andrea le habla a Alvaro. Lo tacharon de maltratador. Hipocritas. #LaIslaDeLasTentaciones7
Lo de Andrea ya no hace ni puñetera gracia, necesita un psicólogo urgente #LaIslaDeLasTentaciones2
EVERY EASTER EGG IN THE NEW ONE PIECE OPENING 🧵
Dante´s Inferno terminado, una pena que no haya más secuelas en el purgatorio y el paraíso. Título muy querido pero con unas ventas muy malas donde le opacó enormemente un gigante gow. Con esa similitud es un título original muy bien hecho en muchos apartados. REcomendado 👌✅
Estoy alucinando con esta web... 😱 Puedes ver cualquier serie o película que quieras. Pero lo más increíble es que está hecha con React ¡Es de código abierto y va rapidísima! → movie-web.app Código: github.com/movie-web/movi…