hellwolf
@hellwolf2025
Co-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid. Love to hang around in the Haskell community, too.
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/infrastructu…
What is rhetoric: Functions: to inform, persuade, and motivate. Disciplines: pedagogy, sales, and marketing. Good approaches: to educate with precision, to connect with empathy, and to inspire with sincerity. Bad approaches: to indoctrinate, to deceive, and to demagogue.
Cooked up this abomination at ZuriHac 2025 -- execute Verilog circuits right from your Haskell!
It's still the easiest experience explaining what Superfluid is at the Haskell community: It is simply FRP applied to payment, what's the problem?
dl.acm.org/doi/abs/10.114… "At Standard Chartered Bank, Haskell is used in a core software library supporting the entire Markets division -- a business line with 3 billion USD operating income in 2023."
This should be another simple type-level feature that can save a lot of audit money for you.
The access control part of the contracts is inherently not suitable for fuzzing or invariant testing. Yolc will introduce a type-level ACL (access control list) for the storage APIs: If applied, you will need to supply the necessary "runtime-witness" as an ACL to have write…
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/
Now I am not too sure what "the next 700 programming languages" is about: Is it about creating libraries of vocabularies in a expressive host language, or rather, creating a more expressive host language?
Year 2025: So many people ____ others' time for a living. Filling the blank: - value-neutral: use - positive: entertain - negative: waste
blog.functorial.com/posts/2017-10-… "Higher-order Abstract Syntax for Cartesian Closed Categories" Found some similar construction to Yolc's MapHask from this article.
This solves this: x.com/yolc_dev/statu…
A short article on "data versioning" and how it catches errors at compile time with two examples. yolc.dev/docs/concepts/…
Haskell makes Yolc expressive. A short article on what "Embedded DSL (EDSL) in Haskell" is for Yolc. yolc.dev/docs/concepts/…