Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
thedeemon
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
Dmitry Popov
The future's coming
The future's coming
Jun
.
22nd
,
2011
03:12 pm
thedeemon
В
списке
команд прошедшего ICFPC в графе использованных языков встречаются Agda и Coq (оба в связке с окамлом). Тенденция, однако.
Flat
|
Top-Level Comments Only
no subject
Date:
2011-06-22 11:25 am (UTC)
From:
clayrat.livejournal.com
а также Maude
no subject
Date:
2011-06-22 12:28 pm (UTC)
From:
udpn.livejournal.com
Особенно порадовал такой беспалевный ответ "japanese".
no subject
Date:
2011-06-22 05:23 pm (UTC)
From:
thedeemon.livejournal.com
Там и русский с английским встречаются. :) Причем на месте русского на самом деле common lisp - у
swizard
.
no subject
Date:
2011-06-22 01:03 pm (UTC)
From:
sorhed.livejournal.com
И немудрено. Задание-то подходящее.
4 comments
Reply
Flat
|
Top-Level Comments Only
Profile
Dmitry Popov
Recent Entries
Archive
Reading
Tags
Memories
Profile
December
2025
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
android
-
3 uses
asia
-
51 uses
ats
-
6 uses
c++
-
4 uses
clean
-
2 uses
codejam
-
2 uses
compression
-
6 uses
d
-
31 uses
dafny
-
1 use
elm
-
2 uses
foxnews
-
3 uses
fp
-
113 uses
fun
-
86 uses
geometry
-
3 uses
haskell
-
10 uses
haxe
-
5 uses
humour
-
6 uses
icfpc
-
11 uses
idfpc
-
3 uses
idris
-
13 uses
information
-
6 uses
interpreter optimization
-
2 uses
leo
-
11 uses
life
-
19 uses
linux
-
4 uses
mind
-
2 uses
movies
-
16 uses
music
-
11 uses
ocaml
-
19 uses
oop
-
2 uses
pano
-
3 uses
parsers
-
7 uses
programming
-
8 uses
python
-
2 uses
rant
-
5 uses
relativity
-
3 uses
ruby
-
4 uses
rust
-
2 uses
spbench
-
3 uses
travel
-
2 uses
uk
-
20 uses
vm
-
3 uses
work
-
22 uses
дыбр
-
2 uses
квадрокопетр
-
9 uses
кванты
-
5 uses
наброс
-
2 uses
находки
-
3 uses
простофото
-
19 uses
теоркат
-
11 uses
Page Summary
clayrat.livejournal.com
-
(no subject)
udpn.livejournal.com
-
(no subject)
sorhed.livejournal.com
-
(no subject)
Style Credit
Style:
Neutral Good
for
Practicality
by
timeasmymeasure
Expand Cut Tags
No cut tags
Page generated Feb. 1st, 2026 10:14 pm
Powered by
Dreamwidth Studios
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasuretimeasmymeasure
no subject
Date: 2011-06-22 11:25 am (UTC)no subject
Date: 2011-06-22 12:28 pm (UTC)no subject
Date: 2011-06-22 05:23 pm (UTC)no subject
Date: 2011-06-22 01:03 pm (UTC)