Flavio Brasil
@fbrasisil
Principal eng @Nubank + working on https://getkyo.io/ he/him
In Tom Ellis' talk A History of Effect Systems, he references Alexis King's 'escape plan' for making effect systems fast. Let's see if Kyo will reach escape velocity: 1. Inlinable Bind ✅ (inline by default) 2. Bind must not allocate ✅ (`type A < S = A | Kyo[A, S]`) 3. Must…
For the past 4 months, Vinture has been my experimentation platform for building applications with Kyo. Vinture is built with: Crawling: Kyo + Playwright Backend: Kyo + zio-http (yes you can do that) DB: Quill + Postgres Inference: Selfhosted, finetuned ML models Should I do a…
Vinture is now live! Upload any wine list to see the market price of each bottle, and discover the best value on the list. Search millions of listings across hundreds of retailers. Vinture is completely free to use
Scala stole IO from Haskell, and now Haskell is stealing Kyo’s algebraic effect encoding! You know you’ve found the right abstraction when others try to encode it in every language. The highest form of praise is copying.
主要な高階エフェクト（Reader,Writer,Except,NonDet）がすべてkyo流の高階エフェクトのエンコーディングで「一階化」できた。すげー github.com/sayo-hs/kontro…
Heading into my first OSS RC cycle! github.com/getkyo/kyo/rel…
Solving Leetcode hards becomes a joke with multi-shot continuations. Below is N-Queens in ~20 lines of simple, readable code. Learning functional programming means you never have to fear a technical screen again.
Kyo is a compositional wonderland; a taste of a more sublime parallel world or, perhaps, the near future. Incredible work, @fbrasisil, @adamhearn_, et al! Composition without Compromise™ 😜
🚀 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 3 years of rapid iteration, Kyo is finally committing to API stability, making it production-ready 🎯 The…
Extremely proud of what we have built with Kyo...and this is just the beginning.
🚀 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 3 years of rapid iteration, Kyo is finally committing to API stability, making it production-ready 🎯 The…
Got this question from @milan_milanovic in a recent interview: “What do you expect to see on the first page of a Staff-level RFC or Staff Project Proposal?” Here’s my honest take, shaped by some of the best RFCs I’ve seen over the years and their recurring patterns that stand…
Alligator Alcatraz cost $450M and flooded in a day. It’s been raining nonstop in SoFlo this week, now imagine during a hurricane. Don’t call yourself a Christian while cheering on a cage built to dehumanize. Jesus fed the hungry; he didn’t drown them. 🐊✝️
Our $450,000,000 Alligator Alcatraz in Florida Everglades is already flooding. Wonder what’s going to happen in a hurricane. Don’t worry! 17,000,000 are set to lose their health care to help pay for it. We are not a serious country.
My first Sunday of rest in a couple of months now closing with a nice starry night sky #notbad 🌟
