jessding 🧶🪡

[jessding 🧶🪡 @_jessding]

@cryptopatrick @leanprover thank you!😃

[jessding 🧶🪡 @_jessding]

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 @cppnow]

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

[Tech At Bloomberg @TechAtBloomberg]

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

[jessding 🧶🪡 @_jessding]

arml-dillo

[jessding 🧶🪡 @_jessding]

it ain’t much but it’s honest work and I’m kinda proud of it 🥺

[jessding 🧶🪡 @_jessding]

mom made me organize the change in the change drawer, so behold: quarters from 41 unique states, with distinct designs for 15 states

[jessding 🧶🪡 @_jessding]

emailing old hs teachers >>>>>

[jessding 🧶🪡 @_jessding]

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

[jessding 🧶🪡 @_jessding]

here’s more

[jessding 🧶🪡 @_jessding]

now that I have service, please look at these photos

[jessding 🧶🪡 @_jessding]

over saturated and over exposed 🤩

[jessding 🧶🪡 @_jessding]

crochet lasagna

[vik @pikavik]

without downloading any new pics where are you mentally

[jessding 🧶🪡 @_jessding]

look mommy I made some rare funnies and got into an admissions blog post! 🥺🤧

post by @cjquines here hehe https://t.co/KFo1HUKSZW

[jessding 🧶🪡 @_jessding]

special thanks to @andrewpprice for making the tutorial and @ayyyyyyydin for telling me about the existence of the famed blender donut tutorial

[jessding 🧶🪡 @_jessding]

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🤲