Type check and prove things. Building @CodebaseLabs
Joined August 2008
- Tweets 11,970
- Following 718
- Followers 1,405
- Likes 24,361
1,067 Photos and videos
Pinned Tweet
3 Feb 2023
Decentralized Git hosting powered by permissionless protocols.
Empowering communities with tools for ownership and governance.
@CodebaseLabs
youtu.be/qf8sKhJAnUg
7
8
41
11,532
9 Feb 2023
The video of my interview with @JArroyoFerrer about @CodebaseLabs from a few months ago is on YouTube youtu.be/9VXWcLOsdBM
2
6
22
4,432
5 Feb 2023
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.
3 Feb 2023
Decentralized Git hosting powered by permissionless protocols.
Empowering communities with tools for ownership and governance.
@CodebaseLabs
youtu.be/qf8sKhJAnUg
1
5
2,099
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-…
93
837
1,786
752,276
13 Jan 2023
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,467
13 Jan 2023
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
484
12 Jan 2023
Cryptography continues to amaze me and inspire more ideas than I currently have time for
1
1
30
1,814
30 Dec 2022
Cloning a repo from codebase.org, hosted on the Internet Computer, using the IC’s native auth
7
30
121
19,067
30 Dec 2022
If you don’t like the Git CLI, this also works in other tools like GitHub Desktop
1
7
24
1,948
1 Jan 2023
This offer has expired… for now 🙂 x.com/py/status/160896243015…
30 Dec 2022
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
574
30 Dec 2022
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
3
10
2,208
28 Dec 2022
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…
267
23 Dec 2022
Consulting service: you bring your pre_upgrade problems to me, I say "nothing stops you from calling the pre_upgrade hook from your post_upgrade hook"
x.com/garybernhardt/status/6…
19 May 2015
Consulting service: you bring your big data problems to me, I say "your data set fits in RAM", you pay me $10,000 for saving you $500,000.
1
1
2
501
23 Dec 2022
1
1
212