John A De Goes
@jdegoes
Followers
16,934
Following
998
Media
331
Statuses
6,603
CEO @ZivergeTech , CEO @GolemCloud , OSS contributor @zioscala , speaker, writer. Accelerating human dominion.
Maryland, USA
Joined November 2008
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
حسن نصر
• 407565 Tweets
ايران
• 390995 Tweets
نيوكاسل
• 380155 Tweets
تشيلسي
• 374457 Tweets
Sant Rampal Ji Maharaj
• 164933 Tweets
#ReGLOSS3Dライブ
• 140015 Tweets
Sanchez
• 123485 Tweets
Chelsea
• 120990 Tweets
سوريا
• 104581 Tweets
巨人優勝
• 101366 Tweets
ジャイアンツ
• 88806 Tweets
フリーレン2期
• 86620 Tweets
Palmer
• 75281 Tweets
リーグ優勝
• 74184 Tweets
Newcastle
• 50986 Tweets
#内村プロデュース
• 48989 Tweets
FALLING FOR DUNK
• 47479 Tweets
Brighton
• 47390 Tweets
#踊る大捜査線
• 37333 Tweets
阿部監督
• 34521 Tweets
セ・リーグ
• 32791 Tweets
Gordon
• 24868 Tweets
#内P復活
• 24790 Tweets
#CHEBHA
• 23064 Tweets
Sancho
• 21110 Tweets
Sundowns
• 16511 Tweets
Foden
• 12985 Tweets
Martinelli
• 12559 Tweets
Brentford
• 11744 Tweets
Gundogan
• 10975 Tweets
日本シリーズ
• 10385 Tweets
Pinned Tweet
This Friday at 12 noon ET, join me for the Golem 1.0 launch event, demo, and hackathon registration (with > $5k cash prizes). 🎉
Golem is an open source durable computing platform that runs your serverless workers invincibly, impervious to faults, restarts, updates, and
1
14
28
@ilyasut
Note framing of this statement:
- participation (their decision, I only 'participated')
- board's actions (their actions, not mine)
- intended (only my intentions matter, not actions)
This is a recognition of negative fallout and a refusal to take responsibility for it.
127
215
6K
For those interested in fault-tolerance, HA, distributed systems, reliability, resiliency, and durable execution, I'm delighted to announce we're planning a big event for the release of open source Golem 1.0!
Golem is a durable computing platform that runs your serverless
24
89
601
As a functional programmer interested in performance, I've long been troubled by the amount of garbage that functional programming generates.
Every time we want to apply a modification to a structure, we have to copy the structure (sharing as much substructure as possible), and
34
87
668
Boss: Why should I let you choose <programming language>?
Go: So the developers you hire when I rage-quit over lack of proper generics and result enums can instantly take over and maintain my code.
Haskell: So we can intimidate our intellectually weak competitors who dared
73
106
635
Your app runs inside the JVM...
...which runs inside Docker...
...which runs inside Kubernetes...
...which runs on KVM...
...which runs on Linux...
...which runs on bare metal.
Truly elastic, edge-friendly, cloud-native computing requires rethinking this stack.
55
66
509
Three years ago, Scala developer Jon Pretty (
@propensive
) was hit by serious allegations, and many in the Scala community publicly condemned him or signed an open letter aimed at destroying his open source legacy and his career, and making him permanently unemployable.
I was
A Statement
I am a Scala developer and speaker who was cancelled three years ago. Yesterday I attended the High Court in London to hear an apology from several prominent members of the Scala community for making untrue claims about me on 27 April 2021. I sued them for libel, and
112
261
2K
5
82
440
Loom vs Go vs Rust: How much memory do you need to run anywhere from 1 to 10 million concurrent tasks?
Great summary below, with some surprising findings (nice job, C#!).
37
73
430
Programming languages to watch:
- Rust: closest to 'commercial Haskell/Scala'
- Roc: the FP you love with the perf you need
- Zig: a different take on C++ alternative
- Nim: like D but actually wants to win
- Grain: FP targeting WASM natively
What languages you watching?
87
47
410
Why your big co will lose to a startup:
1. Organizational debt. You can't gather, learn from & execute on market data quickly.
2. Tech debt. You ignored countless engineers, now your tech asset has become a liability.
3. Personnel. You lost all the people who could fix 1 & 2.
15
77
385
Ladies and gentlemen, I am pleased to give you...
...ZIO 2!!! 🎉🕺🎇
The future of functional programming has arrived.
Read more now 👇
14
100
377
After 3 years in development and 312 contributors, I'm excited to announce that ZIO is ready for 1.0! 🎉
Join us online for the official launch party, next Monday at 2pm! We will be recognizing contributors and toasting to a bright future! ❤️🥂
17
92
365
Decided to give
@algoraio
(open source bounties) a spin for a passion project of mine: Speakers in Technology.
If you want to support Tech Speakers and earn some $$$ while you're at it, then check out these tickets with open source bounties!
4
11
328
"Scala is failing because of bad marketing."
Bad take. Nokia had great marketing, but they lost smart phone wars because of product. ChatGPT had no marketing at all, but hit 1 million users in 5 days.
"Scala is failing because of monads."
Bad take. Developers don't avoid Java
55
51
320
Haskell proves you don't need null at a high-level.
Rust proves you don't need null at a low-level.
Why are you still using null, again??
58
26
306
Twitter should rewrite all the Golang services to Scala on grounds that anyone who cannot understand sum types and parametric polymorphism isn't sufficiently hard core. 😉
Twitter should rewrite the Scala parts in something with a proven track record like Golang and definitely don’t get tempted to try another hipster language.
Language success is impossible to predict and can’t be chosen merely on technical merit (they’re social constructs)
95
13
405
13
16
269
Don't study "advanced" programming techniques so you can write more "advanced" code.
Study them so you can write simpler code.
5
39
253
Just blogged, "A Splendid Scala Journey," a reflection on my long and wonderful journey with Scala.
I encourage all Scala developers to reflect on their own journey and find their own path to positivity.
34
31
244
Hot take: If Devin can replace you, you're not a software engineer. 🌶️
If you think LLM-based approaches are months away from replacing engineers, you need to update your mental model of AI (cause it's broke).
Devin is a cute trick for raising $$, but the real work lies ahead.
20
31
242
It's time to re-invent functional programming.
Aggressively focus on tackling the hardest problems with composition & stellar ergonomics.
Make ordinary developers insanely productive & joyful.
THIS, not category theory, is the new face of functional programming.
15
33
234
I'm gonna come out of the closet & say it...
What functional programming needs is not a million unopinionated libraries with fancy types & jargon.
What FP needs is a powerful, industry-focused, opinionated framework that gives developers superpowers.
We need the Spring of FP.
27
30
235
3 years. 🗓️
316 contributors. 🧑🤝🧑
Endless type parameters and release candidates. 😂
ZIO 1.0 has finally arrived. 💪
Discover the joy and productivity of next-level concurrent programming in Scala. 🎉
6
48
233
Good functional programmers think better about software and systems, in any language and paradigm--not innately, but through exposure to and experience with composition, legal states, and orthogonality.
AKA, "Learn Haskell so you write better Java."
9
28
231
If null is a $1B mistake, then async is a $10B mistake.
Developers got stuck in "synchronous is slow" when they should have embraced "threads should be cheap".
So instead they reinvented really awful "cheap threads" without any understanding of what they were doing.
19
25
226
Nim, Rust, and Zig all target systems-level programming, with different takes on memory management:
Nim - Let the GC ensure you don't leak memory
Rust - Prove to the compiler you don't leak memory
Zig - Prove to yourself you don't leak memory
14
14
217
'Null' is the first billion dollar mistake.
Exceptions are the second.
25
31
219
Q: Why doesn't Cognition Labs just hire Devin, its own AI software engineer?
A: Because Devin is a toy fundraising gimmick, a literal joke--many breakthroughs and years or decades away from replacing a real software engineer, down a different evolutionary track than LLMs.
14
22
216
If you're building a database , OS, or other systems-level infrastructure, choose Rust.
If you're not building those things, choose not-Rust.
Rust is the better C we've all been hoping for. But most companies have NO BUSINESS writing programs in C, or even in a better C.
15
27
214
My experience is that both Scala and Rust are very complex languages.
At least with Rust, you can say, 'Yeah, boss, but our whole backend runs in 40 MB, starts in 1 ms, and will never have a null pointer error.'
7
9
217
If you want a better Java, choose Kotlin.
If you want functional programming on the JVM, choose Scala.
17
27
208
Programming is often compared to mechanical & electrical engineering.
A better analogy is performing poorly-defined complex surgery on an alien life form with largely unknown anatomy along with 20 other surgeons without killing the almost-dead patient who is on life support.
7
52
207
Early access now available for Zionomicon, a brand new book from myself and
@adamfraser
that aims to turn you into a master of concurrent programming in Scala.
Discover how to build composable, type-safe apps that are resilient, responsive, and elastic!
17
58
206
Few things are as irritating as managers who think engineers are as interchangeable as nuts and bolts.
Some engineers are connectors, mentors, and leaders. Others are 10x or 100x engineers.
Treating them like nuts & bolts is a ticket to mediocrity.
13
33
202
Just blogged, "Scala Resurrection".
If we want Scala to grow within industry, we are going to have to collaborate on some major improvements.
30
49
200
Giant news: Golem is now 100% open source! 😱
Read more from my blog post:
Come discover the power that durable computing gives you to build bulletproof apps with simplicity. 🎉
5
32
178
Happy to share my thoughts on Scala 3 adoption!
Scala 3 was originally called Dotty, which was positioned as a separate, research-only compiler, without any intention to make the compiler the next version of Scala.
In fact, every time folks would worry about the radical changes
18
35
193
Two news outlets in the same city can't always agree on what happens on the street.
Yet any two people from anywhere in the world can agree which accounts hold how much BTC.
Regardless of the many valid criticisms of crypto, this is an achievement of astounding proportions.
11
12
182
It's painfully obvious that most programming language designers do not spend their days writing micro-services and data pipelines.
As a result, we have lots of fancy features no one uses, and lack native support for serialization, migration, type-safe generic data, & much more.
9
14
177
ZIO HTTP 3.0, the FIRST release under the ZIO organization, has just hit Maven! 🎉🕺
Everything you'd expect from a ZIO lib:
- Super Fast
- Innovative
- Developer-friendly
- Millions of RCs before release! 😉
Meet the hottest Scala HTTP lib! 👇
6
34
172
Next year, it will have been 20 years since
@odersky
began working on the Scala programming language at EPFL.
Scala forever changed FP on the JVM, and these two decades of feedback, evolution, and innovation now culminate in Scala 3.
2021 is going to be a great year for Scala!
4
28
167
Or you could use Scala.
This isn't 1990,
@fb_engineering
. 😉
Learn about Meta’s new tool for handling NullPointerException (NPE) errors in Java code at scale. Here’s how we developed
#Nullsafe
, & how this tool has helped significantly reduce our overall number of NPE errors & improved developer productivity.
9
21
93
7
20
166
after_using_snake_case_for_a_while, camelCaseFeelsDirtyAndAlmostUnreadable.
32
15
167
Functional programming gives you superior composition, while object-oriented programming gives you superior code organization.
8
16
164
Unpopular truth: Bing chat, like ChatGPT, doesn't think, doesn't feel, and doesn't want anything at all, because it isn't alive.
Bing chat is just a fancy auto-complete giving users statistically likely completions based on training data.
There is no rise of the machines story.
22
18
157
As the author of BlueEyes, one of the earliest Scala web frameworks (inspired by Ruby's Sinatra), I made a decision that would come to impact later generations of Scala web frameworks, including Spray, Akka, http4s, and ZIO HTTP.
A decision that I now believe to be a mistake.
5
18
158
I am delighted to announce the launch of
@GolemCloud
, a new cloud platform for deploying immortal, reactive, invincible workers. 🎉
Built on durable computing, Golem Cloud lets you create reliable, resilient, scalable cloud apps faster than ever before.
9
41
147
For years, I’ve become accustomed to “costly abstraction” in Scala.
Take a wrapper (newtype) structure like:
case class Box[A](value: A)
A simple local expression like `Box(42).value` has much more overhead than you would think:
1. Allocation of 12 bytes on the heap for Box
18
15
154
Go is a brilliant solution to the problem of adding engineers with a random background to a project and having them be immediately productive without creating terrible messes due to inexperience.
6
7
152
My acclaimed keynote from earlier this month, "What Scala Can Learn from Rust", has JUST been released today:
What do you think YOUR language can learn from Rust? What do you think Rust can learn from other languages??
Share your thoughts below! 👇
2
31
148
I am honored to announce that, in recognition of our open source work,
@zivergetech
has been selected by
@goodcover
to build a next-gen OSS framework for long-running, fault-tolerant workflows.
Great things ahead for Scala, ZIO, & fans of FP!💥💪👇
8
18
153
Junior programmers don't know super fancy techniques; senior programmers know how to use them; and expert programmers know how to not use them.
3
32
148
The programming language Go has proven beyond all doubt that familiar, simple boilerplate is no impediment to adoption.
Functional programmers should learn carefully from this, wisely weighing the pros and cons of using 'fancy' techniques to eliminate boilerplate.
19
7
148
ZIO 1.0 just launched, and we're starting from half a million downloads a month. 💪🎉
2
13
147
Functional programming doesn't need new languages, new effect systems, or new monad tutorials.
To win, FP needs killer libraries, which deliver compositional, type safe, ergonomic solutions to real problems.
I want to win. Do you?
5
10
145
Modern programmers would not be able to write usable applications for an 8080 with 1 MB total RAM.
They write barely usable mobile apps today, and that's with 6 cores running at 3.4 Ghz each and 6 GB RAM.
Kids these days!
Moore's precept is doing well: computing power increases and gets cheaper over time. But the quality of software can either deliver these gains or cancel them. I am using a few mobile applications that have latencies of several seconds per interaction. Get better programmers.
9
14
131
26
9
144
Me, writing Rust after years of writing high-performance code under the immense gravitational force of the planet 'JVM'.
9
7
147
Just blogged, 'Improvements to the ZIO Organization'.
Why? Because I care about Scala, and I can do something important to help foster its growth.
7
27
143
Spark was a short-lived anomaly. The future of data and analytics is very clearly Python and Rust.
33
10
146
Too much mainstream media has devolved into tabloid trash, no longer conferring status or legitimacy.
The high-status move is to take
@balajis
' sage advice, follow
@Tesla
's playbook, and build your own media.
This is wild. Watch Ron DeSantis’s full answer on Publix, Walgreen’s and CVS vaccine distribution and look at the edited cut 60 Minutes used:
2K
15K
51K
4
21
140
"Why Effect Is More Important Than ZIO"
My latest talk, just published on YouTube, talks about effect systems and growing new OSS technologies & communities.
What I say may surprise you. Don't miss it! 👇
3
43
145
A monad is formed by any generic data type (internal DSL) that models both return values and sequential computation.
Though few developers using monads actually understand this, monads represent an embedding of imperative programming into purely functional programming.
13
27
143
Beginning functional programmers ask, "What is this strange abstraction 'Monad'?" whose answer could only satisfy a mathematician.
Instead, they should ask, "Which concrete data types have the Monad structure, and what specific problems does this structure help you solve?"
6
18
139
Impressed by Rust's traction.
Finally, C/C++ has a contender.
(It was never going to be Go, sorry not sorry!)
10
4
141
Postmodernism has recently infected software engineering with comforting ideas, which are nonetheless false, and if you want an exceptional career in programming, you will reject them.
1/10
7
35
140
Protip for API design: because IDEs and text editors auto-complete primarily by prefix, variations of a method should be distinguished through suffixes.
Bad:
foreach, parForeach, boundedForeach
Good:
foreach, foreachPar, foreachBounded
6
18
141
ZIO is what happens when you take Java's Runnable and make it maximally polymorphic.
In a very real sense, ZIO is inevitable.
4
27
139
More secure and faster than Circe, ZIO JSON features powerful, compositional encoders and decoders, and blazing fast single-line derivation powered by Magnolia.
This is the JSON library you were always looking for. Now available via snapshot releases!
7
30
139
ZIO CLI, already a formidable solution to building command-line applications, is getting support for OAuth2, so you can build authenticated command-line applications in just a couple lines of code! 🎉
1
27
137
Things I'm enjoying about Rust so far:
Tooling. Cargo is an amazing build tool & package manager; Rust-analyzer is rock-solid, working on cross-platform code bases for days on end; and the compiler has fantastic linting & actionable errors.
OSS Ecosystem. There are multiple
13
5
135
In functional Scala, 'map' should be called 'to', and 'contramap' should be called 'from'.
e.g.:
people. map(_.age)
vs
people. to(_.age)
encoder. contramap(Email(_))
vs
encoder. from(Email(_))
Fight me! 😉
24
14
133
Scala 3's extension method syntax has changed quite a few times, but I could not be happier where it ended up.
These are the extension methods we've all been waiting for! 🎉
4
14
135
Just blogged, 'Supporting Martin Odersky & Other Scala OSS Developers'.
Travis Brown's behavior is completely unacceptable, and by attacking more than just me, he crossed a line.
7
16
136
Resilient: Your system can gracefully and correctly handle errors from other systems.
Robust: Your system can gracefully and correctly handle errors from inside itself.
Reliable: Your system is both resilient and robust.
3
23
137
Another unpopular opinion: most designers of functional programming languages would benefit more day to day from working on large enterprise software than compilers.
Unpopular programming opinion: most programmers would benefit more day to day from learning a functional language than something very low level like C or ASM
33
29
348
10
8
136
Functional programming language features absorbed into mainstream:
- lambdas / anonymous functions (10 years)
- immutable data (5 years)
- pattern matching (now)
Our evil plan to improve all programming languages is working. 😉
2
19
133
If you don't have any hard skills, you're not an engineer.
If you don't have any soft skills, you're an engineer who could benefit from communication training.
Ergo, hard skills are more important.
20
8
131
I'm astounded and grateful for ZIO's success. 🙏
400+ contributors. Fortune 500 users. Ports to half a dozen programming languages.
Now, a year after ZIO 1.0, we are delighted to give you a taste of what's next in ZIO 2.0 M1! 💥🎉
Get it hot! 🔥👇
2
27
130
If your bottleneck is CPU usage, choose Rust.
If your bottleneck is productivity, choose Scala.
I started exploring Rust, and felt it's blazingly fast. But Expressiveness Of Logic using Scala is way better than Rust 🙄.
Any thoughts ?
4
1
17
2
22
128
Slides from my talk last night with
@adamfraser
on refactoring functional type classes. 🔥
The code for ZIO Prelude will be open sourced today! 🎉
4
32
126
In many ways, Rust is very similar to Scala, and no, I'm not talking about the drama! 😆
Let's see if I can teach you Scala developers the basics of Rust in 10 tweets! 🤔
Ready? Let's go! 👇
5
14
122
Literal billions were lost on the Crowdstrike bug, but your manager or coworkers will say, 'Nah, we don't need Rust, we're doing just fine with <unsafe language>'.
Your time will come, trust me. 😜
6
15
124
Functional programmers rightly criticize Spring, for a lack of algebraic structure, type safety, and compositionality.
But to see the drawbacks without understanding why Spring so popular is to miss the forest for the trees.
Technologies are not all good nor all bad, but a mix.
13
12
123
The big news that
@adamfraser
announced at this morning's
@FunScala2021
keynote is that ZIO 2.0's adaptive scheduler automatically learns where your code blocks and shifts it to the blocking thread pool. 🎉😱🕺
4
16
121
ZIO HTTP 3.0 is:
- Purely functional, like ZIO
- 10x easier to use & faster than http4s
- Apache 2, unlike Akka HTTP
- Better & faster than Tapir (Endpoint)
- Built-in HTTP client
- Loaded with rich middleware
Everything you'd expect from a ZIO HTTP framework! 🎉
1
15
121
"Why can't John just ignore Scala's weaknesses and let the language die in peace."
Because Scala is a powerful language with unrealized commercial potential, and I want to see it flourish, not wither.
Afraid you're stuck with me for now. 😉
5
7
117
This is exactly where Scala ZIO landed:
- typed error channel for recoverable, expected errors
- untyped error channel for non-recoverable, unexpected errors
It's a very simple idea, yet has a profoundly positive impact on error management.
Took us decades to figure out!
After many years with Rust, I'm allergic to exceptions.
Rust's error handling is far from perfect, but Result types + panics is intuitive and safe. We communicate possible errors via the API.
"API + unstable list of possible exceptions" gives me anxiety--too many past scars.
17
15
275
0
19
118
Literally so many companies are hiring for functional Scala developers like crazy, it's never been a better time to get paid to write purely functional code. 💪
3
12
119
For the past year, I’ve told you something big is coming.
A radical shift in the way we build reliable distributed systems.
On August 23rd, it’s time to unwrap the 1.0 edition of our contribution to durable computing.
Don't miss it--join me below!
John's Backend Secret
Be the first in line to find out the secret to invincible backends.
mailchi.mp
5
15
112
Hot off the press:
@deusaquilus
announces at ZIO Hackathon 2021 that Quill is moving over to the ZIO organization, and rebranding as ZIO Quill, with better integration than ever before. 🎉❤️💪
7
20
118
There are many great reasons to choose the JVM, including languages like Java, Scala, Clojure, & Kotlin.
Best performance and lowest latency are not among those reasons (not even close).
However, better performance (than e.g. Python) & large, mature library ecosystem ARE!
7
8
114
You can't judge the seniority of a developer by what they know. You have to look at their skills.
Highly senior developers can debug anything and maintain anyone else's code.
You get there with practice, not book knowledge.
5
14
116