software engineer, functional programmer, husband, Christian. Making effect systems the default
Palo Alto, CA
- Tweets 1,661
- Following 812
- Followers 709
- Likes 13,969
Pinned Tweet
Unification of effect definitions (via suspension) enables convergence on program design itself.
Kyo’s stream encoding solidifies the advantage of algebraic effects: principled, predictable, and deeply composable.
Streaming is one of the most fascinating things I got to learn in-depth as part of #Kyo's development! Providing an encoding with good ergonomics, performance, and common functionality like resource safety & backpressure isn't a trivial task. I'm super happy to see @adamhearn's talk presenting how algebraic effects open a new chapter in how to encode streams (link in reply 👇)
I think I probably rewrote Kyo's streams from scratch about 10 times before landing on the initial version 🤓 Since then, we've been iterating on it, introducing new features, optimizations, and even simplifying it further! It's 😻 to be ripping the benefits of open-source collaboration!
The result? A simple, principled, and high-performance implementation with next-level flexibility. Kyo streams can leverage other effects like Resource handling, state management via Var, and buffering via Async. But not only that! They provide seamless integration with other effects, including user-defined ones 🤯 It's definitely a great peek at how algebraic effects unfold a new chapter in functional programming.
Streaming isn't the "fundamental effect", the ability to encode and compose effects is the true gem!
4
23
6,008
Adam Hearn retweeted
Rust no longer the defacto best language for agents
Compile times are too long, I'm always finding myself bottlenecked by time not intelligence
And the agents have gotten really at doing manual memory management now
254
43
1,683
385,518
Adam Hearn retweeted
Effect v4 is here.
One ecosystem. Zero dependencies.
The next chapter of Effect and the foundation for building reliable software and AI agents in TypeScript.
ALT Effect 4.0 stable release announcement on a dark background. Large white “4.0” above “Production-ready. Out now.” A timeline along the bottom progresses from 3.0 Stable to 4.0 RC to 4.0 Stable.
78
320
2,305
365,607
opencode is setting up my home server with proxmox and home assistant. Next task: use serial modem to connect Insteon Light switches to HA. Then I can map HA -> HomeKit and control the smart lights my home came with
1
10
1,032
kit finally finished the blog post
he covers how OpenCode 2.0 is able to modify everything about itself in real time even during running sessions
btw post whatever easter eggs you're able to find
anoma.ly/notes/opencode-relo…
201
102
2,111
327,394
I have no idea how people are using opus. It just sucks now. 5.6 sol does exactly what I want with minimal guidance. Opus loves to create thousands of lines of unnecessary code and tests without any rhyme or reason. It’s actually insane because codex sucks so much more as a harness
1
5
482
Adam Hearn retweeted
who would have thought type safety would be all the rage in the age of AI 😆 kyo-ai is getting a Jev integration and it's mind blowing how useful this kind of model is! It's nice to see the industry moving on from "we just need bigger models".
Examples in 🧵
3
19
66
2,585
Adam Hearn retweeted
akka社(旧lightbend社、旧typesafe社)が、会社としてScala言語自体の開発に関わるの終了したっぽい。
github.com/scala/scala-lang/…
以前から割合は徐々に減っていたけれど
2
31
120
14,585
using browser-control in opencode to get amex to pay for my seat upgrades the way they ought to
3
1
44
9,135
Adam Hearn retweeted
📢 A decade after I published Quill, kyo-sql is landing with a fresh new approach! 🙌
✅ First-class support for both raw SQL and typed queries
✅ Two-way interop: raw SQL in typed queries and typed queries in raw SQL 🤩
✅ Support for JVM, Native, Wasm, JS on top of Kyo's new high-perf async network stack
✅ Pluggable drivers, MySQL and Postgres included, with DB-specific features
✅ Compile-time query generation without friction via inlining 🙌🏼
Something that has been great is how Kyo's Record has enabled much simpler and ergonomic designs. It's a cornerstone of a few modules so far: fully typed http routes (including filters!), seamless state handling in durable workflows, and now typed SQL queries with semantics close to relational algebra, reducing friction. Yes, flexible structural typing with rich type-level transformations is a reality in Scala 3 with Kyo! 🧙🏼♂️
I realized a long time ago that expressing SQL as collection/monadic operations like Quill did has always been a dead end. This new work corrects the record and mirrors SQL syntax in the typed DSL instead
This module gets us much closer to 1.0 in time with the upcoming Scala 3.9 LTS. It's been a long journey, and we're finally close to the finish line!!! 🔥🔥🔥
5
16
79
3,093
Adam Hearn retweeted
The stated preferences of people is that they hate the alphabet soup Chinese junk.
The revealed preferences say otherwise.
78
10
1,599
343,507
Adam Hearn retweeted
Kyo RC4 is out, and it's yet another big one 🚀
🧩 kyo-ui: web UIs as pure values, rich reactivity across clients and servers
🌐 kyo-browser: drive a real browser with automatic settlement across all platforms
🔌 kyo-ffi: bind a C library once, call it from JVM, JS, and Native 😱
🪄 kyo-compat: write a library once, ship it to six effect backends (Kyo, ZIO, Cats Effect, Future, Ox, Twitter Future)
🕸️ WebAssembly is now a fourth cross-build target, published to Maven Central
The cherry on top? The project is finally fully documented and has a new website 🥳
4
20
81
4,277
