Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
deniok
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
light
deniok
2008
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2022
January 2008
January 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
5
6
7
8
9
10
11
12
1
13
1
14
15
16
17
18
19
20
1
21
22
23
24
1
25
26
1
27
28
29
30
31
February 2008
February 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
5
6
7
8
9
10
1
11
12
13
2
14
15
1
16
1
17
18
19
20
21
22
23
24
25
26
27
28
29
March 2008
March 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
1
3
4
5
6
1
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
1
22
23
24
25
26
27
28
1
29
30
31
1
April 2008
April 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
1
4
5
6
7
8
9
10
11
12
13
14
1
15
16
17
1
18
19
20
21
1
22
23
24
25
26
27
1
28
29
30
May 2008
May 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
5
6
7
8
1
9
10
11
12
13
1
14
1
15
16
17
18
19
20
21
22
23
24
25
1
26
27
28
29
30
31
June 2008
June 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
5
6
1
7
8
9
1
10
11
12
13
14
15
16
1
17
18
19
20
21
22
23
24
25
26
27
1
28
29
30
July 2008
July 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
5
6
7
8
1
9
10
11
1
12
13
14
15
16
17
18
1
19
20
21
22
23
24
25
26
27
28
29
30
31
September 2008
September 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
1
15
16
17
18
19
20
1
21
22
23
24
25
26
27
28
29
30
1
October 2008
October 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
1
5
6
7
8
9
10
11
12
13
14
15
16
17
1
18
19
20
21
22
23
24
25
26
27
28
29
30
31
November 2008
November 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
1
5
2
6
7
8
1
9
10
11
12
13
14
15
16
17
18
19
20
21
22
1
23
1
24
1
25
26
27
28
29
30
December 2008
December 2008
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
5
2
6
7
8
9
10
11
1
12
13
14
15
16
17
1
18
19
20
21
22
23
24
25
26
27
28
29
1
30
31
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2022
Profile
deniok
Recent Entries
Archive
Reading
Tags
Memories
Profile
February
2022
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
Most Popular Tags
agda
-
15 uses
bananas in space
-
3 uses
coq
-
7 uses
cs club
-
3 uses
curry-howard
-
2 uses
dependent types
-
7 uses
epigram
-
3 uses
fp
-
72 uses
fprog
-
44 uses
free theorems
-
3 uses
ghc
-
9 uses
haskell
-
78 uses
lambda calculus
-
16 uses
latex
-
2 uses
lens
-
2 uses
logic
-
2 uses
repost
-
3 uses
rsdn
-
2 uses
ruwiki
-
2 uses
spbhug
-
5 uses
type theory
-
13 uses
typed lambda
-
8 uses
wikipedia
-
2 uses
zipper
-
2 uses
википедия
-
2 uses
вопрос
-
2 uses
выборы
-
8 uses
высшая школа
-
2 uses
дурь
-
2 uses
егэ
-
2 uses
жж
-
4 uses
задачка
-
5 uses
здорово
-
4 uses
идиоты
-
2 uses
клипы
-
2 uses
красота
-
3 uses
математика
-
3 uses
образование
-
2 uses
перевод
-
2 uses
политика
-
10 uses
рабочее
-
3 uses
сборник задач и упражнений по матлогике
-
2 uses
сборник задач и упражнений по хаскелю
-
25 uses
смешно
-
7 uses
тест
-
2 uses
тесты
-
2 uses
фальсификации
-
3 uses
черногория
-
2 uses
языки программирования
-
2 uses
яхта
-
2 uses
Style Credit
Style:
Cloudy Days
for
Ciel
by
carisma_sensei
Expand Cut Tags
No cut tags
Page generated Jun. 19th, 2025 03:15 pm
Powered by
Dreamwidth Studios
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}