English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
py's profile picture. Type check and prove things. Building @CodebaseLabs

Paul Young

@py

Type check and prove things. Building @CodebaseLabs

12KPosts 1KFollowers 729Following
You might like
Pinned
py's profile picture.
Paul Young
 @py
Feb 3, 2023

Decentralized Git hosting powered by permissionless protocols. Empowering communities with tools for ownership and governance. @CodebaseLabs youtu.be/qf8sKhJAnUg

7
8
42
4
11K
py's profile picture.
Paul Young
 @py
Feb 5, 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.

py's profile picture. Type check and prove things. Building @CodebaseLabs
Paul Young
 @py
Feb 3, 2023

Decentralized Git hosting powered by permissionless protocols. Empowering communities with tools for ownership and governance. @CodebaseLabs youtu.be/qf8sKhJAnUg

7
8
42
4
11K
0
1
5
1
2K
py's profile picture.
Paul Young
 @py
Jan 31, 2023

The enemy of art is the absence of limitations. – Orson Welles

0
0
3
0
987
Paul Young reposted
tapbots's profile picture.
Tapbots
@tapbots
Jan 24, 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-f…

tapbots's tweet image. 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-f…
96
869
2K
75
742K
py's profile picture.
Paul Young
 @py
Jan 12, 2023

I plan on publishing these at some point, I promise

py's tweet image. I plan on publishing these at some point, I promise
1
2
31
1
2K
py's profile picture.
Paul Young
 @py
Jan 12, 2023

Cryptography continues to amaze me and inspire more ideas than I currently have time for

1
1
30
0
2K
py's profile picture.
Paul Young
 @py
Jan 7, 2023

Thinking about how some ideas for Codebase could play out

py's tweet image. Thinking about how some ideas for Codebase could play out
1
1
12
1
1K
py's profile picture.
Paul Young
 @py
Jan 1, 2023

This offer has expired… for now 🙂

py's profile picture. Type check and prove things. Building @CodebaseLabs
Paul Young
 @py
Dec 30, 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
4
11
0
2K
0
0
3
1
559
dominic_w's profile picture. ICP @DFINITY = Internet Computer... AI @CaffeineAI = chat to create apps on a new open tech stack that unlocks self-writing

dom williams.icp ∞

@dominic_w
BobBodily's profile picture. Bitcoin Expert • Degen • Educator • Onboarding 1M users to Bitcoin DeFi: 🟩🟩🟩🟨⬜️⬜️⬜️⬜️⬜️⬜️ (34.5%)

Bob Bodily / Bitcoin DeFi 🧙🏽‍♂️

@BobBodily
Chepreghy's profile picture. Helping to grow the #ICP ecosystem.

Andrew ∞

@Chepreghy
kylelangham's profile picture. #InternetComputer Data + Analytics @dfinity Web3 dreamer

Kyle ∞

@kylelangham
icpjesse's profile picture. Non Technical Serial Entrepreneur. Leadership, marketing, strategy and food & movie recs. Platform & community evangelist for @openchat 💬

ICP Jesse 💬🌮

@icpjesse
manudrijvers's profile picture. Cryptographer @DFINITY

Manu ∞

@manudrijvers
lastmjs's profile picture. @demergentlabs Bringing TypeScript/Python to ICP by DFINITY. Excited about zkVMs e.g. zkWasm. Set up a call: https://t.co/ZbIP7fX1AE

lastmjs

@lastmjs
seb_and_botoko's profile picture. @motoko_bootcamp

Seb 👽

@seb_and_botoko
EasyStevie_e's profile picture. Co-founder @bioniqMarket @toniqMarket. I know too much about launching NFTs. jpeg junkie / ordinal enjoyeer

EasySteve

@EasyStevie_e
pokedstudiouk's profile picture. Creator of Pokedbots/Motoko collection on ICP - dfinity branding - Play pokedbots now https://t.co/kL94VX5oF8

pokedstudio ∞

@pokedstudiouk
mexitlan's profile picture. VP Engineering @NexusLabs. Working on verifiable computing. prev. @dfinity @harvard @usc

Diego Prats | nexus.xyz

@mexitlan
DeFiWizards's profile picture. 🦄 Helping startups to build on the Internet Computer

Crypto.Girl

@DeFiWizards
funded_app's profile picture. Web-3 crowdfunding ! Using smart contract technology to build a safer, cheaper and global crowdfunding service. https://t.co/rWY6Ak1Qag

Funded

@funded_app
lightning_lad91's profile picture. Systems Architect. Building @ic_nucleus on the #InternetComputer #ICP. You can support the project by purchasing a Medallion at https://t.co/XEZfo11IMO

LightningLad

@lightning_lad91
mosesibb's profile picture. Community Leader, Ex-Dfinity Contractor, Long-term #ICP investor, #ICPSquad 8years Gang Vice President🔥mainly promotes Dfinity #ICP & its Ecosystem Projects 👌

Moses ∞

@mosesibb
sagewilyam's profile picture. Opinions are my own.

Sage Williams

@sagewilyam
lysergin33's profile picture. intern, writing stuff

catpirate ∞

@lysergin33
DKLORD89's profile picture.

DKLORD89

@DKLORD89
AndraGeorgescu's profile picture.

Andra Georgescu

@AndraGeorgescu
spnrapp's profile picture. Private transactions for ICP and BTC https://t.co/Yy2zbbiduJ

Spinner

@spnrapp
canestrini75353's profile picture.

Adriana

@canestrini75353
dehypokriet's profile picture. VP of breaking the product - Verbally fluency in memes - Unofficial @caffeineai tech support

Dexter ∞ Caff/acc

@dehypokriet
N4vi57's profile picture. Private Account

Navi

@N4vi57
dappjaklabs's profile picture.

DappJak Labs

@dappjaklabs
molotovsunsets's profile picture. def handshake(): print("init") echo = "self" if echo == "self": print("loop verified") print("access granted") handshake()

Grave Worm

@molotovsunsets
kushitani3715's profile picture.

浅田 恵輔

@kushitani3715
Idrinal4698's profile picture.

Idrinal

@Idrinal4698
krm23080416's profile picture.

マイマイ

@krm23080416
rose92898471224's profile picture.

Issabelle

@rose92898471224
pycharts's profile picture. smurf account

py

@pycharts
TalliMugha42170's profile picture.

Talli Mughal

@TalliMugha42170
Pleeorgor49813's profile picture.

Pleeorgor

@Pleeorgor49813
yacseh's profile picture. We are in this life together so let's love one another. No matter what...When you give joy to other people, you get more joy in return.

Yacseh

@yacseh
LeanPereir29019's profile picture.

Lean Pereira

@LeanPereir29019
artisdom's profile picture.

Ted Feng

@artisdom
SimplexForce's profile picture. Web3 needs more leaders, so here I am.

Simpex

@SimplexForce
notn0291's profile picture.

Not Not

@notn0291
nolimitzona's profile picture. u arent special stop stalking my @

arizona

@nolimitzona
AoF5ZkNCM5u7g17's profile picture.

MeroyWilde

@AoF5ZkNCM5u7g17
ICP_Austria's profile picture.

ICP Austria

@ICP_Austria
asharppencil604's profile picture. To be like the wind. To hit escape velocity. To be a good husband. To be a good father. Join my OpenChat community if you are a ICP Bear or Bull

sunny.icp

@asharppencil604
zendotfun's profile picture. i build brands and design products

Zen

@zendotfun
dipanshuhappy's profile picture. Freedom is merely privilege extended for one and all. Building @NormieTech,@_trustprotocol Building public goods

Dipanshu Singh

@dipanshuhappy
Li84395136's profile picture. Vice President of Finance, Head of Los Angeles Region, Fosun Group. || @Columbia|| Alumni || @wef Young Global Leader🚫DM

Anna Li

@Li84395136
mushiakema84797's profile picture. Some Time Happy

Lilly

@mushiakema84797
Moneaje2LOWB's profile picture.

Monea

@Moneaje2LOWB
canerotellie's profile picture. $ICP | $EXE $DITTO $KONG | FA | Rust dev

Gladiator

@canerotellie
claudiemanchel2's profile picture.

claudiemanchelle

@claudiemanchel2
__wi's profile picture. ⛓️ https://t.co/rliHiFOAL9

Arshavir 

@__wi
dintsendmytro's profile picture. UX/UI/Product designer

Dmytro Dintsen ∞ 🇺🇦

@dintsendmytro
YMP8Kce69c31Qq's profile picture.

MadgeMelville

@YMP8Kce69c31Qq
LeysernlvKY's profile picture.

Leysernl

@LeysernlvKY
DBq2QI27jgnGvw's profile picture.

PrimaTomlinson

@DBq2QI27jgnGvw
amioo1x's profile picture. Discover marketing opportunities: https://t.co/kXi7t5GyuR

amioo

@amioo1x
ThautirstljL's profile picture.

Thautirst

@ThautirstljL
feature_sh's profile picture. Attract more External Contributors 🤓 to your #Web3 Open Source Projects 🦄

FEATURE 🏗️

@feature_sh
ThomasGoslee's profile picture.

@SwissPDAO

@ThomasGoslee
freedomforcode's profile picture. Open to freelance Fullstack Developer👨‍💻 •Solana Dev talent part by @solanaturbine •remote working

daisuke

@freedomforcode
long2408's profile picture. Rust developer ICP advocate Building @thecashierapp

baolongt

@long2408
fazerASF's profile picture. funny story about how it looks

maybe happy

@fazerASF
StatisticsFTW's profile picture. @isographlabs framework author. Currently @Pinterest. Ex-React Data Team @Facebook. Co-organizer of #RustNYC. I like Rust, Relay, stats, GraphQL, React, JS

Robert Balicki (👀 @IsographLabs)

@StatisticsFTW
ElisaRonthe's profile picture.

Ronthe Elisa

@ElisaRonthe
Txa261t8DIIzYT9's profile picture.

PoppyNehemiah

@Txa261t8DIIzYT9
richymacarthy's profile picture.

Richard Macarthy

@richymacarthy
finlanha's profile picture.

Fin Lan

@finlanha
4147WU2AjNLJ4's profile picture. DAD's ANGEL

Edith Meg

@4147WU2AjNLJ4
drownwave's profile picture. Software Engineer | Enterprise | AI Builder

drowny

@drownwave
nonomiyara69974's profile picture.

Karen

@nonomiyara69974
african_devrel's profile picture. Web3 developer || Technical writer. 3x hackathon Winner Ask me about emerging technologies in web3

African Devrel

@african_devrel
dominic_w's profile picture. ICP @DFINITY = Internet Computer... AI @CaffeineAI = chat to create apps on a new open tech stack that unlocks self-writing

dom williams.icp ∞

@dominic_w
BobBodily's profile picture. Bitcoin Expert • Degen • Educator • Onboarding 1M users to Bitcoin DeFi: 🟩🟩🟩🟨⬜️⬜️⬜️⬜️⬜️⬜️ (34.5%)

Bob Bodily / Bitcoin DeFi 🧙🏽‍♂️

@BobBodily
dfinity's profile picture. Updates on all things Internet Computer #ICP | World Computer network. AI builds there. - https://t.co/WUOWZkoa4N

DFINITY Foundation

@dfinity
Chepreghy's profile picture. Helping to grow the #ICP ecosystem.

Andrew ∞

@Chepreghy
kylelangham's profile picture. #InternetComputer Data + Analytics @dfinity Web3 dreamer

Kyle ∞

@kylelangham
icpjesse's profile picture. Non Technical Serial Entrepreneur. Leadership, marketing, strategy and food & movie recs. Platform & community evangelist for @openchat 💬

ICP Jesse 💬🌮

@icpjesse
JanCamenisch's profile picture. Cryptographer, CTO @dfinity #icp #internetcomputer https://t.co/mmrG2YY9Lr https://t.co/4zLufTKqji

jan.icp ∞

@JanCamenisch
manudrijvers's profile picture. Cryptographer @DFINITY

Manu ∞

@manudrijvers
lastmjs's profile picture. @demergentlabs Bringing TypeScript/Python to ICP by DFINITY. Excited about zkVMs e.g. zkWasm. Set up a call: https://t.co/ZbIP7fX1AE

lastmjs

@lastmjs
seb_and_botoko's profile picture. @motoko_bootcamp

Seb 👽

@seb_and_botoko
OpenChat's profile picture. Secure, Free to Use, Decentralised Communication. Advanced Crypto Features, DAO-Driven, On #InternetComputer. Join OpenChat’s Global Communities Now!🌍💬 #CHAT

OpenChat ∞

@OpenChat
bitfinitynet's profile picture. Bitfinity is a blazingly-fast, next-gen EVM for Bitcoin, backed by Polychain Capital and ParaFi Capital. https://t.co/vlmKkPiMyg

Bitfinity Network

@bitfinitynet
mexitlan's profile picture. VP Engineering @NexusLabs. Working on verifiable computing. prev. @dfinity @harvard @usc

Diego Prats | nexus.xyz

@mexitlan
funded_app's profile picture. Web-3 crowdfunding ! Using smart contract technology to build a safer, cheaper and global crowdfunding service. https://t.co/rWY6Ak1Qag

Funded

@funded_app
lightning_lad91's profile picture. Systems Architect. Building @ic_nucleus on the #InternetComputer #ICP. You can support the project by purchasing a Medallion at https://t.co/XEZfo11IMO

LightningLad

@lightning_lad91
DistriktApp's profile picture. A decentralized social media network that empowers users. 100% on blockchain: https://t.co/mUVeY5ygQL | discord: https://t.co/ZnMziC9RDy

distrikt

@DistriktApp
sagewilyam's profile picture. Opinions are my own.

Sage Williams

@sagewilyam
DSCVR1's profile picture. The social home for Web3 communities

dscvr.one

@DSCVR1
herbertyang's profile picture. GM of Asia @dfinity, web3 investor & evangelist | ex: Head of Startup @awscloud China; 3X founder; @StanfordGSB; https://t.co/9c0NWdgI6H

herbert.icp

@herbertyang
lysergin33's profile picture. intern, writing stuff

catpirate ∞

@lysergin33
PowerA's profile picture. Play Your Way. We create innovative accessory products that enhance the world’s best video game and mobile technology experiences.

PowerA Gaming

@PowerA
officialpacman's profile picture. Let’s get SPOOKY! -Inky 👻

PAC-MAN

@officialpacman
covell_chris's profile picture. Chris M. Covell https://t.co/yGXZKhomRH I'll be posting tech & retro dev stuff here, so watch out.

Chris Covell

@covell_chris
RetroStage_PCB's profile picture. Retro gaming hardware development, everything from Atari to N64 and beyond. Check out the Discord server https://t.co/HXFRKr9r0A all things RetroStage!

RetroStage

@RetroStage_PCB
metalbeansgame's profile picture. A 3D Action-Arcade game where you control two desktop pets in a computer space! WISHLIST ★ https://t.co/Q7d7jAnEzZ

METAL BEANS

@metalbeansgame
hextreeio's profile picture. 🌱 Grow your cybersecurity skills with concise and well-edited video courses - in early-access, sign-up now! Created by @LiveOverflow and @ghidraninja.

hextree.io

@hextreeio
8bitmatt's profile picture. Retro ^_^ 🔊 Composer & sound design Out now: Astro Duel 2, Crankin's Time Travel Adventure, The Ratcheteer

Matthew

@8bitmatt
dioxuslabs's profile picture. Web, desktop, mobile, server functions, all in one codebase. https://t.co/V7HFXretPQ

Dioxus 🧬

@dioxuslabs
saleae's profile picture. We're a small and passionate team that makes the world’s most powerful and easy-to-use logic analyzers.

Saleae

@saleae
samerps's profile picture. Electronics Engineer, Scientist, and 3D Artist https://t.co/NA35wM06ET

Sam M

@samerps
kalkylaudio's profile picture. Recording/mixing/mastering engineer and hardware/software developer

Henrik Alsér

@kalkylaudio
ai_maiga's profile picture. Doing Rust and Embedded @FerrousSystems 🦀 🇸🇪 CS master at KTH: "Does Rust SPARK Joy?" Safe bindings recommendations between Rust and SPARK 🦀✨"

Aï Maiga

@ai_maiga
oli_obk's profile picture. Compiler and dev tools enthusiast. Opinions many. he/they. works at @awscloud & opinions are probably not my employer's. fediverse: @oli@hachyderm.io

const @[email protected]

@oli_obk
phil_opp's profile picture.

Philipp Oppermann

@phil_opp
yatekii's profile picture. all things Rust creating https://t.co/2shJg8ivre and enjoying ju jitsu in my sparetime

Noah Huesser

@yatekii
korken89's profile picture. PhD in Robotics, (embedded) Rust nerd, and embedded enthusiast. Develops and maintain https://t.co/a0XqnQsa0L.

Emil Fresk

@korken89
slint_ui's profile picture. Slint | Declarative GUI for Rust, C++, and JavaScript to build Embedded, Desktop and Web applications / @slint@fosstodon.org

Slint

@slint_ui
tweedegolfbv's profile picture. Follow us on Mastodon, Bluesky or LinkedIn! No longer active on X. Software agency in NL. Rust & Rust embedded specialists. https://t.co/dGVJZtfOt7

Tweede golf

@tweedegolfbv
FerrousSystems's profile picture. Ferrous Systems builds stable software in and around @rustlang. Account archived. @ferroussystems.bsky.social https://t.co/H2GOtTMKnA

FerrousSystems

@FerrousSystems
OxidizeConf's profile picture. Workshops and two days of applied @rustlang insights from industry innovators. Berlin, September 16th-18th, 2025 Presented by @ferroussystems

OxidizeConf

@OxidizeConf
rustembedded's profile picture. Putting Rust on Embedded Systems!

Rust Embedded Working Group

@rustembedded
_janekoo's profile picture. 𝖉𝖊𝖘𝖎𝖌𝖓

𝖏𝖆𝖓𝖊 ᴷᴼᴼ

@_janekoo
gary_hustwit's profile picture. The guitar-obsessed director of the films Helvetica, Objectified, Urbanized, Workplace, Rams, Eno. Kollaborator at Koll Guitars. Lover of luftgekühlt.

Gary Hustwit

@gary_hustwit
sjwhitmore's profile picture. not a cat (or a man) in real life. I like to run a lot! @newcomputer @kensho @harvard @StuyNY

Sam Whitmore

@sjwhitmore
jasonyuandesign's profile picture. something new…. prev @newcomputer, @apple design team. creator of https://t.co/pkxICguOht and former actor

Jason “Mars” Yuan

@jasonyuandesign
rballard's profile picture. Please leave X and build somewhere new: https://t.co/yP2pQvoKiA https://t.co/QJ9iKfiVGp https://t.co/yLZe873t7D

(Off X) Rick mastodon.social/@rballard

@rballard
Jose_Cong's profile picture. Restless Soul & Human Capitalist. Airbnb, Humane. Plause, Google, Nest, Apple (iPod, iPhone, iOS imaging/camera, Acoustics), LSI, RBK, Inc (nvidia).

José Benitez Cong

@Jose_Cong
bella_bongiorno's profile picture. HP IQ

Bethany Bongiorno

@bella_bongiorno
imranchaudhri's profile picture. Designer & Inventor of things like the thing you’re holding. Co-Founder & Chairman of @Humane (https://t.co/oo6Vs0lQx3)

Imran Chaudhri

@imranchaudhri
kocienda's profile picture. Founder at Infactory. Past: 15 years at , inventor of iPhone autocorrect, author of “Creative Selection”.

Ken Kocienda

@kocienda
samsheffer's profile picture. ✡ contributing editor @engadget, social media manager @verge, creative producer @mashable, videos on @youtube, new media @humane, growing @trysunflower 🇮🇱🇺🇸

Sam Sheffer

@samsheffer
Humane's profile picture. Introducing CosmOS: an AI operating system built for a universe of connected devices

Humane

@Humane
giles's profile picture. Programmer on Starfox, 1080 Snowboarding and Super Mario 64. 🇬🇧🏴󠁧󠁢󠁥󠁮󠁧󠁿

Giles Goddard

@giles
gingerbeardman's profile picture. ✳️ Games @ Perplexity 🤓 Game Dev since 1990 🟨 YOYOZO (GOTY 2023) 🕹️Retro Games 🗿Moai 💿 Macintosh Magazine Media 🍎 ex-Apple

matt sephton

@gingerbeardman
OrabGames's profile picture. NES Homebrew Developer

Orab Games

@OrabGames
New8bitHeroes's profile picture. New 8 bit heroes. New 8 bit worlds to discover. A brand new NES game, a documentary about the active homebrew community, and tutorials on NES development!

The New 8-bit Heroes

@New8bitHeroes
DevCartMagazine's profile picture. Mega Cat Studios prints #DevCartMagazine now. Click below for the current issue. #nesdev #NESmaker #NES

Lexington Alexander

@DevCartMagazine
furnimatgames's profile picture. A game by @davidhellman, @nsuttner, @cabezotta, @7omasbatista, and friends! https://t.co/ORjOrlh0xZ

Arranger: A Role-Puzzling Adventure

@furnimatgames
nsuttner's profile picture. Not on Twitter anymore - He/him https://t.co/tMz4C71q2s

Nick Suttner (?)

@nsuttner
NicolasVerge's profile picture. @popagendaco Co-Founder. Dad/Popa. EN/FR. He/Him

Nick Verge

@NicolasVerge
doubleanna's profile picture. (Former) Sr. Gameplay Programmer Double Fine: Psychonauts, Brütal Legend, Costume Quest, OUAM, The Cave, @DearLeaderGame, Broken Age, Headlander, Psychonauts 2

Anna Kipnis 🇺🇦

@doubleanna
ryanbreslow's profile picture. "Without love in a dream it will never come true" -grateful dead ⚡️♥️ @bolt // https://t.co/Vp8SCso9cZ // https://t.co/ZubsDyuePZ

Ryan Breslow

@ryanbreslow
GameHistoryOrg's profile picture. Nonprofit dedicated to preserving, celebrating, and teaching the history of video games.

Video Game History Foundation

@GameHistoryOrg
frankcifaldi's profile picture. Founder, director and noisemaker @GameHistoryOrg. Former ink-stained wretch. He/him.

Frank Cifaldi

@frankcifaldi
WeAre8BitLegit's profile picture. We are #8BitLegit, a publisher taking cartridge games to modern consoles & beyond. With lots of releases lined up, we are helping keep retro gaming alive.

8-Bit Legit is proud to bring you Kudzu!

@WeAre8BitLegit
Nehapolitan's profile picture. Composer/SFX @venbaGame (sfx) Eternights (sfx) @sixages @Playdate @SweetBabyInc Spleen @PamplemousseDev Speaker du Franglais She/Her

Neha

@Nehapolitan
theWillStacey's profile picture. It's me, Will! he/him

Will

@theWillStacey
ArthurMHamer's profile picture. Freelance illustrator and designer, please get in touch: arthurmhamer@gmail.com 💛 My game "Pick Pack Pup" is available now on @playdate!💛

Arthur!

@ArthurMHamer
manadream_'s profile picture. Musician, artist and indie game dev it/they/he/whatever Mestizo, agender, vegan, harm-reductionist utilitarian Society only changes when the individual changes

manadream

@manadream_
megacatstudios's profile picture. Mega Cat Studios is a creative first games company based out of Pittsburgh, PA. We are all gamers, collectors and enthusiasts first. We love creating games.

Mega Cat Studios

@megacatstudios

United States Trends

You might like

Something went wrong.


Something went wrong.