@py

Type check and prove things. Building @CodebaseLabs

 Silicon Valley
bento.me/paulyoung
Joined August 2008
  • Tweets12K
  • Following717
  • Followers1.4K
1.1KMedia
Paul Young retweeted
Tapbots
@tapbots24 Jan 2023
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
Paul Young retweeted
Paul Young@py13 Dec 2022
Replying to @NeoKree
I meant things along the lines of: • Users not being aware of upgrades • Users not upgrading when there are critical security updates or bug fixes • Having to support much older versions of software indefinitely
1
1
2
Paul Young retweeted
Paul Young@py13 Dec 2022
Replying to @NeoKree
I think the goal for Codebase has to be user/org owned and controlled repos, etc (canisters) that can decide if and when they want upgrades. In practice I think there’s a lot to figure out there, and a lot of it isn’t specific to Codebase.
1
2
5
We visited the Manston detention camp in Kent yesterday. This is what we saw and heard: 🧵
Children ar Manston camp behind barbed wire fences, with security and more detained people in tbe background

ALT Children ar Manston camp behind barbed wire fences, with security and more detained people in tbe background

192
2,960
624
5,326
It has been a pleasure hearing the story of @py Young, founder of @CodebaseLabs An exceptional person and one of the most talented and knowledgeable developers in the entire blockchain ecosystem. rss.com/podcasts/lets-talk-i… #community #BLOCKCHAIN #SoftwareDeveloper #cryptography

Interview with Paul Young, founder of CodeBase Labs | Let's talk ICP

In the sixth episode, we talked with Paul Young, the founder of CodeBase Labs.

rss.com
3
1
8
@py demos codebase.org, his IC-powered github-like. He creates a repository and adds a commit via web UI, then clones the repo locally. General git workflows aren't ready yet, but Paul is now working on tasks such as authentication which will get us there! Exciting! 😲
1
1
18
I am extremely excited to announce a new #PureScript project from Arista NDR: `purescript-backend-optimizer` github.com/aristanetworks/pu… A new optimization pipeline and alternative modern-ES backend for PureScript!

GitHub - aristanetworks/purescript-backend-optimizer: Optimizing backend toolkit and modern...

Optimizing backend toolkit and modern ECMAScript backend for PureScript - aristanetworks/purescript-backend-optimizer

github.com
3
22
2
65
Paul Young retweeted
Josh Miller
@joshm22 Aug 2022
Replying to @py @browsercompany @dfinity
I don’t think anyone will build The Internet Computer (including us), just like nobody built The Smartphone. It’s a new category of technology (ChromeOS, etc).
1
7
🔥 New Post: Announcing InAppBrowser - see what JavaScript commands get injected through an in-app browser 👀 TikTok, when opening any website in their app, injects tracking code that can monitor all keystrokes, including passwords, and all taps. krausefx.com/blog/announcing…
306
11,723
2,700
26,796
Paul Young retweeted
gabby@GabriellaG4394 Aug 2022
That process of tailoring a product roadmap to solve a dire problem for a specific market with a best-in-class solution that matches their way of thinking about the problem: *THAT* is marketing Advertising comes after all of that. Not before
2
1
16
Just saw a live demo from @py on what he's building on #ICP... 🤯
3
1
18
The Telegram bot at t.me/InternetComputerBot runs fully on the #InternetComputer now, no external bridges needed any more, just a simple canister (= IC-hosted service), thanks to new IC features implemented by @py. Code at github.com/nomeata/ic-telegr….

The Internet Computer Bot

You can contact @InternetComputerBot right away.

t.me
4
28
124
Programs running on @dfinity’s #internetcomputer can now serve HTTP _and_ update their state, thanks to @py. It’s a tad slow, of course, because it goes through consensus. Try it at y4oop-liaaa-aaaab-qacha-cai.… (playground demo, will disappear shortly), code at m7sm4-2iaaa-aaaab-qabra-cai.…
1
1
13
Like records for APIs in #PureScript, but don't want to miss out on nice partial application that currying gives you? I got you! gist.github.com/natefaubion/…

Record currying

Record currying. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com
2
7
Paul Young retweeted
Paul Young@py3 Aug 2021
I really like this paper on how to write research papers and I use it all the time for writing proposals. I think “writing papers is a primary mechanism for *doing* research (not just for *reporting* it)” is quite liberating and also applies to blog posts cis.upenn.edu/~sweirich/icfp…
1
1
Dreams by Fleetwood Mac✨✨ Watch the rest of the video on our YouTube! Link below :)
154
2,340
858
10,672
This was amazing. @chadwickboseman surprises #BlackPanther fans while they say what the movie means to them.
2,775
106,773
29,574
285,032
Jacob Blake #BlackLivesMatter
21
1
66
Paul Young retweeted
Josie@javavvitch10 Aug 2020
Your daily reminder that Black Lives Matter, and that if you claim to support Black Lives, support Black software engineers and content creators by following, supporting, and promoting them. Thank you for coming to my Ted Talk.
1
49
171
On June 11th, Michael Hickson, a quadriplegic black man with COVID-19 was killed by a hospital in Austin Texas. Doctors decided he had "no quality of life" and was not worth spending the resources to save. The conversation between his doctor and his wife was caught on audio 1/?
A black disabled man on an invasive ventilator smiling at the camera

ALT A black disabled man on an invasive ventilator smiling at the camera

987
47,736
5,893
62,717
Load more