- 1. General
A reorganization of all the tech I tried to master. Here are the resources and tips I wish I could have when I started learning!
- 10/18/2013: Add Formal Semantics for concurrent programs
- 10/17/2013: Add markdown
- 10/12/2013: Init the tech map
Strongly recommend using Mou to write in-class notes with Markdown (of course I mean mac here). Markdown is extremely simple (you may master it in 30 min?).
Create a repo on Github for your every project!
- Use Archive button, you can search to find them if you need.
- Manage several email accounts (e.g. .edu) altogether.
- Use tags and filters to categorize: filtering out ones containing “free food”
For using the Internet wisely in some areas.
Add your events, courses, appointments, notifications, all those with a specific time to Google Calendar.
Want editing simultaneously with your team members?!
If Google Reader is still alive, it will be the title. Currently I am using Feedly. I strongly recommend the following rss sources:
- Android Niceties
- Startup News
- Your department notifications, such as SSE
- 60-Second Science and other 60-Second xxx
If you are in CS-related major, you MUST master at least one of them.
- // TODO
The documentation is the best teacher! Also, try this Asset Studio.
I strongly recommend learning Coq by reading through book Software Foundations. Luckily, it is availble online. I have made my solution repo private.. DIY!
This is what I am currently learning. Read book On a Method of Multiprogramming at least first 3 chapters for the Owicki-Gries Theory.
After that, learn Rely-Guarantee. // TODO
I haven’t tried Go yet, but this may help.
The CS503 OS course in Purdue is much much better than that in TJ. Another reason may be that I was only a sophomore when I took OS course in TJ thus it may not be that helpful without enough background.
Anyway, the Xinu code is extremely helpful for its simplicity to read (original code is available here). The textbook Operating System Design: the XINU Approach is GREAT! Tell me if you also want the 899-page slides.