Paul Young

12K posts

Paul Young

Paul Young

@py

Type check and prove things. Building @CodebaseLabs

Silicon Valley 参加日 Ağustos 2008
723 フォロー中1.4K フォロワー
固定されたツイート
Paul Young
Paul Young@py·
Decentralized Git hosting powered by permissionless protocols. Empowering communities with tools for ownership and governance. @CodebaseLabs youtu.be/qf8sKhJAnUg
YouTube video
YouTube
English
7
8
41
11.2K
Chris Penner
Chris Penner@chrislpenner·
For #proglang twitter, if you were designing a language today how would you run it? 1. Compile to LLVM 2. Compile to a custom bytecode, write your own interpreter in Zig or Rust or something 3. Compile to some other existing VM 4. ???
English
16
1
12
8K
Phil Freeman
Phil Freeman@paf31·
So don't worry, programming language engineers, your jobs are still safe.
English
1
0
4
797
Phil Freeman
Phil Freeman@paf31·
This is actually not a terrible explanation of what's going on with an escaped skolem error in Haskell. I feel like ChatGPT could be a really good tool for helping beginners to understand compiler error messages, if it can fix the problem of it sometimes producing utter nonsense
Phil Freeman tweet media
English
2
1
16
1.9K
Jessie Frazelle
Jessie Frazelle@jessfraz·
what are things in tech that older devs have dealt with that have since been abstracted away and would send new devs into a coma I’ll start: when you’d test coworkers changes locally because there was no CI or when you hosted your website from your computer
English
365
43
708
248.9K
Marshall Huss
Marshall Huss@mwhuss·
Wow, 8 years at the fruit company!
English
16
3
179
37.2K
Paul Young
Paul Young@py·
The enemy of art is the absence of limitations. – Orson Welles
English
0
0
3
1K
Dominic Wörner
Dominic Wörner@domiwoe·
@afat @crypto_is_good It would be great to see more innovation at the edge of the Internet Computer. You could have all kinds of custom gateways orchestrated by on-chain rewards (and potentially held accountable by slashing)
English
2
0
1
164
afat ∞ #TICADT
afat ∞ #TICADT@afat·
Interesting quote I had with a savvy but non techy #IC user tonight around axon. Which leads me to a question...why don't we have boundary node functionality that supports querying all queries as http requests via the raw endpoint? Couldn't we come up with an easy shim?
afat ∞ #TICADT tweet media
English
1
0
0
881
sclv
sclv@sclv·
the top guns are the closest we’ve ever come to live action gundam films
English
1
0
0
244
domi
domi@dominic_bucher·
What does the "ck" in ckBTC stand for? Wrong answers only!
English
12
0
10
2.8K