falcucci

Some future related work on smart contract safety basically falls into two buckets.

the first is formal verification tools that can be applied alongside an existing codebase: you keep the contract language and implementation model mostly as they are, then use external tooling to specify and prove properties about the code.

SSZ gives canonical, deterministic bytes. Using it as the adapter avoids ad-hoc serialization and makes signatures portable across implementations.

#milan is alive

Signing can be deceptively expensive when it allocates in the hot path. Allowing the caller to provide a buffer makes the memory cost explicit, lets the operation stay on the stack when possible, and reduces latency jitter under load.

The trade-off is ergonomic: you must size the buffer correctly and handle the error path when it is too small, but the determinism is worth it in latency-sensitive systems.

I've always believed software architecture is the user interface of the code itself and that belief became impossible to ignore once I started bouncing between Ed25519 and BLS12-381 in real protocols.

The Ikigai Dreaming up ideas and making them come true is where my passion lies. I have a special interest in modern programming languages, green computing and anything to improve the human-being daily basis activities.

Great advances have been made to decrease energy consumption and emissions of hardware. However, those are often canceled out by poorly optimized software and resource-intensive runtime environments.

The Ikigai Dreaming up ideas and making them come true is where my passion lies. I have a special interest in modern programming languages, green computing and anything to improve the human-being daily basis activities.

After some hacking I can now introduce you Harvest Moon At this week I was interested in running a decentralized community-based fact-checking system, as a game theory experiment to see how voters behave under such incentive to collaborate in the decision making process.

Heads up for the project and specifically the tests, for a better understanding of the design and their behaviors.

After some hacking I can now introduce you Harvest Moon At this week I was interested in running a decentralized community-based fact-checking system, as a game theory experiment to see how voters behave under such incentive to collaborate in the decision making process.

At the moment, those platforms mirror exactly the same problem that they are trying to solve, by not having a truly diverse group of people in a general public to score and fact-check the information.

After some hacking I can now introduce you Harvest Moon At this week I was interested in running a decentralized community-based fact-checking system, as a game theory experiment to see how voters behave under such incentive to collaborate in the decision making process.

Important: the goal is not to correct every piece of information; rather, it serves to remind individuals of the existence of multiple perspectives, that certain kinds of posts that look convincing and engaging in isolation can be actually quite incorrect.

After some hacking I can now introduce you Harvest Moon At this week I was interested in running a decentralized community-based fact-checking system, as a game theory experiment to see how voters behave under such incentive to collaborate in the decision making process.

which is something that the Quadratic Voting system can help to achieve using also the commit-reveal voting system to prevent inside-trading.

After some hacking I can now introduce you Harvest Moon At this week I was interested in running a decentralized community-based fact-checking system, as a game theory experiment to see how voters behave under such incentive to collaborate in the decision making process.

Off-chain workers could automatically import Posts from specifics platforms such as @bsky.app as a first data source to the blockchain and so, callable intrinsics.

After implementing the macOS trackpad force pressure on #neovide and using it in a daily-basis, the action of hitting reference links just became elegant and solid.

clicking anywhere on the trackpad with a consistent amount of force and having a customized action for it is something that once you have it you can't go back.

So, @bsky.app do need to start verifying accounts as soon as possible.

The blue ticks are essential for preventing identity theft and presumably they have criteria that was fit for purpose - which was used back in the day.