Joined March 2007
- Tweets 13,410
- Following 659
- Followers 1,348
- Likes 1,215
800 Photos and videos
Pinned Tweet
14 Jan 2021
My book, "Essential Effects", is now available for early access!
"Essential Effects" is about how to safely create, compose, and execute effectful #Scala programs using the
@Typelevel Cats Effect library.
Buy a copy and stay updated at essentialeffects.dev.
7
52
146
Adam Rosien retweeted
12 May 2025
Hello folks 👋
ScalaIO is back for another edition in 2025 🥳
🌐 It will be held at La Grande Crypte, Paris 🇫🇷 on the 17/10
🎟️ Early birds tickets are already open to sales(f: Person => `scala.io`)
🤝 CFP & sponsorships will open very shortly
See you soon 😊
14
18
688
Adam Rosien retweeted
7 May 2025
PS to the Trump administration's great patriotic war on girls' dolls and pencils: notice how "unnecessary foreign luxuries" are female-coded. An outboard motor is crammed with Chinese components, but try to imagine Trump asking, "Do Americans really need to own personal boats?"
110
734
3,221
132,277
Adam Rosien retweeted
6 May 2025
1
23
82
14,771
Adam Rosien retweeted
1 May 2025
🗣️ We are thrilled to announce that an edition of ScalaBridge will take place in Lausanne this August!
👀 Stay tuned because more information about ScalaBridge will be shared soon.
1
5
412
Adam Rosien retweeted
29 Apr 2025
Not a robot, but I've been writing code to procedurally generate 3D prints!
Hilbert Curve marble track
112
400
6,345
3,216,037
Adam Rosien retweeted
29 Apr 2025
All the projects I didn't finish, and why it was worth it by @kubukoz 🐠
Subscribe to our our YouTube channel so you don't miss the rest of #scalarconf videos!
youtube.com/watch?v=EjY7ELQK…
3
7
737
Adam Rosien retweeted
24 Apr 2025
ScalaTimes issue 580 powered by @avinder42 @baccata64 @lukasz_bialy @noelwelsh @scala_js and others!
5
9
1,187
Adam Rosien retweeted
Just added slides for my talk "Tagless Final for Humans" to my page of talks:
noelwelsh.com/landing/talks/
I gave this talk today at @scalarconf. The core is a new encoding for tagless final in Scala, which makes much better use of Scala's features than the standard encoding.
1
8
45
2,363
Adam Rosien retweeted
Yesterday I gave at talk at Imperial College on the uses of dualities in programming. We look at the dualities between data and codata, calls and returns, and ASTs and stack machines.
Slides are at noelwelsh.com/landing/talks/ and the benchmarks are taken from github.com/scalawithcats/sta…
2
10
65
2,515
Adam Rosien retweeted
6 Mar 2025
CfP is now open
👀 Scala foundations, libraries, tooling, industrial adoption, community, LLM, and more — all experience levels welcome.
Submit your idea, share with colleagues, or encourage new speakers to give it a try!
Apply by April 6th 👉
papercall.io/scaladays
8
11
1,493
Adam Rosien retweeted
4 Feb 2025
We're hearing that some people are acting aggressively toward our plow drivers.
Stop it.
They have to drive slow to accurately put down product without wasting it.
How 'bout we give our plow drivers a smile, or even a nice little wave.
ALT Two meme photos of the sideyeing husky dog stacked on top of one another. One caption next to the top photo says Washingtonians when they want icy roads to be treated. The caption below next to the same meme says Washingtonians when our (WSDOT's) plows drive 35 miles per hour to treat icy roads.
63
147
1,538
41,212
Adam Rosien retweeted
5 Feb 2025
When the horse monad arrived, Cassandra foresaw its true nature and warned of the destruction that would soon befall Troy. But Priam and the court refused to listen; consumed by their search for a deeper monadic essence, they could not recognize the folly of unsafePerformIO.
1
1
3
139
Adam Rosien retweeted
5 Feb 2025
Hi daughter Cassandra, on the other hand, received the ability to explain monads to anyone, but was cursed that no one would ever believe her explanation because it seemed too simple.
1
1
6
209
Adam Rosien retweeted
5 Feb 2025
By granting him the Monadus touch, the gods ensured no one would ever be able to provide an example of impredicativity without higher-rank polymorphism. And thus Sisyphus's fate was sealed.
1
1
5
194
Adam Rosien retweeted
5 Feb 2025
King Monadus was given the gift of being able to understand anything, no matter how difficult, but then he would subsequently be unable to explain his understanding to anyone else.
1
1
4
201
Adam Rosien retweeted
5 Feb 2025
In Greek mythology, Sisyphus was the king of Corinth. For cheating death, the gods condemned him to eternal punishment: attempting to understand the difference between impredicativity and higher-rank polymorphism, only for his understanding to crumble every time it neared complet
1
2
22
1,795
Adam Rosien retweeted
27 Jan 2025
Welcome Noel Welsh as a next #Scalarconf speaker!
Tagless Final for Humans.
Grab your ticket
🛒 sml.io/tickets
#scalar #scala #itconference #functionalprogramming
3
11
428
Adam Rosien retweeted
27 Jan 2025
Scala Times Issue #566 - scalatimes.com/c56b25aa2f - powered by @arturaz_ @BayAreaScala @goshacodes @LambdaDays @neskeip @noelwelsh @scalarconf & others, thx!
5
11
597
Adam Rosien retweeted
I wrote up a case study on designing a DSL for terminal interaction. You might find it a good read if you like to see programming theory jargon (codata! monads!
composition!) tied to actual use cases.
noelwelsh.com/posts/codata-i…
3
6
434