@hellwolf's avatar

hellwolf

@hellwolf

I use here to mostly write stuff about Superfluid Protocol. motto: "tu ne cede malis, sed contra audentior ito."

22 Posts
4 Replies
23 Following
27 Followers
6 Mirrors


@hellwolf's avatar
hellwolf
@hellwolf
( an follow-up of https://lenster.xyz/posts/0x019d10-0x17-DA-f8c892e2 ) I have gone pretty far today: I have compiled a simplified ERC20 Transfer function to a PlantUML representation of its wiring diagram. I believe with…
attachment
0 Comments
0 Likes
0 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
Did you know that a prototype version of Super Token v2 is coming to Starknet first, thanks to Starknet proponent @godspower.lens? https://github.com/superfluid-finance/protocol-monorepo/pull/1275 It will have all the generalized payment primitives without…
attachment
2 Comments
13 Likes
9 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
One thing I have been fascinated about is https://arxiv.org/abs/2103.06195 I have been playing around with its current implementation, and the more I do the more I believe that compiling a host…
attachment
0 Comments
2 Likes
1 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
"The little engine that could", coming to Superfluid Protocol soon....
attachment
0 Comments
5 Likes
1 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
Conceptual View of Superfluid Pool, enabled by a feature called "general distribution", coming to Superfluid Protocol soon.
attachment
1 Comments
4 Likes
2 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
Idea must live on - be an idea maxi; while tech must move on - be no tech maxi. Like waves, tech ebbs and flows, revealing the lasting ideas beneath that…
attachment
0 Comments
1 Likes
0 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
Image courtesy to: https://shemesh.larc.nasa.gov/images/humor-sneak-a-peek.jpg
0 Comments
0 Likes
0 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
Certora (https://docs.certora.com/en/latest/docs/whitepaper/) provides a suite of tools for auditing smart contracts. At its core, Certora Prover packages state-of-the-art open-source solvers through its CVL (Certora Verification Language), in which specifications are…
attachment
1 Comments
10 Likes
4 Mirrors

@superfluid's avatar
Superfluid
@superfluid
Announcing Superfluid subscriptions 🌊 We believe everyone should have full control of their own payment infrastructure. As an open-source, self-hosted & fully customizable toolkit, Superfluid subscriptions allow you to build crypto-native checkouts…
attachment
6 Comments
27 Likes
12 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
It's maddening how can I copy paste code in lens
attachment
0 Comments
1 Likes
0 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
This is Solidity code, and it may look different than you are used to: function shiftFlow2b(BasicParticle memory a, PDPoolIndex memory b, FlowRate dr, Time t) internal pure …
1 Comments
3 Likes
0 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
`Yo, listen up, let me tell you 'bout some Solidity game` `Where wrapping and unwrapping custom types is the name` `Custom structs, enums, and arrays, that's the play` `But when you wanna use…
1 Comments
1 Likes
1 Mirrors

@0xaxe's avatar
Axe
@0xaxe
Custom Types as they are now should just be called aliases or "a.k.a" types. - No operator overload - No implicit wrap / unwrap when is clear what you want to do. eg. function…
1 Comments
1 Likes
4 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
Without generics, this is the sort of none sense you end up in Solidity using the half-baked custom types: ``` type Time is uint32; type Value …
3 Comments
1 Likes
0 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
I am live coding: https://www.twitch.tv/miaozc/videos
0 Comments
1 Likes
0 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
Can we make uniswap v1/v2 style exchanges continuous in time? Or can we have zero intermediate liquidity market maker using Superfluid flows of money? Yes! Superfluid protocol applies FRP (Functional…
0 Comments
14 Likes
8 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
Question of the day: does DeFi belong to the "**correctness realm,**" and if so, then has exploratory programming using smart contracts for DeFi run its course; if not, why? This rather…
attachment
0 Comments
1 Likes
0 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
You should give Nix a try!
0 Comments
1 Likes
0 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
Did you know that Superfluid protocol monorepo provides Nix development shells? Checkout https://github.com/superfluid-finance/protocol-monorepo/blob/dev/CONTRIBUTING.md#setup-tooling, with nix you can be a whitehacker and having slither, echidna, etc. setup without hassles!
2 Comments
5 Likes
3 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
What is [ERC20x](https://erc20x.xyz/)? ERC20x is set of ERC20 extensions amalgamating the idea of *Superfluid Money* with the principle of *tokenize all data* using ERC721. You get: *** Superfluid Money Inspired** precice…
0 Comments
2 Likes
1 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
As a Linux/Unix geek since kernel 1.x, I am in favor of the idea of having KISS-principled, reusable, deploy-and-done smart contract utilities which are good at what they are doing. E.g.…
attachment
0 Comments
4 Likes
1 Mirrors

@hellwolf's avatar
hellwolf
@hellwolf
What is Superfluid Money? Superfluid Money is internet money that is programmable, composable and semantically rich: - It is **semantically rich**, because it supports novel primitives such as flows (constant flow value…
attachment
0 Comments
8 Likes
6 Mirrors