[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.] #  @fbrasisil Flavio Brasil Flavio Brasil posts on X about scala, loop, new era, dawn the most. They currently have XXXXX followers and XXX posts still getting attention that total XXX engagements in the last XX hours. ### Engagements: XXX [#](/creator/twitter::793799617/interactions)  - X Week XXXXX +31% - X Month XXXXXX +997% - X Months XXXXXX -XX% - X Year XXXXXXX -XX% ### Mentions: X [#](/creator/twitter::793799617/posts_active)  ### Followers: XXXXX [#](/creator/twitter::793799617/followers)  - X Week XXXXX +0.66% - X Month XXXXX +2% - X Months XXXXX +4.80% - X Year XXXXX +6.10% ### CreatorRank: XXXXXXXXX [#](/creator/twitter::793799617/influencer_rank)  ### Social Influence [#](/creator/twitter::793799617/influence) --- **Social category influence** [stocks](/list/stocks) [technology brands](/list/technology-brands) **Social topic influence** [scala](/topic/scala), [loop](/topic/loop), [new era](/topic/new-era), [dawn](/topic/dawn), [$uber](/topic/$uber), [monad](/topic/monad), [adt](/topic/adt) **Top assets mentioned** [Uber Technologies, Inc. (UBER)](/topic/$uber) ### Top Social Posts [#](/creator/twitter::793799617/posts) --- Top posts by engagements in the last XX hours "@adamhearn_ pretty cool To be honest I didn't even know/notice I was developing a higher-order effect when I introduced Batch. I just thought "wouldn't it be nice if sources allowed arbitrary effects" and implemented it 😂"  [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1946018172923965590) 2025-07-18 01:24:22 UTC 2738 followers, XXX engagements "@ymdfield @adamhearn_ it might a Scala thing. If I'm not mistaken I couldn't make Var fully type safe because the compiler wouldn't narrow the types in the handler pattern matching"  [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1946045826909757541) 2025-07-18 03:14:15 UTC 2737 followers, XX engagements "@ymdfield @adamhearn_ yeah Scala X type system was key to reach this encoding It's difficult to express it in a language that doesn't have a native way to represent an unordered type-level set"  [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1946039872491229484) 2025-07-18 02:50:35 UTC 2737 followers, XXX engagements "@ymdfield it should be an infinite loop no also printing a computation isn't valid it shows the internal state"  [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1945854787179659418) 2025-07-17 14:35:08 UTC 2738 followers, XXX engagements "🚀 Kyo 1.0-RC1 - A New Era of Simplicity and Stability ✨ Forget nested monads forget tagless final forget mtl forget uber monads. It's time for a new dawn After X years of rapid iteration Kyo is finally committing to API stability making it production-ready 🎯 The library represents a significant evolution step in Scala providing an unprecedented level of composability with a major focus on usability and performance. This isn't "just" another effect system it is a new paradigm altogether 🔥 Kyo is the most complete algebraic effect implementation in any language and fills common gaps that"  [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1944187408850772047) 2025-07-13 00:09:34 UTC 2738 followers, 13.6K engagements "Yes the underlying ADT resembles the Freer monad but the overall abstraction has very different characteristics: X. Effects are maintained in an unordered type-level set instead of an ordered list which allows higher-order operations to wrap computations with arbitrary effect sets and introduce new effects without specifying their position in a stack. X. ArrowEffectInput_ Output_ is more expressive than F_ which enables suspending and resuming with other effects to support higher-order behavior. X. Effect interpretation is constrained to its own suspensions instead of the more free"  [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1945476793814925429) 2025-07-16 13:33:07 UTC 2735 followers, XXX engagements
[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]
Flavio Brasil posts on X about scala, loop, new era, dawn the most. They currently have XXXXX followers and XXX posts still getting attention that total XXX engagements in the last XX hours.
Social category influence stocks technology brands
Social topic influence scala, loop, new era, dawn, $uber, monad, adt
Top assets mentioned Uber Technologies, Inc. (UBER)
Top posts by engagements in the last XX hours
"@adamhearn_ pretty cool To be honest I didn't even know/notice I was developing a higher-order effect when I introduced Batch. I just thought "wouldn't it be nice if sources allowed arbitrary effects" and implemented it 😂" @fbrasisil on X 2025-07-18 01:24:22 UTC 2738 followers, XXX engagements
"@ymdfield @adamhearn_ it might a Scala thing. If I'm not mistaken I couldn't make Var fully type safe because the compiler wouldn't narrow the types in the handler pattern matching" @fbrasisil on X 2025-07-18 03:14:15 UTC 2737 followers, XX engagements
"@ymdfield @adamhearn_ yeah Scala X type system was key to reach this encoding It's difficult to express it in a language that doesn't have a native way to represent an unordered type-level set" @fbrasisil on X 2025-07-18 02:50:35 UTC 2737 followers, XXX engagements
"@ymdfield it should be an infinite loop no also printing a computation isn't valid it shows the internal state" @fbrasisil on X 2025-07-17 14:35:08 UTC 2738 followers, XXX engagements
"🚀 Kyo 1.0-RC1 - A New Era of Simplicity and Stability ✨ Forget nested monads forget tagless final forget mtl forget uber monads. It's time for a new dawn After X years of rapid iteration Kyo is finally committing to API stability making it production-ready 🎯 The library represents a significant evolution step in Scala providing an unprecedented level of composability with a major focus on usability and performance. This isn't "just" another effect system it is a new paradigm altogether 🔥 Kyo is the most complete algebraic effect implementation in any language and fills common gaps that" @fbrasisil on X 2025-07-13 00:09:34 UTC 2738 followers, 13.6K engagements
"Yes the underlying ADT resembles the Freer monad but the overall abstraction has very different characteristics: X. Effects are maintained in an unordered type-level set instead of an ordered list which allows higher-order operations to wrap computations with arbitrary effect sets and introduce new effects without specifying their position in a stack. X. ArrowEffectInput_ Output_ is more expressive than F_ which enables suspending and resuming with other effects to support higher-order behavior. X. Effect interpretation is constrained to its own suspensions instead of the more free" @fbrasisil on X 2025-07-16 13:33:07 UTC 2735 followers, XXX engagements
/creator/x::fbrasisil