Ricardo Lima @rslima72
Full Nerd: Loves Computer Science, Comics and RPGs Brasilia, Brazil Joined October 2011-
Tweets467
-
Followers77
-
Following482
-
Likes371
Ricardo Lima retweeted
It's 2025, slurs like "unsigned integer" are no longer acceptable. Please use "the ℕ-word" instead.
33
129
3K
74K
201
Ricardo Lima retweeted
Interested in learning Haskell? The full set of 16 videos from my introductory course based on the book "Programming in Haskell" is now freely available on YouTube. Happy Haskelling :-) tinyurl.com/haskell-notts
Proud to be the 2,926th 😎 on @BackerKit for Steve Jackson's Munchkin® Presents BATMAN™. Thanks @SJGames …presents-munchkinbatman.backerkit.com/community_shar…
Stack Exchange Q&A site proposal: Proof Assistants area51.stackexchange.com/proposals/1262…
Ricardo Lima retweeted
Scala 3 has landed
Ricardo Lima retweeted
Today in 1964 BASIC made its debut, in an effort to take programming out of the world of machine language. Share if you're old enough to have gotten your start with it.
I'm really sad, disgusted and disappointed that women still live through those awful experiences
Due to carcinization, I decided that it's about time to finally learn Rust
TIL that Looney Tunes and Merry Melodies themes were based on actual songs youtu.be/kbp9WXQjZy8 youtu.be/kstM1GzaViU
Ricardo Lima retweeted
Once you learn calculus, you've caught up to what was the cutting edge of math in 1687.
Comprei A Brief Course in Modern Math for Programmers no Gumroad.: gum.co/lcbk02
Ricardo Lima retweeted
To support our work on Scala in IntelliJ IDEA do follow @IntelliJScala (please RT)
Proud to be the 1,826th 😎 on @BackerKit for Steve Jackson Games' GURPS 2020 PDF Challenge. Thanks @SJGames …urps-2020-pdf-challenge.backerkit.com/community_shar…
Ricardo Lima retweeted
I was today years old when I found out about donkey nannies, which are donkeys that are used in Italy to transport newborn lambs down from the mountains for seasonal grazing.
Friday, the 13th. Build #666. Will it work out fine?
Ricardo Lima retweeted
It is with great sadness that I share news of Joe Armstrong's passing away earlier today. Whilst he may no longer be with us, his work has laid the foundation which will be used by generations to come. RIP @joeerl, thank you for inspiring us all.
Ricardo Lima retweeted
My heart is broken. My country is weeping and so am I. I am dying knowing that this kind of hatred can happen in my homeland. All my love goes out to Christchurch, the victims, the families, the Muslim community, and all who have chosen our islands as their home. This is not us.
Ricardo Lima retweeted
Humans are incapable of writing memory-safe C/C++. The evidence is overwhelming. It shouldn’t be considered a “hot take”. But we refuse to accept it.
石川 秀樹 @NurndoaEyaq
7 Followers 240 Following
Sewsheasl @SewsheaslGES3w
12 Followers 141 Following
Daniel Guilarducci @dgducci
94 Followers 67 Following
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
EventModeling @EventModeling
6K Followers 5K Following Event Modeling describes systems for all roles in an organization: workflows, coupling & complexity for estimating, building, scaling, & maintaining.
Silvio Salles @silviosalles
120 Followers 118 Following
Eileen @Aileen096417271
114 Followers 1K Following I've always been behind you and never left, as long as you can turn around
Jeffrey Aguilera @scala_ninja
256 Followers 935 Following Ailurophile, mathematician, programmer, #Caltech alum, Principal Software Engineer
Jessica Ifill @Jessica_Primis
67 Followers 641 Following Senior Delivery Consultant - Sourcing the best talent within #Cloud community & finding life-changing opportunities across the globe. Putting People First.
A incrível arte de s... @Bebravespace
88 Followers 2K Following Não me apetece caber em pouco. Embora saiba ser.
gchehab @guilhermechehab
4 Followers 51 Following
Gustavo Miranda @gus_spucka
15 Followers 66 Following
Trajano Renner @Mochila061
36 Followers 279 Following Aluno da disciplina Filosofia de Boteco. Sempre de recuperação.
Catherina Adorno @catherinaadorno
150 Followers 520 Following Há mais de 20 anos ajudando na construção e na conquista de clientes e resultados para grandes marcas. Publicitária, especialista em marketing digital.
Jordan Richards @jordanr00137363
48 Followers 724 Following Tech Recruitment Consultant living in Sunny Sussex recruiting Engineering and R&D roles in Software, Machine Learning, Deep Learning, AI and NLP 01293 584 300
Joselito M. Lobo @joselitolobo
99 Followers 231 Following
Alexandre @aglemos
88 Followers 364 Following
Type Theory @type_theory
496 Followers 253 Following An online study group, open to all, dedicated to learning type theory.
Aniello @AnielloGrecojr
37 Followers 350 Following
Alexdamado @alex_damado
2 Followers 3 Following
Flúvio Garcia @fcogbrasil
20 Followers 118 Following
Adriana Mendes @dricona
219 Followers 281 Following brasiliense, cinéfila, nerd, jornalista, ouvicista (que é o que resta a quem gosta de música, mas nasceu com aptidão 0) e fã de gatos.
lucasferreira @lucas123ferreir
0 Followers 17 Following
Marc Saegesser @MarcSaegesser
93 Followers 261 Following Scala programmer. Software Engineer. Unrepentant Old Whig. Amateur photographer.
César @Csar61153587
12 Followers 317 Following
Iasmim Martini @MartiniIasmim
48 Followers 150 Following Pensar em uma pessoa que se ama é rezar por ela. Sta. Terezinha do Menino Jesus.
Scala Friends @ScalaFriends
8K Followers 10K Following Community driven Scala initiative. Email Newsletter: https://t.co/3HyGoao4V2 #scala #akka #typesafe #fp
Alessandro Dantas @alessandrofd
30 Followers 519 Following
lima neto @MinhoNeto
3 Followers 42 Following
Андрей Иван... @Andrey4242753
5 Followers 67 Following
Bruno nieuhoff1 @3runom1
39 Followers 515 Following i'm trying to find a good heart in a world that's much the dark
Rinaldi Neto @rinaldineto
103 Followers 288 Following
Raj Saxena @therajsaxena
229 Followers 306 Following The whole is greater than the sum of its parts | Building teams, services and products - not necessarily in that order.
Petesuchos @thelmoe
172 Followers 1K Following
lucas oliveira silva @lucca551
0 Followers 29 Following
Vasco Duarte @duarte_vasco
14K Followers 12K Following Agile, Lean and Scrum Speaker. Author of https://t.co/wJ8AOViuWk Podcast host for https://t.co/rEFyhQ23Y0
Rochelle Quito @RochelleQuito
189 Followers 376 Following
leithaus @leithaus
2K Followers 4K Following Founder and CEO of https://t.co/nR7REBobzy. Inventor of rho-calculus. Mathematics is an art. (ze/zer)
Bruno Neuhoff @Neuhoff77
65 Followers 796 Following I'm here in the hard mission of 2 print my dreams in my history
Hibernate @Hibernate
26K Followers 34 Following The Hibernate team behind the suite of open source Java libraries around domain models. @hibernate.org (bsky)
Spring I/O @spring_io
27K Followers 143 Following A two-day conference full of Spring and Cloud awesomeness in Barcelona. +1200 attendees. Next edition: 13-15 April 2026 Organized by @sergialmar
Anil Madhavapeddy @avsm
6K Followers 1K Following Professor of Planetary Computing @Cambridge_CL 🇮🇪 @[email protected] and https://t.co/0P3DSgR0Dv
Java Champions @Java_Champions
53K Followers 359 Following The official Twitter account of the Java Champions, an exclusive group of Java technology and community leaders. Mastodon https://t.co/vghNLhalEo
SpringCentral @springcentral
100K Followers 671 Following Spring helps development teams everywhere build simple, portable, fast and flexible JVM-based systems and applications.
Spring Data Team @SpringData
48K Followers 32 Following Taking (NoSQL) data access to the next level…
Science girl @gunsnrosesgirl3
4.1M Followers 6K Following science in context, art history and some puzzles to solve
duduhaluch @duduhaluch1
4K Followers 34 Following
Bertrand Meyer @Bertrand_Meyer
4K Followers 219 Following Software engineer (theory and practice). Author, consultant, professor, project manager.
CrAIg Walls @habuma
5K Followers 404 Following Java Champion/Alexa Champion/Author of “Spring AI in Action”, “Spring in Action” & “Build Talking Apps for Alexa”/Disney Parks Fanatic/tabletop games player
Functional Scala 2024 @FunScalaConf
3K Followers 70 Following An annual conference dedicated to helping people effectively use the functional programming language, Scala, to do more. Online - December 5th and 6th.
🦉 Apache Maven @ASFMavenProject
13K Followers 4K Following The official twitter feed of the Apache Maven Project. Follow @ASFMavenRelease for tweets of plugin releases.
Spring Tips @SpringTipsLive
6K Followers 1 Following Hi Spring fans! These tips explore different aspects of the Spring ecosystem. https://t.co/ZDGazX4SpW (by @starbuxman)
Vlad Mihalcea @vlad_mihalcea
89K Followers 138 Following @Java Champion, author of High-Performance Java Persistence and @Hypersistence Optimizer. Blogging at https://t.co/GWdHta4mMO
Apache Kafka @apachekafka
68K Followers 236 Following A distributed streaming platform. Account managed by the Kafka PMC.
Spring Cloud @springcloud
51K Followers 76 Following
ohmyz.sh 🌈⌨️�... @ohmyzsh
50K Followers 33 Following The delightful open source framework for Zsh. Discord 🗣 https://t.co/jpdd01QsSU Shop 👚 https://t.co/Mk3vRNLwgZ
EventModeling @EventModeling
6K Followers 5K Following Event Modeling describes systems for all roles in an organization: workflows, coupling & complexity for estimating, building, scaling, & maintaining.
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Production Haskell @prodhaskell
2K Followers 2 Following A book on pragmatic, professional Haskell development written by @mattoflambda. Follow this account to receive updates on the book's progress.
Haskell Weekly @haskellweekly
7K Followers 348 Following Haskell Weekly is a hand-picked weekly digest of Haskell news.
Spring Security @SpringSecurity
45K Followers 13 Following Spring Security is a powerful and highly customizable authentication and access-control framework.
Project Reactor @ProjectReactor
12K Followers 103 Following Create backpressure-ready libraries or applications alike on the JVM with Reactor foundations.
SpringOne @SpringOne
18K Followers 191 Following Join us at the top community gathering of Spring developers, app architects, and innovators building the apps that keep the world humming.
Spring Framework @springframework
95K Followers 36 Following
Simon Wardley @swardley
40K Followers 6K Following 💚+❤️🇺🇳 I like ducks, they're fowl but not through choice. Born 321 ppm CO₂. https://t.co/iNxwz6cGtn ... the official home of Wardley Mapping
Sabine Hossenfelder @skdh
197K Followers 787 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception.
Josh Long @starbuxman
83K Followers 4K Following Spring Developer Advocate (@Java_Champions & @Kotlin @GoogleDevExpert) @VMwareTanzu 🍃🐲 📽️ https://t.co/A2wBUe0b0A
Notion Calendar @NotionCalendar
77K Followers 104 Following All of your commitments, now in one place. Meet the beautifully designed, fully integrated calendar for your work and life.
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
William J. Bowman @wi... @wilbowma
3K Followers 229 Following Paren-wielding facebook-theorist, PhD. Sith Lord of Compilers. Asst. Prof. at UBC. This account is deprecated.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Alejandro Serrano @trupill
4K Followers 479 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Talia Ringer 💚 @TaliaRinger
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Type Theory Forall @ttforall
4K Followers 286 Following Making Type Theory, Programming Languages and Formal methods more accessible! Check our merch store! https://t.co/qiQYj4pnqx
Maciej Walkowiak 🍃 @maciejwalkowiak
41K Followers 957 Following Freelance Java Consultant - Java, Spring Boot, AWS 👉 https://t.co/5hDONs8nrh 📺 https://t.co/xtk152k8qm
Science and Medicine @ScienceTip
42K Followers 19 Following Daily post on science and medicine from @JohnDCook
Obsidian @obsdmd
157K Followers 0 Following The free and flexible app for your private thoughts. For help and deeper discussions, join our community: https://t.co/QsDArfFkkv
Andy Matuschak @andy_matuschak
60K Followers 2K Following More wonder, more insight, more expression, more joy! Independent researcher; currently exploring tools that augment human memory and attention.
Scala Native @scala_native
4K Followers 1 Following Your favourite language gets closer to bare metal.
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Trends for United States
55,3 B posts
29 B posts
11,9 B posts
5.858 posts
30,4 B posts
11,2 B posts
5.513 posts
15,3 B posts
106 B posts
7.910 posts
70,5 B posts
22 B posts
2.052 posts
8.024 posts
2.370 posts
30,7 B posts
1.391 posts
15 B posts
72,8 B posts
You might like
stephane le dorze
@stephaneledorze
696 Followers
Rintcius Blok
@rintcius
468 Followers
RunT1ME
@runT1ME
820 Followers
Petesuchos
@thelmoe
172 Followers
skchrko
@skchrko
207 Followers
Rinaldi Neto
@rinaldineto
103 Followers