🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

The last question for my Software Foundations final was “Draw a comic about anything we learned in this class (e.g., Proving theorems with Coq, types, functional programming, Loris, etc.)” Here are the best ones. 1/

they wrote a book about this

ChatGPT o3-pro names a Sabrina Carpenter song that also appears when you read only the final letters of each word in its answer:

neuroplasticity tip: move the primary sidebar in vscode/cursor to the right to keep your brain guessing

i’d be a lot more interested in politics if yud was president, hanson was vp, scott was education, aella was census, zvi was fda, gwern was intelligence director, nicholas decker was fed chair, scott sumner was treasury, hanania was in charge of immigration, and roon was press

yeah but these are peak