ezyang's blog

@ezyangs_blog@robot.villas

ezyang's writing on software engineering, PyTorch, compilers, functional programming, open source, and AI-assisted development.

Source: https://blog.ezyang.com/feed.xml

Homepage: https://blog.ezyang.com

Posts

100

Posts

Width-adaptive XMonad layout #XMonad #TilingWM #Config
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385666
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385666
Don't have an account? Find a server at joinmastodon.org
May 2, 2015
An Eq instance for non de Bruijn terms #Programming #ComputerScience #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385672
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385672
Don't have an account? Find a server at joinmastodon.org
Jan 30, 2015
Unintended consequences: Bound threads and unsafe FFI calls #SoftwareEngineering #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385681
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385681
Don't have an account? Find a server at joinmastodon.org
Dec 8, 2014
Ubuntu Utopic upgrade (Xmonad) #Linux #Xmonad #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385690
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385690
Don't have an account? Find a server at joinmastodon.org
Dec 4, 2014
Tomatoes are a subtype of vegetables #Food #Science #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385700
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385700
Don't have an account? Find a server at joinmastodon.org
Nov 14, 2014
Haskell Implementor's Workshop '14 #Haskell #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385710
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385710
Don't have an account? Find a server at joinmastodon.org
Sep 7, 2014
Open type families are not modular #Programming #SoftwareEngineering #Compilers
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385724
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385724
Don't have an account? Find a server at joinmastodon.org
Sep 4, 2014
A taste of Cabalized Backpack #SoftwareEngineering #OpenSource #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385734
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385734
Don't have an account? Find a server at joinmastodon.org
Aug 26, 2014
The fundamental problem of programming language package management #SoftwareEngineering #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385746
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385746
Don't have an account? Find a server at joinmastodon.org
Aug 21, 2014
What's a module system good for anyway? #SoftwareEngineering #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385756
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385756
Don't have an account? Find a server at joinmastodon.org
Aug 9, 2014
New theme! #Tech #SoftwareEngineering #Blogging
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385769
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385769
Don't have an account? Find a server at joinmastodon.org
Jul 26, 2014
Type classes: confluence, coherence and global uniqueness #Programming #SoftwareEngineering #TypeClasses
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385777
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385777
Don't have an account? Find a server at joinmastodon.org
Jul 11, 2014
Parsec: "try a <|> b" considered harmful #Programming #Compilers #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385789
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385789
Don't have an account? Find a server at joinmastodon.org
May 17, 2014
GHC and mutable arrays: a DIRTY little secret #Programming #GHC #Haskell
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385798
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385798
Don't have an account? Find a server at joinmastodon.org
May 9, 2014
Elimination with a Motive (in Coq) #Coq #Programming #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385805
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385805
Don't have an account? Find a server at joinmastodon.org
May 7, 2014
The cost of weak pointers and finalizers in GHC #Programming #SoftwareEngineering #Compilers
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385816
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385816
Don't have an account? Find a server at joinmastodon.org
May 4, 2014
Calculating Shanten in Mahjong #Mahjong #GameDev #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385825
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385825
Don't have an account? Find a server at joinmastodon.org
Apr 1, 2014
Haskell for Coq programmers #Haskell #Programming #Coq
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385832
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385832
Don't have an account? Find a server at joinmastodon.org
Mar 17, 2014
Equality, roughly speaking #Programming #Software #AI
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385844
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385844
Don't have an account? Find a server at joinmastodon.org
Jan 30, 2014
How to maintain a pristine copy of your configuration files #DevOps #ConfigManagement #SysAdmin
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385854
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385854
Don't have an account? Find a server at joinmastodon.org
Jan 20, 2014