Bitcoin Versus The IMF https://blog.bitmex.com/bitcoin-versus-the-imf/

Not taking BTC ATH news seriously as long as USD is underperforming Nigerian Naira.

Today I bought and sent a 43£ money order (bankless check) for 59£. Onboarding took 30 minutes. I wish I will never use it again.

Food

Last fish and chips meal in my college before moving 🇬🇧 -> 🇫🇮

Farcaster

"Äiti" is Finnish for mom 🫣

Disappointed to see it was just iOS's way of stacking notifications

Homelabs

self-hosting becoming mainstream, see the views on this YouTube

self-hosting becoming mainstream, see the views on this YouTube https://youtu.be/u_Lxkt50xOg

Farcaster and @moo became the fifth and sixth largest funder of my PhD studies

Talks about crypto and coffee. Building onchain algo trading - check out my channels /algo-trading and /python

Travel

Imagine this is Heathrow and your gate gets announced 5 minutes before boarding

Airport lounges lone-shaming me for not having a guest whereas restaurants welcome me to eat for two

brypto

The SEC chair has actually mentioned it’s time to update the accredited investor rule, which would launch a new wave of RWAs in crypto.

See the “Investing in Private Funds” section.

Will link more articles below 👇

https://www.sec.gov/newsroom/speeches-statements/atkins-prepared-remarks-sec-speaks-051925

Coinbase and other exchanges also impose these restrictions worldwide, even though it's more logical that SEC rules only apply to US-based corporations.

Going abroad this week so prepared by finishing a LUKS setup I should have done eons ago:

Going abroad this week so prepared by finishing a LUKS setup I should have done eons ago: https://juuso.dev/blogPosts/fido2-luks/multi-token-fido2-luks.html

Many vaccines are made with eggs. Most of us have been injected with eggs.

Framedl

tree-sitter powered git merge conflict resolver

tree-sitter powered git merge conflict resolver https://mergiraf.org/

nixos

Do people on this channel have public flakes? If not, why?

Here's mine: https://github.com/jhvst/nix-config

ETHSecurity Community

https://blog.bitmex.com/bitmex-busts-lazarus-group/

Not the best piece on Hype Machine top list this week but certainly the most eccentric

Not the best piece on Hype Machine top list this week but certainly the most eccentric https://on.soundcloud.com/XM4eX2mDiGhTAqcKig

Nethermind is seemingly developing a formal model of EVM and Yul in Lean4: https://github.com/NethermindEth/EVMYulLean

Though it's quite light on theorems and algebraic proofs, at least for now

Spotlight

Introducing $PROCOIN, the community-led governance token for Farcaster Pro users.

All 10k NFT holders are eligible for an airdrop.

But there’s a twist.

**The token will be untransferable until 500 Pro users claim.**

In order to get a mandate as a community token, we need broad support.

To claim, quotecast this post with the text “Ratifying @procoin governance”

All 10k NFT holders are eligible, but the first 500 claimers will receive ~5x the allocation.

$PRO 0xF65C3c30dd36b508E29a538B79b21e9b9E504E6C | Probots | Procoin Curation Protocol coming soon

solidity

Micro-Patterns in Solidity Code https://arxiv.org/abs/2505.01282

developer of HomestakerOS https://github.com/ponkila/HomestakerOS

research in programming languages at Oxford University

Juuso

@juuso