just wrote a new blog post about using @leanprover to prove that there are 1080 sets in the game Set:
https://t.co/FOqUHzVGj9
Using this as a fun exercise to learn Lean, so really appreciate any thoughts!
C++Now 2026 SESSION ANNOUNCEMENT: Incremental Modernization by Jessica Ding
https://t.co/bW3g2lVgTd
Register now at https://t.co/qjWx2xvTI4
#Coding#Cplusplus#Cpp#Programming
In her talk at @CppNow 2026 today (2:30 PM MDT), engineer Jessica Ding explores how modern C++ features - especially functional programming techniques & type erasure - provide low-risk modernization strategies for legacy C++ codebases
https://t.co/c3WmCSCKtA
#cpp#cplusplus
it’s kinda wild how in freshman year of high school one of our required classes was a project-based class modeled closely off of 2.009, and now I go to the institution that was the inspiration for my high school teachers
everybody please look at this and be proud because I spent almost a week learning how to do this in blender. and then please socialmediavalidationgimme🤲