Earlier I took advantage of the lovely weather by exploring around some buildings on Pitt campus. I only managed to find one passage between buildings I wasn't previously aware of, between the 5th floor of Posvar hall, and the adjacent weird-shaped building whose name I don't know. The 3rd floor connection between the same two buildings tends to be locked on weekends and evenings, and the newly discovered route seems to consist only of doors that do not have locks on them at all. In fact one has a circular hole in it where a lock might go.
Earlier I took advantage of the lovely weather by exploring around some buildings on Pitt campus. I only managed to find one passage between buildings I wasn't previously aware of, between the 5th floor of Posvar hall, and the adjacent weird-shaped building whose name I don't know. The 3rd floor connection between the same two buildings tends to be locked on weekends and evenings, and the newly discovered route seems to consist only of doors that do not have locks on them at all. In fact one has a circular hole in it where a lock might go.
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
-
(no subject)
Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…
-
(no subject)
Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…
- Post a new comment
- 1 comment
- Post a new comment
- 1 comment