hellwolf

Co-founder of @Superfluid_HQ. Building and using @yolc_dev for Ethereum and Superfluid.

Love to hang around in the Haskell community, too.

[Wimbledon @Wimbledon]

"These are the moments I still play tennis for."

We're so happy you still do, @DjokerNole.

[hellwolf @hellwolf2025]

How Talmud is popular in south Korea: https://t.co/PIxn9uWtTP

[hellwolf @hellwolf2025]

@aspiwack Wait, does that also mean the "origin story picture" of 猫 I showed you was made up? hullucination? I don't know, sorry :p

[hellwolf @hellwolf2025]

I have not thought about it. Now it occurs to me that many other animals have "original" characters, in that they are not composed of radicals, with one for semantics and the other for phonetics: 牛 (cow), 马/馬 (horse), 羊 (goat), 犬 (dog), etc.

I have looked up the history of cats in China; it seems they were brought in after the development of the Silk Road, in the 8th - 10th century CE. This is probably why the new character was constructed from other radicals.

[Matti Palli 🧙‍♂️ @tritlo]

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 @hellwolf2025]

https://t.co/nSVd1TxTos

The monologue of "honoring your boomers."

[hellwolf @hellwolf2025]

Watching the "Dirty Harry" series again is one way to appreciate the complexity of dealing with the matter of good versus evil.

I hope the crumbling of the alliance on the right will call for a stronger philosophical foundation in 10 years. Not this time.

[The Free Press @TheFP]

Dennis Prager: Right and Wrong Are Not a Matter of Personal Opinion https://t.co/a3iSGBzxis

[Tim Sweeney @TimSweeneyEpic]

This is one of the most exciting features coming to the Verse language: reactive programming that “just works”!

[hellwolf @hellwolf2025]

And Rubio's latest speech poses a decision that the so-called West must make urgently in response to the rise of the autocratic China: A Carney-lites' lament for "another world of yesterday," or a Rubionic charge for "the revival of the Columbus spirit."

[hellwolf @hellwolf2025]

"""
Nostalgia is not a strategy; among many fundamental changes, China has never been a more serious challenge to the world order than in recent history. So, I find Carney-lite attitude pitiful at best, and utterly impotent at worst. "Another world of yesterday," to almost quote Stefan Zweig's work, only that it was no longer about the Habsburg myth but a liberal-order myth. Get on with it!
"""

[Masahiro Sakai @masahiro_sakai]

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: https://t.co/U7i0ofybLi

[ZuriHac @ZuriHac]

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.

https://t.co/Kwqd0zvlee

[Edward Kmett @kmett]

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.

https://t.co/YatyfCfjlu

[hellwolf @hellwolf2025]

@sridca I just realized that Epstein died for our sin.

[hellwolf @hellwolf2025]

"""
Nostalgia is not a strategy; among many fundamental changes, China has never been a more serious challenge to the world order than in recent history. So, I find Carney-lite attitude pitiful at best, and utterly impotent at worst. "Another world of yesterday," to almost quote Stefan Zweig's work, only that it was no longer about the Habsburg myth but a liberal-order myth. Get on with it!
"""

[😊 @PontistGirl]

The CEO of IKEA has just been appointed as the prime minister of Sweden.

He's currently assembling his cabinet.

[World of Statistics @stats_feed]

Roger Federer is 50% "er"

[John A De Goes @jdegoes]

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.

[Stephen Wolfram @stephen_wolfram]

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 ...
https://t.co/N6kD5SaboN