
Building Superfluid Wallet (@sfwallet) and Superfluid Protocol (@Superfluid_HQ) at Superfluid Finance. Haskell fan, too.
Tallinn, Estonia
Joined December 2024
- Tweets328
- Following229
- Followers160
- Likes437
hellwolf retweeted
"These are the moments I still play tennis for."
We're so happy you still do, @DjokerNole.
hellwolf retweeted
Every combinator can be rendered as an iota tree.
Iota is a programming language.
Defined as iota = 1 | 0 iota iota, where iota = \f.((\a.\b.\c.((ac)(bc)))\d.\e.d).
Iota is turing complete! So you can represent *all computable functions* with iota trees
PL theory is amazing!
hellwolf retweeted
Dennis Prager: Right and Wrong Are Not a Matter of Personal Opinion thefp.com/p/dennis-prager-ri…
hellwolf retweeted
This is one of the most exciting features coming to the Verse language: reactive programming that “just works”!
hellwolf retweeted
What if you could program with category theory directly?
CPL 0.2.0 is out 🚀 — a language with no built-in data types, where even functional types are defined using category theory.
Now runs in your browser via WebAssembly. Give it a try: msakai.github.io/cpl/
hellwolf retweeted
Positron has raised $230M in our Series B!
We're eagerly gearing up for the challenges ahead, and yes, we ARE hiring! Actual humans, in Haskell and hardware roles, remote friendly.
Feel free to reach out to me.
eetimes.com/positron-230-mil…
hellwolf retweeted
The CEO of IKEA has just been appointed as the prime minister of Sweden.
He's currently assembling his cabinet.
hellwolf retweeted
Having seen and survived more than a decade of political insanity in tech, my recommendations for healthy open-source projects are simple:
- No politics in open-source (left or right)
- No COC, language policing, political banners, or any other divisive and inherently political symbols and tools of power
- No consideration for conduct in other communities; whatever they said on X or BlueSky is irrelevant
- Speech and conduct within the project should be professional and focused on the goals of the project
- The only valid reason to ban someone is because they are making MORE work for core contributors than their contributions justify (if Stalin wants to submit a good PR, merge it without fuss)
- The only valid reason to moderate is because someone can't respect the above, and in such a case, the moderator, moderation decision, and moderated content should be transparent to guard against abuse
In a nutshell:
Code first. Be professional. Leave politics at the door.
hellwolf retweeted
If you do functional programming (like in Wolfram Language) you've probably used lots of pure functions, or lambdas. But what are lambdas like in the wild? Things I'm doing in CS, bio and ML converged to make me curious to find out... And as seems to happen whenever I go exploring in the computational universe ... they surprised me ...
writings.stephenwolfram.com/…
hellwolf retweeted
Better infrastructure, fewer surprises. We’re raising $6K for a dedicated ARM server to support #Haskell’s infrastructure (CI, backups, etc). Let’s build infra you can rely on! Every contribution helps!
Donate: donorbox.org/infrastructure-…
Read more: discourse.haskell.org/t/infr…
hellwolf retweeted
Cooked up this abomination at ZuriHac 2025 -- execute Verilog circuits right from your Haskell!
hellwolf retweeted
We did a thing! This project started a long ago and it's finally released. It provides a way to query EVM contracts from within open games, leveraging the Haskell implementation of EVM. This opens up plenty of possibilities in the mechanism design space!
blog.20squares.xyz/hevm/
hellwolf retweeted
Haskell makes Yolc expressive.
A short article on what "Embedded DSL (EDSL) in Haskell" is for Yolc.
yolc.dev/docs/concepts/edsl/
hellwolf retweeted
Another future benefit of being an embedded DSL is that the same code can be used as indexer logic.
This will be an equivalent to "isomorphic client-server-stack": an "isomorphic contract-indexer-stack."
hellwolf retweeted
The utilization of categories makes YulDSL concise and conducive to end-to-end integration with existing tooling, including Foundry.
As an analogy, that means it has a set of well-defined "verbs" that compose well with each other and make well-defined, longer "sentences."
These are the most abstract forms of "sentences," enabled by category theory. As a result, they can be easily converted to concrete forms, including Yul code, GraphViz diagrams, or even Lisp s-expressions!
hellwolf retweeted
If someone reads this and wonders "what is HoTT [homotopy type theory]?", I wrote this blog post that attempts to serve as a bit of an intro and has links to more extensive resources: chrishenson.net/posts/2024-0…
hellwolf retweeted
🔥 New languages, bold ideas!
At #LambdaDays 2025, explore @flixlang , built around effect-oriented programming, and @yolc_dev a safe & expressive Haskell-embedded language for Ethereum smart contracts.
Two speakers. Two talks. Two visions of the future. @hellwolf2025 @MagnusMadsenDK
🎟️ lambdadays.org
hellwolf retweeted
Replying to @0xngmi
Have you heard of @yolc_dev?
I am presenting it at @EthPrague & @EthCC , and @LambdaDays (not a crypto conference) this year.
It deep embeds a language in Haskell, so all the advanced type system is available to the language:
- It has algebraic data types, hence "pattern matching" for free.
- It has parametric polymorphism, hence "generics" for free.
- It uses LinearTypes to provide "data freshness" check in compile time, no more reentrancy issues or similar linear-time temporal logic errors.
- It will have all the functional programming goodies versy soon: Functor, Applicative, Traversable, lenses, etc.
- Honestly, I can show off many more stuff in this language, but it's all because I use other well-engineered technologies.
Most importantly, it works end-to-end and is integrated with Foundry. It is in technical preview, I am bridging the gaps of features every day, and I am busy packaging and preparing it for the upcoming conferences.


























