Building Superfluid Wallet (@sfwallet) and Superfluid Protocol (@Superfluid_HQ) at Superfluid Finance. Haskell fan, too.

Tallinn, Estonia
Joined December 2024
hellwolf retweeted
"These are the moments I still play tennis for." We're so happy you still do, @DjokerNole.
138
1,430
100
14,229
464,012
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!
15
20
4
210
37,249
This is one of the most exciting features coming to the Verse language: reactive programming that “just works”!
🧠 Live Variables will change how you write Verse code. ❌ No more manual callbacks. ❌ No more forgotten updates. ❌ No more "wait, why is the UI showing 0?" Verse is getting reactive programming baked into the language Everything you need to know 👇🧵 #Verse #UEFN #Fortnite
66
31
3
577
72,680
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/
8
16
1,145
hellwolf retweeted
ZuriHac 2026 - Registrations are open! ZuriHac is a completely free, three-day grassroots Haskell coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science. zureg.zfoh.ch/register
1
8
3
17
2,060
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…
6
6
2
65
5,791
The CEO of IKEA has just been appointed as the prime minister of Sweden. He's currently assembling his cabinet.
510
1,677
173
29,330
1,038,095
Roger Federer is 50% "er"
106
2,801
168
33,231
1,031,321
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.
39
65
7
656
33,152
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/…
27
189
22
1,402
167,910
Cooked up this abomination at ZuriHac 2025 -- execute Verilog circuits right from your Haskell!
1
1
9
1,011
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/
2
11
507
Haskell makes Yolc expressive. A short article on what "Embedded DSL (EDSL) in Haskell" is for Yolc. yolc.dev/docs/concepts/edsl/
1
1
110
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."
2
1
207
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!
1
1
1
97
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…
1
7
17
2,489
🔥 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
4
7
744
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.
4
7
475