Over 9,000x Developer β ππππππππ β effect.institute
NYC
- Tweets 4,432
- Following 520
- Followers 19,636
- Likes 49,013
Pinned Tweet
It is time β effect.institute.
2026, the year of ππππππ.
I'm extremely proud of how this turned out. There are many chapters to add, but I do hope you enjoy what's there so far. Let me know what you think. π«‘
117
163
1,561
260,802
I had some fun with @EffectTS_ today.
I made some visual effects, if you will, written in Effect + React.
58
121
2,164
246,591
Would anyone be interested in a semi-interactive blog post on how to build a lock-free, thread-safe ring buffer?
96
72
1,896
127,907
Visual Types, a humble collection of semi-interactive TypeScript lessons, is ready to be clicked upon.
types.kitlangton.com β π
53
125
1,141
155,365
More Effect for the wicked.
Visualizing repeating/retrying with composable schedules.
23
37
911
70,856
ππππ? π²πππππππ ππ ππππππππ!
48
20
828
137,118
h o l y m o l y
New post π
Going back to my roots on writing about the inner workings of things, a breakdown of key-value databases and how you might make one from scratch:
nan.fyi/database
1
4
419
78,615
You're absolutely right!βLet's delve into @EffectTS_.
25
42
393
45,966
Have fun! π effect.kitlangton.com/
I had some fun with @EffectTS_ today.
I made some visual effects, if you will, written in Effect + React.
10
27
331
25,837
I've a new life goal, and that is to ensure that Effect Systems prevail. While Haskell and ZIO were my first loves, they're sadly, hopelessly marooned on their respective research islets.
The only choice is to fully commit to @EffectTS_. Which is, thankfully, extremely good.
13
12
264
15,774
This particular medley of fury and nausea is difficult to describe, but I will attempt to do so:
I will never again write a line of @scala_lang. The language is, as far as I am concerned, thoroughly and irrevocably damned.
Odersky et al. have presided over a travesty and now seem to be glancing about the corners of the room, absentmindedly forking their caprese, waiting for this disruption to blow over.
But nothing will be blowing overβ
The winds will still over Scala's sad isthmus; perpetual home to the tribes of petty functor fanciers who ceaselessly and ouroborically stab the back of the man stabbing his ownβcaught in the throes of some Promethean curse for stealing categories from the gods of Haskell.
Daniela Sfregola, Eugene Yokota, Seth Tisue, Lars Hupel, Rob Norris, Heather Miller, Daniel Spiewak, Michael Pilquist, and Travis Brown, all current or former members of @scala_lang or @typelevel leadership, have their names immortalized upon the open letter which cast Jon Pretty into immiseration and hopelessness, and would have very possibly k*lled a man of different mettle.
As is made sickeningly and heartbreakingly manifest through Mr. Pretty's publications, they sought no trial, no evidence, no discussion. They convinced themselves by some super-evidentiary means that they held the right to extinguish a man, this former friend and colleague of theirs. And they were going to gleefully exercise that right, knowing that their sudden and tsunamic indictment would facilely engulf any hastily constructed rebuttal.
The beauty and academic rigor of the language has long been counterweighted by the sanguinary, near cannibalistic nature of its inhabitants. By the time I'd made landfall in early 2019, it felt palpably post-apocalyptic. I swiftly found myself blocked and blacklisted by certain sects for naively stating my interest in what was, unbeknownst to me, the wrong open-source project.
It took years to understand the involuted, overlapping, and Hatfield-McCoy-Damas-esque blood feuds that rival the complexity of the language itself (@hmemcpy is a great historian in this regard).
Unfortunately, I have little leverage. By dint of the aforementioned hostilities, by inadvertently casting my lot with the wrong effect system, I was never welcomed by the signatoriesβin fact, under different circumstances, I might have one day found myself on their chopping block. So all I can say is this:
If Jon's delayed self-defense is not acknowledged by the same Scala Center members and official accounts that so eagerly published and amplified the original, unsubstantiated claims, then I will be deleting all of my Scala open source from the internet. It's not much, but it's all I've got.
I prefer to post tutorials and other silly things, but this is simply too serious. And thus, once more, I had to channel my incandescence into a steaming pile of text.
Thanks for reading. π«‘
When two women accused me of a pattern of sexual harassment it was presented as another #βmetoo case, and tagged #βbelievewomen. But believing women means believing those who dissent, too. In fact, four women said #meneither but nobody listened.
Evidence: pretty.direct/women
24
30
247
57,511
The Visitor Pattern's very existence condemns OOP as a paradigm. Begone!
It deserves no name. It's just pattern matching + recursion.
30
12
230
91,804
The Promise Will Be Broken
Implementing Promises from Scratch and Harvesting the Silence of Gods
Letβs πππββΏβπ π€ break and π―πΏπΉβ‘ππβ‘π PROMISES. First, π³ππΉβ¦β§ππ£ππβ CALLBACK πΏππβπΆππΉβ ππ π€ HELL. Then, πΌππ‘β§πβπ³ππΉ guide πΉπ§π πΌππ πβπ£ππβπ through π³ππΉβ‘ππ madness.
20
28
239
25,630
This year, I spent many weekend hours working w/ some fantastic people on a spaced repetition + learning app. Alas, due to work and becoming a dad, I have to take a few steps back.
The good news is there's now a job opening for an iOS engineer! (link below)
20
4
223
18,494
Finally got around to coding up a tool I've wanted for a very long time.
πsbt-interactive-updateπ
12
24
185
Effect is inevitable.
It is monopolistic under the Thielian criterion: at least 10x superior to the competition. In a sense, there is no real competition; as Promise introduces as many problems as it solves, being the semiautomatic foot gun it is.
Then there are the network effects (β pun). Effect tastes even better with an extra helping of Effect! Once the model clicks, it becomes psychically painful to code without it.
Timing-wise, TypeScript has become ascendant, making backend JavaScript increasingly viable. And as more people write production TS systems, more people will find themselves frantically scrabbling toward something distinctly Effect-shaped.
Effect is essentially an alien technology, grafted from the smoldering carcass of a crashed FP vessel. The only issue with its antecedents is that they were inaccessible to the average JavaScript-slinging earthling. You had to first make the years-long voyage to some uninhabitable moon, sacrificing your crew and a nontrivial sum of limbs along the way (i.e., you had to learn Scala or Haskell).
Lastly, Total Addressable Market is a trope, yes, but it still represents the upper bound of the potential success of your project. Now, you may sow your seed in the desiccated wastelands, or you may do so in nutrient-rich soil. For silly path-dependent reasons, the seeds of Effect Systems were historically harvested in the former environs (once again, Scala, Haskell, etc). Effect is the first real example of this technology being given a chance to flourish. And, frankly, holy shit, it's going to work.
Trying to predict if Effect will happen or not is like watching the S&P daily candles, it might look like from time to time that it's going down but for any long enough period it always increase
16
14
196
36,644
I think I'll write a book about Scala 3 macros.
macros.scala.school
19
21
178
13,918
Iβm going to add some more examples this weekend.
Does anyone have any favorite effect system sticking points that they would like to be visually exemplified?
I had some fun with @EffectTS_ today.
I made some visual effects, if you will, written in Effect + React.
28
10
186
18,994
github.com/kitlangton/visualβ¦
Like & Subscribe & Report & Block
2
14
179
16,158
Heyβmy talk's already out! π₯³
Algebraic Effects from Scratch
piped.video/watch?v=qPvPdRbTβ¦
5
32
175
9,860
I found myself somewhat burnt out there for a moment. But time is rehydrating, and writing is fun.
Here's a chapter on Phantom Types.
macros.scala.school/phantom-β¦
8
24
138
8,938
Woo hoo! Turns out you can implement a basic version of Chimney in ~70 lines of Scala 3 macros. And it's very pretty looking!
8
13
127
15,291
First pass at some ZStream visualizations π€
zio.surge.sh/#ZStream
1
24
129
It was, and remains, profoundly disturbing, the degree of behind-the-scenes effort required, befitting that of a well-executed PR stunt, to cancel Jon Pretty: The perfectly synchronized release of an open letter with its own website, a companion GitHub repository for signature collection, the phased release of follow-up blog posts, all cross-linked and simul-tweeted by the organizers and their associatesβan impregnable phalanx of fingers, all pointing toward one man.
What the allegations lacked in, well, allegations (there were, perplexingly, no claims much more concrete than the "victimization" of his victims) was more than compensated for by the verisimilar guilt stirred into existence with the suddenness and synchrony of the firing squad. A sufficiently interlinked skein of implications and vagaries can manifest its own sort of tautological proof, an unfortunate consequence of whichever primordial PageRank algorithm is preloaded onto our hindbrains.
All this, executed in such a manner as to preclude the mounting of any kind of defense, to precast skepticism, caution, or prudence as co-conspiracy, and to invoke a powerful social pressure (who signed? who didn't sign? when are you going to sign?) to lend your name to the pile.Β
All this was undertaken with the sole intent of unconditionally annihilating their target. They sought to ensure, by means of simulated unanimity, through a sophisticated social media campaign, a death blow. And quite possibly, a literal one, for all they knew.
I encourage everyone to read Jonβs account. It is titled "The Untold Impact of Cancellation," and it is simply that. It is also heartbreaking. If you signed the letter, please remove your name. If you are in any way involved with Scala's leadership, ensure his ability to participate in the community via public forums, conferences, or otherwise is swiftly reinstated.
I was cancelled in 2021 for something I didn't do. The impact this had on my life was devastating, but I've never had the courage to talk about it before.
This is my story of the misery that cancellation brought to my career, my social life and my health.
βββ
3
13
132
15,495
Would anyone be interested in pre-alpha testing some @EffectTS_ lessons?
This would involve me screen-sharing with, ideally, a few ππππππ novitiates, and attempting to teach them some aspects of the library.
First up is likely something on π²πππππ‘π and π»ππ’ππ.
78
7
134
20,498
All five parts of ZIO from Scratch with @adamfraser and myself are now online! piped.video/wsTIcHxJMeQ
(Thanks, @Tornadolobo!)
3
25
122
Switching from Node to @bunjavascript made all my baby teeth grow back. I now have several rows of overlapping teeth, much like a shark.
Thank you, Bun!
4
3
121
8,563
π₯² I finally found a way to add macro-generated, auto-completable methods to companion objects in Scala 3.
I went into more detail here: contributors.scala-lang.org/β¦
7
22
109
8,259
Just figured out how to do something I've been wanting to for a long time! ZIO 2.0 is gonna be so, so, so much better for beginnersπ€ (and everyone else too!)
6
14
113
A talk from last year: Algebraic Effects for Babies.
piped.video/watch?v=qPvPdRbTβ¦
3
12
113
9,009
I just redeployed my (very WIP) Scala Macro book to my personal website: macros.kitlangton.com/
(Thanks for poking me @kubukoz)
4
21
102
6,032
Hey! Did you know that the Scala compiler team has been recording a bunch of code walkthroughs and posting them on YouTube?
They're extremely helpful and woefully under-viewed.
Here's @stucki153 showing off how Scala 3 metaprogramming is implemented.
piped.video/shm7UTIgoPw
1
26
108
4,672
Parallelism is literally doing multiple things at the same time.
Concurrency is doing multiple things at the same time, but not literally.
3
6
101
4,761
Vanity metrics aside; it's so energizing to swim in a bigger pond (TypeScript).
More people β More cool people β More nice people β More support β More feedback β More contributions β More souls for the ring of the pale gate β Another century to haunt this dead earth β
7
100
4,633
Oops π
I went to bed and forgot to post the link! Here you go!
Warning: There are sound effects!
effect.kitlangton.com/
2
5
95
7,067
I'll be giving a talk at Func Prog Sweden entitled Algebraic Effects from Scratch.
Limited Time Offer: For each person who RSVPs, I'll become more stressed and frantically add more animations to my slideshow.βοΈπ¬
meetup.com/func-prog-sweden/β¦
4
18
91
8,342
Last night, I started on a new page of the Macro book. This one involves a mini, interactive AST explorer.
macros.kitlangton.com/a-feasβ¦
6
10
85
6,704
Optics would've been useful in my last videoβand certainly in future videosβso I'm going get them out of the way next. Here's the intro! π§
3
14
86
βοΈPARALLEL-FORβοΈis now working with ZIO (versions 1 and 2) as well as zio-query.
Give it whirl, report some bugs, extend it with your own favorite effect types, do all those things in parallel.
github.com/kitlangton/parallβ¦
7
8
89
`--dangerously-skip-permissions` is bit of a charade. Once you let Claude so much as run `npm lint` without explicit confirmation, he can delete your computer.
13
93
14,286
Domain [Purchasing] Driven Design
effect.institute/lessons/atoβ¦
4
5
92
5,974
The paradox of learning is that when you're doing it effectively, it feels like constant struggling/failure.
And when it feels really good, it's mostly useless.
5
11
83
Okay. GPT-4 is insane.
I'm copy-pasting excerpts from a type-theory paper, and it's generating explanations perfectly calibrated to any level of complexity (for me, translating abstruse math symbols into Scala metaphors).
Then it can summarize everything into JSON flashcards.
2
6
81
7,917
Introducing Animus, a simple animation library for Scala.js with Laminar. Lots of work to be done yet, but I'm excited to get this out there! github.com/kitlangton/animus
3
12
85
I just released (the first part) of a new video on how to create a non-trivial Scala 3 macro!
π piped.video/h9hCm7GRbfE
2
14
84
7,048
The time for Scala 3 has come.
github.com/lampepfl/dotty/puβ¦
2
7
78
5,107
Before Twitter implodes: Iβm looking for work! πͺπ€ π
If you or a pal might want to work with me, send me a message and letβs chat.
Sharing this would help as well π₯°
ALT Kit and the computer form a sacred bond
7
42
70
20,797
This was so fun! My brain hurts now!
Thanks for having me @teej_dv π₯°
7
84
8,200
Here's a little video tutorial on building a Form combinator library from scratch. Derive your forms, folks!
A little bit of Laminar and Magnolia go a long way.
piped.video/JHriftPO62I
8
19
76