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 ;)

I'm a very happy iOS user planning on switching to the FairPhone when my iPhone finally craps the bed. I figure the switch will mostly be easy or just a matter of "go do this on your laptop or a web browser instead," but the two things I am most worried about are:

• Find My iPhone alternatives for FairPhone. I'm an idiot who sometimes loses my phone when the ringer is turned off, so calling it does not help. This is the biggest sticking point for me because I am forgetful and I feel without this feature I might have ended up having to buy a lot more new phones because I couldn't find mine. I know they do have one through Google but wonder if there is such a feature without Google.
• if it can do payment at stores (I've gotten very cozy with Apple Pay) or if I need to start carrying a credit card around again. This is mostly a convenience thing, although there are some card readers that reject my credit card and happily take the same card through Apple Pay, so sometimes it's an actual need. I could probably get around it by just ordering a replacement credit card though.

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 [email protected] 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.