jcreed | Aug. 4th, 2017

You're viewing

jcreed's journal
Create a Dreamwidth Account Learn More

Reload page in style: light

Aug. 4th, 2017

More reading cubical type theory papers. Had some dinner at District Saigon.

Profile

jcreed

August 2017

S	M	T	W	T	F	S
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	31

Most Popular Tags

agda - 2 uses
animation - 1 use
baking - 2 uses
blender - 2 uses
books - 1 use
computers - 2 uses
duolingo - 2 uses
fonts - 1 use
food - 5 uses
games - 1 use
headphones - 1 use
internet - 1 use
japanese - 1 use
jobs - 1 use
languages - 2 uses
math - 25 uses
movies - 2 uses
music - 1 use
notmuch - 1 use
pizza - 1 use
polish - 1 use
programming - 1 use
shopping - 1 use
social - 3 uses
television - 1 use
travel - 1 use
video - 1 use
web - 1 use

Page Summary

(no subject)

Style Credit

Style: Neutral Good for Practicality by timeasmymeasure

Expand Cut Tags

No cut tags

Page generated Jun. 22nd, 2025 10:37 am

Powered by Dreamwidth Studios