andioop

The textbook "Mathematical Logic through Python" presents a new approach to teaching the material of a basic Logic course to undergraduate Computer Science students, bringing Mathematical Logic into the comfort zone of the ever-growing population of programming-savvy students by tapping into their unique intuitions and strengths.

The book's approach captures the essence of the mathematical analysis of Logic using a sequence of carefully designed programming projects in the Python programming language. Each chapter in the book provides the background for, explanation, implications, and mathematical treatment of an associated programming project.

This material has been published by Cambridge University Press as "Mathematical Logic through Python" by Yannai A. Gonczarowski and Noam Nisan. This pre-publication version is free to view and download for personal use only.

Found this book online, thought it was cool.

Transcription since this is a link:

A Twitter post by emi @grohliest. It says: "you guys. my little sister's boyfriend is a programmer. for her birthday he made her an app that has a button on it and when she presses the button, a light starts to blink in his room to let him know that she wants attention."

Crossposted from https://programming.dev/post/30490984

I know I'm not going to be a leaderboard type, especially given my schedule around the holiday seasons. So I take my time and read the whole problem, including the flavor text, and I have to say I appreciate it! Nice and festive, it's the little things that make this seem more like a fun programming puzzle exercise I actively want to do as recreation, and less like a dry exercise to force myself to learn a new language or library. But it still facilitates me doing those two things anyways. The flavor text, along with the ASCII art that gets colored in each day I star, helps it feel like a festive thing too—so I don't feel like I'm being a Grinch doing these puzzles during the holiday season.

I also appreciate the problems staying up after Advent for people using them off-season ;)

A bit different from the audiobook request 2 years ago, as I'm not looking for audiobooks (so it does not have to be nice to listen to, I can see code examples) but regular books you read. Let me know which books helped you out the most, or that you just found fun to read!

EDIT: Thank you to everyone for helping me inflate my reading list! I was wondering what question I should ask to get answers including books on databases, cybersecurity, basically any topic that might fall under "computer science" and not just programming. In hindsight I maybe should have posted somewhere other than Programming and said something other than "Programming book recommendations" if I wanted that, but since I am also interested in programming and software engineering all these books will definitely be eaten soon. Thank you!

Oh, and !books@programming.dev for programming books exists but is sadly not getting much attention.

Source

Transcript:

10 things that block your Happiness

1. Self-hatred
2. Not being able to let go of the past.
3. Not being able to forgive yourself.
4. Not being able to value who you are.
5. Assuming RAID is backup.
6. Not making backups.
7. Not verifying backups and finding out restore time.
8. Needing other people to validate you.
9. Letting other people define who you are.
10. Trying to be perfect and to please everyone.

I did try to read the sidebar resources on https://www.reddit.com/r/DataHoarder/. They're pretty overwhelming, and seem aimed at people who come in knowing all the terminology already. Is there somewhere you suggest newbies start to learn all this stuff in the first place other than those sidebar resources, or should I just suck it up and truck through the sidebar?

EDIT: At the very least, my goal is to have a 3-2-1 backup of important family photos/videos and documents, as well as my own personal documents that I deem important. I will be adding files to this system at least every 3 months that I would like incorporated into the backup. I would like to validate that everything copied over and that the files are the same when I do that, and that nothing has gotten corrupted. I want to back things up from both a Mac and a Windows (which will become a Linux soon, but I want to back up my files on the Windows machine before I try to switch to Linux in case I bungle it), if that has any impact. I do have a plan for this already, so I suppose what I really want is learning resources that don't expect me to be a computer expert with 100TB of stuff already hoarded.

Local dummy here (slightly more technical than the average user, likely far less than most people in this community) considering switching over. Checked the sidebar for any beginner's resources and looked at a few of the top posts and saw mostly Linux news and stuff meant for people already using the OS.

For my specific case, I use a Mac as my daily driver and (heresy) I am happy, but I also have a Windows computer that I am thinking of switching over to Linux. I use it to play games my Mac can't, and to run !BOINC@sopuli.xyz (I do not run the community but the thing the community is about) and/or Folding at Home whenever I'm not using it to game. Some of them are Steam games, some indies not on Steam, some emulated. Little to no multiplayer games, and absolutely no multiplayer that has anticheat. I have tried running some of the Windows-exclusive games with WINE and they worked but ran extremely slowly, however that was done on my Mac so it may not represent the results of running WINE on Linux.