Hey guys, I'm studying #computersci
#ComSci

So far I've ben learning about #python and soon going to do #c soon.
Would people benefit from me posting about what I've learned? I'm assuming not, after-all, there's lot of documentation online and Mastodon isn't a documentation site, obviously.
Ultimately I'd like to connect in some way with learners/the programming community out there on the fediverse!
One reason why I've been thinking about posting what I've learned is: I really, really hated programming for the first and most of the second semesters of college,I struggled to understand concepts, but suddenly one day it clicked that actually, I do love making programs and this isn't actually so hard!
Don't give up people! Programming is a rough ride for the first while, but it's well worth it and eventually you'll experience that wow/feeling of inspiration moment. Work is hard, but it does pay off in the longterm.

Readings shared January 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/11-readings_shared_01-11-25 #ITP #LeanProver #Coq #Rocq #Agda #FunctionalProgramming #Haskell #Python #Math #CategoryTheory #ComputerSci #Education #GenAI

Assessment in computer science education in the GenAI era (Prioritizing critical thinking over syntax mastery). ~ Orit Hazzan. https://cacm.acm.org/blogcacm/assessment-in-computer-science-education-in-the-genai-era/ #ComputerSci #Education #GenAI

"Contributions" from past sysadmins of #berkeley CSUA (Computer Science Undergrad Association) never fail to amuse.
#it #linux #nfs #CS #computersci