hellwolf (@hellwolf2025) header
hellwolf (@hellwolf2025) profile picture

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

Tallinn, Estonia
Joined December 2024
Photo by hellwolf (@hellwolf2025)Photo by hellwolf (@hellwolf2025)Photo by hellwolf (@hellwolf2025)Photo by hellwolf (@hellwolf2025)Photo by hellwolf (@hellwolf2025)Photo by hellwolf (@hellwolf2025)Photo by hellwolf (@hellwolf2025)Photo by hellwolf (@hellwolf2025)
Human-led agentic commerce. One wallet for people, their AI agents and the businesses they buy from. Explore → superfluidwallet.com/
Introducing Superfluid Wallet: a wallet you and your agents use together. Now in beta testing. For on-chain finance and agentic commerce where agents act for people and people stay in charge. Understand what you’re authorising. Control what your agent can do. Let participating services verify who your agent represents. Built With the Best: @turnkeyhq , @proof , @circle , @navaai Read the launch article : xitter.gq/sfwallet/status/210241…
4
1
14
1,114
hellwolf retweeted
"These are the moments I still play tennis for." We're so happy you still do, @DjokerNole.
138
1,430
100
14,213
464,111
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
209
37,258
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,693
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,062
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,800
The CEO of IKEA has just been appointed as the prime minister of Sweden. He's currently assembling his cabinet.
510
1,674
173
29,318
1,038,122
Roger Federer is 50% "er"
106
2,799
168
33,198
1,031,365
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,153
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/…
26
189
22
1,402
167,922
Cooked up this abomination at ZuriHac 2025 -- execute Verilog circuits right from your Haskell!
1
1
9
1,014
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