Twitter | Search | |
Brandon Williams
Subterranean homesick mathematician. Previously . Working on Available for hire:
6,610
Tweets
496
Following
3,507
Followers
Tweets
Brandon Williams retweeted
Point-Free Oct 19
Replying to @pointfreeco
Next week we fix all of that by scrapping the protocols and going back to basics. When we do that we will find a whole world of composability that is completely hidden from us in protocols.
Reply Retweet Like
Brandon Williams Oct 18
Replying to @kylnew
Oh jeez, we are having some serious DNS issues right now. That is a very old version of the site! It’s still at Betterment!
Reply Retweet Like
Brandon Williams Oct 17
Replying to @rajivjhoomuck
for sure, thanks!
Reply Retweet Like
Brandon Williams retweeted
dimsumthinking Oct 17
I’ve watched the videos of each edition - I bet it’s even better in person- you should go!
Reply Retweet Like
Brandon Williams Oct 17
Replying to @gregheo
ughh. We are clueless as to why that is happening.
Reply Retweet Like
Brandon Williams Oct 17
Replying to @gregheo
Reply Retweet Like
Brandon Williams Oct 17
Replying to @mbrandonw
We're also in talks with some amazing speakers, but we need more. Please fill out a CFP, or get in contact with us, or tell us who we should be talking to!
Reply Retweet Like
Brandon Williams Oct 17
Now that Betterment is hosting us in their sweet office, we can offer up a bunch more tickets for Functional Swift Conf! Grab one while they last...
Reply Retweet Like
Brandon Williams Oct 17
Indeed! Pullbacks are specializations of something known as colimits, which are the universal co-cones over a diagram! Dually, “pushouts” are specializations of limits, which are universal cones over a diagram:
Reply Retweet Like
Brandon Williams Oct 16
Replying to @anandabits
I have seen his work, and they seem to be different approaches on the surface, but certainly all the same idea when viewed through the proper lens.
Reply Retweet Like
Brandon Williams Oct 16
Replying to @mbrandonw
Look up pullbacks in differential geometry and you will find the image on the left. Look up pullbacks in category theory and you will find the image on the right, which generalizes everything in one diagram. That is the type of generality that libraries should strive for.
Reply Retweet Like
Brandon Williams Oct 16
There’s an Automatic Differentiation Manifesto in the Swift community right now, and it heavily uses the idea of pullbacks. Pullbacks are straight outta category theory. Don’t let anyone tell you category theory isn’t useful for library design.
Reply Retweet Like
Brandon Williams Oct 15
Replying to @gregheo
Well one guaranteed way to get a ticket is to speak ;)
Reply Retweet Like
Brandon Williams Oct 15
Replying to @gregheo
Yeah, we’re releasing them tomorrow! I’ll ping you when we do. Should be plenty to go around…
Reply Retweet Like
Brandon Williams Oct 15
Replying to @oskarek10 @pointfreeco
Yeah, I run into limitations nearly everyday with Swift that are really simple things in Haskell. I kinda misspoke in answering that question, but also add the end of the day I think Swift can work in quite a few different fields without much trouble.
Reply Retweet Like
Brandon Williams retweeted
Point-Free Oct 15
Protocols are a great tool for abstraction, but aren’t the only one. This week we begin to explore the tradeoffs of protocols by showing a few downsides in order to see how we can recover from these problems using a different tool and different tradeoffs.
Reply Retweet Like
Brandon Williams retweeted
Point-Free Oct 15
🤣 Who doesn’t like a good cliffhanger??
Reply Retweet Like
Brandon Williams retweeted
Chris Eidhof Oct 15
Yay, we have a venue!
Reply Retweet Like
Brandon Williams Oct 15
Replying to @brianpartridge
Hey Brian! My DM’s should be open, but we just found a spot at Betterment, so we should be good now. Thanks! Hope to see you there…
Reply Retweet Like
Brandon Williams Oct 15
We now have a venue! Thanks to for hosting us this year. Also, wanna speak at Functional Swift Conf? Send us a proposal here:
Reply Retweet Like