@_jessding profile picture
jessding 🧶🪡 @_jessding
Joined July 2016
  • Tweets 23
  • Following 106
  • Followers 154
15 Photos and videos
One of the many takeaways from @ben_deane @cppnow 2026 talk was to imagine six impossible things before breakfast. In that spirit, I started poking around what kinds of defects have come up in the standard and what the resolutions were. Here’s a few: abelianpi.dev/post/exploring…
46
just wrote a new blog post about using @leanprover to prove that there are 1080 sets in the game Set: abelianpi.dev/post/lean-prov… Using this as a fun exercise to learn Lean, so really appreciate any thoughts!

Using Lean to Prove 1080 Sets

I love bashing

abelianpi.dev
2
99
jessding 🧶🪡 retweeted
C Now@cppnow
Apr 11
C Now 2026 SESSION ANNOUNCEMENT: Incremental Modernization by Jessica Ding schedule.cppnow.org/session/… Register now at cppnow.org/registration/ #Coding #Cplusplus #Cpp #Programming
1
1
347
jessding 🧶🪡 retweeted
Tech At Bloomberg@TechAtBloomberg
May 5
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 bloom.bg/4dlsKPB #cpp #cplusplus
2
10
333
Alex Krusz ➡️ vibecamp!
@AlexKrusz
Apr 10
Frog put the Claude in a box. "There," he said. "Now it will not hack any more software" "But Claude can open the box," said Toad. "That is true," said Frog.

ALT Frog put the Claude in a box. "There," he said. "Now it will not hack any more software" "But Claude can open the box," said Toad. "That is true," said Frog.
2
98
10
arml-dillo
0:04
5
it ain’t much but it’s honest work and I’m kinda proud of it 🥺
2
20
mom made me organize the change in the change drawer, so behold: quarters from 41 unique states, with distinct designs for 15 states
3
emailing old hs teachers >>>>>
1
10
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
1
5
now that I have service, please look at these photos
2
11
more replies
over saturated and over exposed 🤩
2
2
here’s more
1
crochet lasagna
3
19
9
vik@pikavik
18 Oct 2020
without downloading any new pics where are you mentally
5
look mommy I made some rare funnies and got into an admissions blog post! 🥺🤧 post by @cjquines here hehe mitadmissions.org/blogs/entr…
11
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🤲
0:02
7
1
41
special thanks to @andrewpprice for making the tutorial and @ayyyyyyydin for telling me about the existence of the famed blender donut tutorial
2
Load more