New episode "$300M worth of bugs" is out now! Talking about and formal verification with and 🎙️🎧

Ideas are reusable ♻️

We believe that learning fundamental principles and patterns in software development makes us better engineers 👩‍💻👨🏿‍💻

If that's something you believe in too, consider supporting us on Patreon ❤️

🎉🎉 We're finishing the work on the new episode and we're launching a patreon campaign to keep the flow of shows steady. 🎉🎉

Learn more here:

I need help reviewing the first draft of the new @codepodcast about ways of testing and verifying smart contracts. What does a reviewer do:

Reply to this thread or email me if that sounds interesting

Ok, something unusual... but I wrote a bit on how to write a silly "hello world" bootloader for x86 computers - feedback much appreciated!

Some personal thoughts from the event follow.

First, the internet doesn’t strip us of . It only makes it easy for you to broadcast your naked self, without any second thought, to be globally mirrored to CDNs for all eternity.

If we want more privacy, we need to make it easier for people to be translucent than transparent, make what we think is right the trivial option.

"Starting with an initial $50,000,000 in funding, we can now increase the size of our team, our capacity, and our ambitions"

Woha. Great news.

We are also hosting this week, same topic: Team Metrics Come over if Kotti is on your morning route ;)

I'm hosting Managers & Board games this Sunday. Topic: Team metrics. Game: Carcassonne. Come hang out 🏰

John Perry Barlow has died. He was a founding member of both the Electronic Frontier Foundation and the Freedom of the Press Foundation, and wrote the "Declaration of Cyberspace Independence", which begins...

> "Governments of the Industrial World, you weary giants of flesh and steel, I come from Cyberspace, the new home of Mind. On behalf of the future, I ask you of the past to leave us alone."

He was a visionary and it is our loss.

Working on new Whom to interview regarding automatic testing and verification of smart contracts?

Couldn't make it to ? Here's a write-up of my talk on and teams, "It's about the curry":

It was my first time giving it - wouldn't have come out nearly as well without the help of a lot of people. Thanks to everyone who went over a draft!


Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!