Type check and prove things. Building @CodebaseLabs

Silicon Valley
Joined August 2008
Decentralized Git hosting powered by permissionless protocols. Empowering communities with tools for ownership and governance. @CodebaseLabs youtu.be/qf8sKhJAnUg
7
7
6
42
12,040
I made this video using DaVinci Resolve. It has its quirks and I ran into some bugs, but overall it was pretty great. It’s also free.
Decentralized Git hosting powered by permissionless protocols. Empowering communities with tools for ownership and governance. @CodebaseLabs youtu.be/qf8sKhJAnUg
1
5
2,195
The enemy of art is the absence of limitations. – Orson Welles
2
1,139
Paul Young retweeted
Say Hello to Ivory. Our Mastodon client for iOS available on the App Store! If you liked Tweetbot, you'll love Ivory and feel right at home. Go download it, try it free for 7 days, and experience it for yourself! apps.apple.com/us/app/ivory-…
91
834
243
1,769
753,881
When an Internet Computer app says "this is your principal, add it as a controller" or "this is your address, send funds to it", how can we verify that information in a trustless manner? How can we detect when a bad actor is showing us information that isn't our own? Use Ledger?
2
1
6
1,499
I think the imperfect answer is to use services like NFID where you can independently verify the information. Don’t trust the app but trust the authentication provider. Better but still requires trust.
5
500
I plan on publishing these at some point, I promise
1
2
30
2,073
Cryptography continues to amaze me and inspire more ideas than I currently have time for
1
1
30
1,828
Cloning a repo from codebase.org, hosted on the Internet Computer, using the IC’s native auth
7
29
5
121
19,090
If you don’t like the Git CLI, this also works in other tools like GitHub Desktop
1
6
24
1,957
Thinking about how some ideas for Codebase could play out
1
1
1
12
1,259
This offer has expired… for now 🙂 xitter.cf/py/status/160896243015…
IC developers, ever needed a principal & wished it could have been more recognizable? Reply with a word & I’ll try to find a principal in the range of reserved IDs starting with that word. Shorter is better for now. I’ll prioritize those that link to a donation to @ICDevs_org
3
587
IC developers, ever needed a principal & wished it could have been more recognizable? Reply with a word & I’ll try to find a principal in the range of reserved IDs starting with that word. Shorter is better for now. I’ll prioritize those that link to a donation to @ICDevs_org
1
2
1
10
2,231
This is all intended to be a bit of fun 🙂
1
337
Not the droid you are looking for github.com/paulyoung/droid
1
2
1
6
817
I don’t plan to work on this further but it seemed worth doing. It’s one line of code: github.com/paulyoung/droid/b…
270